Sites Inria

Version française

LINKS Research team

LINKS team publications

2019

Journal articles

titre
On prefixal one-rule string rewrite systems
auteur
Michel Latteux, Yves Roos
article
Theoretical Computer Science, Elsevier, 2019, 795, pp.240-256. ⟨10.1016/j.tcs.2019.07.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02289652/file/TCS-D-17-00734-revised%20%281%29.pdf BibTex
titre
Connecting Knowledge Compilation Classes and Width Parameters
auteur
Antoine Amarilli, Florent Capelli, Mikaël Monet, Pierre Senellart
article
Theory of Computing Systems, Springer Verlag, 2019, ⟨10.1007/s00224-019-09930-2⟩
Accès au bibtex
https://arxiv.org/pdf/1811.02944 BibTex
titre
Counting Minimal Transversals of β-Acyclic Hypergraphs
auteur
Benjamin Bergougnoux, Florent Capelli, Mamadou Moustapha Kanté
article
Journal of Computer and System Sciences, Elsevier, 2019, ⟨10.1016/j.jcss.2018.10.002⟩
Accès au bibtex
https://arxiv.org/pdf/1808.05017 BibTex
titre
Logics for Unordered Trees with Data Constraints
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Journal of Computer and System Sciences, Elsevier, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01176763/file/0.pdf BibTex
titre
Definability and Interpolation within Decidable Fixpoint Logics
auteur
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019
Accès au bibtex
BibTex

Conference papers

titre
Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints
auteur
Emilie Allart, Cristian Versari, Joachim Niehren
article
CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Luca Bortolussi; Guido Sanguinetti, Sep 2019, Trieste, Italy. pp.266-285, ⟨10.1007/978-3-030-31304-3_14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02302463/file/submit_version.pdf BibTex
titre
Oblivious and Semi-Oblivious Boundedness for Existential Rules
auteur
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Galois
article
IJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/file/camera_ready.pdf BibTex
titre
Containment of Shape Expression Schemas for RDF
auteur
Slawomir Staworko, Piotr Wieczorek
article
PODS 2019 - 38th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS, Jun 2019, Amsterdam, Netherlands. pp.303-319, ⟨10.1145/3294052.3319687⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01959143/file/paper.pdf BibTex
titre
Tractable QBF by Knowledge Compilation
auteur
Florent Capelli, Stefan Mengel
article
36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Mar 2019, Berlin, Germany
Accès au bibtex
https://arxiv.org/pdf/1807.04263 BibTex
titre
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables
auteur
Iovka Boneva, Joachim Niehren, Momar Sakho
article
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint Petersburg, Russia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01811835/file/0-short.pdf BibTex

Poster communications

titre
Shape Designer for ShEx and SHACL Constraints
auteur
Iovka Boneva, Jérémie Dusart, Daniel Fernándezálvarez, Jose Emilio Labra Gayo
article
ISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. 2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268667/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Semi Automatic Construction of ShEx and SHACL Schemas
auteur
Iovka Boneva, Jérémie Dusart, Daniel Fernández Alvarez, Jose Emilio Labra Gayo
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02193275/file/main.pdf BibTex
titre
Knowledge compilation languages as proof systems
auteur
Florent Capelli
article
2019
Accès au bibtex
https://arxiv.org/pdf/1903.04039 BibTex
titre
Approximating Certain Query Answers on Nested Hyperstreams
auteur
Iovka Boneva, Joachim Niehren, Momar Sakho
article
2019
Accès au bibtex
BibTex
titre
Dependency Weighted Aggregation on Factorized Databases
auteur
Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon
article
2019
Accès au bibtex
https://arxiv.org/pdf/1901.03633 BibTex

2018

Journal articles

titre
Classes of languages generated by the Kleene star of a word
auteur
Laure Daviaud, Charles Paperman
article
Information and Computation, Elsevier, 2018, 262 (Part 1), pp.90-109
Accès au bibtex
BibTex
titre
Incremental delay enumeration: Space and time
auteur
Florent Capelli, Yann Strozecki
article
Discrete Applied Mathematics, Elsevier, 2018, ⟨10.1016/j.dam.2018.06.038⟩
Accès au bibtex
https://arxiv.org/pdf/1703.01928 BibTex

Conference papers

titre
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams
auteur
Iovka Boneva, Joachim Niehren, Momar Sakho
article
RP 2018 - 12th International Conference on Reachability Problems, Sep 2018, Marseille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01609498/file/submitted_rp.pdf BibTex
titre
Topological Sorting with Regular Constraints
auteur
Antoine Amarilli, Charles Paperman
article
ICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic. pp.115:1--115:14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01950909/file/1707.04310.pdf BibTex
titre
Relational to RDF Data Exchange in Presence of a Shape Expression Schema
auteur
Iovka Boneva, Jose Lozano, Sławek Staworko
article
AMW 2018 - 12th Alberto Mendelzon International Workshop on Foundations of Data Management, May 2018, Cali, Colombia. pp.1-16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01775199/file/main.pdf BibTex

Habilitation à diriger des recherches

titre
Machine Learning Techniques for Semistructured Data
auteur
Aurélien Lemay
article
Machine Learning [cs.LG]. Université de Lille, 2018
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01929944/file/HDR%20A.%20Lemay.pdf BibTex

Reports

titre
On is an n-MCFL
auteur
Sylvain Salvati
article
[Research Report] Université de Lille, INRIA, CRIStAL CNRS. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01771670/file/on.pdf BibTex

Preprints, Working Papers, ...

titre
Enumerating models of DNF faster: breaking the dependency on the formula size
auteur
Florent Capelli, Yann Strozecki
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01891483/file/arxiv.pdf BibTex
titre
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)
auteur
Iovka Boneva, Joachim Niehren, Momar Sakho
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01846016/file/0-long.pdf BibTex

2017

Journal articles

titre
Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179493/file/DeterministicAutomataUnordered_Journal-1.pdf BibTex
titre
Genetic engineering of the branched fatty acid metabolic pathway of Bacillus subtilis for the overproduction of surfactin C14 isoform
auteur
Debarun Dhali, François Coutte, Anthony Argüelles Arias, Sandrine Auger, Vladimir Bidnenko, Gabrielle Chataigné, Michael Lalk, Joachim Niehren, de Sousa Joana, Cristian Versari, Philippe Jacques
article
Biotechnology Journal, Wiley-VCH Verlag, 2017, pp.23. ⟨10.1002/biot.201600574⟩
Accès au bibtex
BibTex
titre
gMark: Schema-Driven Generation of Graphs and Queries
auteur
Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
article
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2017, 29 (4), pp.856-869. ⟨10.1109/TKDE.2016.2633993⟩
Accès au bibtex
BibTex
titre
Simplification of Reaction Networks, Confluence and Elementary Modes
auteur
Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
article
Computation, MDPI, 2017, Multiscale and Hybrid Modeling of the Living Systems
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01471074/file/0-final.pdf BibTex
titre
Monadic Second-Order Logic with Arbitrary Monadic Predicates
auteur
Nathanaël Fijalkow, Charles Paperman
article
ACM Transaction on the Web, http://tweb.acm.org/, 2017, 9 (3), pp.39 - 56. ⟨10.1145/3091124⟩
Accès au bibtex
BibTex

Conference papers

titre
Semantics and Validation of Shapes Schemas for RDF
auteur
Iovka Boneva, Jose Labra Gayo, Eric Prud 'Hommeaux
article
ISWC2017 - 16th International semantic web conference, Oct 2017, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01590350/file/paper-lncs.pdf BibTex
titre
Making Cross Products and Guarded Ontology Languages Compatible
auteur
Pierre Bourhis, Michael Morak, Andréas Pieris
article
IJCAI 2017 - Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.880-886, ⟨10.24963/ijcai.2017/122 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01638346/file/0122.pdf BibTex
titre
Ontology-Mediated Query Answering for Key-Value Stores
auteur
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
article
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632090/file/main-OQAKV.pdf BibTex
titre
Definability by Horn formulas and linear time on cellular automata
auteur
Nicolas Bacquey, Etienne Grandjean, Frédéric Olive
article
ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99 ⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01494246/file/0.pdf BibTex
titre
Characterizing Definability in Decidable Fixpoint Logics
auteur
Michael Benedikt, Pierre Bourhis, Michael Boom
article
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.14, ⟨10.4230/LIPIcs.ICALP.2017.107⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01639015/file/LIPIcs-ICALP-2017-107.pdf BibTex
titre
A Circuit-Based Approach to Efficient Enumeration
auteur
Antoine Amarilli, Pierre Bourhis, Louis Jachiet, Stefan Mengel
article
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2017.111⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01639179/file/LIPIcs-ICALP-2017-111.pdf BibTex
titre
JSON: Data model, Query languages and Schema specification
auteur
Pierre Bourhis, Juan Reutter, Fernando Suárez, Domagoj Vrgoč
article
PODS 2017 - Proceedings of the Thirty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 2017, Chicago, United States. ⟨10.1145/3034786.3056120⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01639182/file/paper.pdf BibTex
titre
Equivalence of Symbolic Tree Transducers
auteur
Vincent Hugot, Adrien Boiret, Joachim Niehren
article
DLT 2017 - Developments in Language Theory, Aug 2017, Liege, Belgium. pp.12, ⟨10.1007/978-3-642-29709-0_32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01517919/file/symbeq.pdf BibTex
titre
gMark: Schema-Driven Generation of Graphs and Queries
auteur
Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
article
Data Engineering (ICDE), 2017 IEEE 33rd International Conference on, Apr 2017, San Diego, United States. pp.63-64, ⟨10.1109/ICDE.2017.38⟩
Accès au bibtex
BibTex
titre
Combined Tractability of Query Evaluation via Tree Automata and Cycluits
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
ICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01439294/file/amarilli2017combined.pdf BibTex
titre
On the decomposition of finite-valued streaming string transducers
auteur
Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati
article
34th International Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2017, Hannover, Germany. ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01431250/file/STACS%202017.pdf BibTex

Books

titre
Validating RDF Data
auteur
Jose Emilio Labra Gayo, Eric Prud'Hommeaux, Iovka Boneva, Dimitris Kontokostas
article
Morgan & Claypool, 7 (1), pp.1 - 328, 2017, ⟨10.2200/S00786ED1V01Y201707WBE016⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
A Learning Algorithm for Top-Down Tree Transducers
auteur
Adrien Boiret, Aurélien Lemay, Joachim Niehren
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01357627/file/0.pdf BibTex

2016

Journal articles

titre
Structural simplification of chemical reaction networks in partial steady states
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello
article
BioSystems, Elsevier, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01350517/file/bio-simplify.pdf BibTex
titre
Predicting Changes of Reaction Networks with Partial Kinetic Information
auteur
Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques
article
BioSystems, Elsevier, 2016, Special Issue of CMSB 2015, 149, pp.113-124
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01239198/file/change-prediction.pdf BibTex
titre
Generating Flexible Workloads for Graph Databases
auteur
Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
article
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2016, 9 (13), pp.1457-1460
Accès au bibtex
BibTex
titre
Bounded Repairability for Regular Tree Languages
auteur
Pierre Bourhis, Cristian Riveros, Slawomir Staworko, Gabriele Puppis
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2016, 41 (3), pp.1-45. ⟨10.1145/2898995⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01411116/file/TODS%202016.pdf BibTex
titre
Learning Join Queries from User Examples
auteur
Angela Bonifati, Radu Ciucanu, Slawomir Staworko
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2016, 40 (4), pp.24:1--24:38
Accès au bibtex
BibTex

Conference papers

titre
Génération de Requêtes pour les Bases de Données Orientées Graphes
auteur
Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
article
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Nov 2016, Futuroscope, Poitiers, France
Accès au bibtex
BibTex
titre
gMark : Génération de Graphes et de Requêtes Dirigée par le Schéma
auteur
Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
article
32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2016, Nov 2016, Futuroscope, Poitiers, France
Accès au bibtex
BibTex
titre
Learning Top-Down Tree Transducers with Regular Domain Inspection
auteur
Adrien Boiret, Aurélien Lemay, Joachim Niehren
article
International Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01357186/file/0.pdf BibTex
titre
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
auteur
Adrien Boiret, Raphaela Palenta
article
20th International Conference on Developments in Language Theory (DLT 2016), Jul 2016, Montreal, Canada. pp.355-367, ⟨10.1007/978-3-662-53132-7_29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01429110/file/main.pdf BibTex
titre
Query Answering with Transitive and Linear-Ordered Data
auteur
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
article
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01413881/file/transitive.pdf BibTex
titre
Querying Visible and Invisible Information
auteur
Pierre Bourhis, Michael Benedikt, Balder ten Cate, Gabriele Puppis
article
LICS 2016 - 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York City, United States. pp.297-306 ⟨10.1145/2933575.2935306⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01411118/file/LICS%202016.pdf BibTex
titre
A Step Up in Expressiveness of Decidable Fixpoint Logics
auteur
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
article
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01413890/file/LICS16-gnfpup-long.pdf BibTex
titre
Tractable Lineages on Treelike Instances: Limits and Extensions
auteur
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
article
PODS (Principles of Database Systems), Jun 2016, San Francisco, United States. pp.355-370
Accès au bibtex
BibTex
titre
Analyzing data-centric applications: Why, what-if, and how-to.
auteur
Pierre Bourhis, Daniel Deutch, Yuval Moskovitch:
article
32nd IEEE International Conference on Data Engineering, ICDE 2016, May 2016, Helsinki, Finland
Accès au bibtex
BibTex
titre
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
auteur
Pierre Bourhis, Carsten Lutz
article
Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa
Accès au bibtex
BibTex
titre
A formal study of collaborative access control in distributed datalog
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
ICDT 2016 - 19th International Conference on Database Theory , Mar 2016, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290497/file/icdt16.pdf BibTex
titre
Normal Form on Linear Tree-to-word Transducers
auteur
Adrien Boiret
article
10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01218030/file/0.pdf BibTex
titre
Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams
auteur
Tom Sebastian, Joachim Niehren
article
International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2016, Harrachov, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182529/file/0.pdf BibTex
titre
RDF Graph Alignment with Bisimulation
auteur
Peter Buneman, Sławek Staworko
article
VLDB 2016 - 42nd International Conference on Very Large Databases, Sep 2016, New Dehli, India. pp.1149 - 1160, ⟨10.14778/2994509.2994531⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417156/file/staworko-vldb16.pdf BibTex

Poster communications

titre
PROX: Approximated Summarization of Data Provenance
auteur
Eleanor Ainy, Pierre Bourhis, Susan Davidson, Daniel Deutch, Tova Milo
article
International Conference on Extending Database Technology, Mar 2016, Bordeaux, France. 2016
Accès au bibtex
BibTex

Theses

titre
Normalization and Learning of Transducers on Trees and Words
auteur
Adrien Boiret
article
Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01396543/file/Thesis.pdf BibTex
titre
Evaluation of XPath Queries on XML Streams with Networks of Early Nested Word Automata
auteur
Tom Sebastian
article
Databases [cs.DB]. Universite Lille 1, 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01342511/file/Final_Thesis_Tom_SEBASTIAN.pdf BibTex

Preprints, Working Papers, ...

titre
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01439309/file/amarilli2017combined_long.pdf BibTex
titre
Learning Top-Down Tree Transformations with Regular Inspection
auteur
Adrien Boiret, Aurélien Lemay, Joachim Niehren
article
2016
Accès au bibtex
BibTex
titre
Comparative expressiveness of ShEx and SHACL (Early working draft)
auteur
Iovka Boneva
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01288285/file/paper.pdf BibTex

2015

Journal articles

titre
Gain Control over your Integration Evaluations
auteur
Patricia Arocena, Radu Ciucanu, Boris Glavic, Renée Miller
article
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2015, 8 (12), pp.1960-1963
Accès au bibtex
BibTex
titre
Modeling Leucine’s Metabolic Pathway and Knockout Prediction Improving the Production of Surfactin, a Biosurfactant from Bacillus Subtilis
auteur
François Coutte, Joachim Niehren, Debarun Dhali, Mathias John, Cristian Versari, Philippe Jacques
article
Biotechnology Journal, Wiley-VCH Verlag, 2015, 10 (8), pp.1216-34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01153704/file/1.pdf BibTex
titre
Schemas for Unordered XML on a DIME
auteur
Iovka Boneva, Radu Ciucanu, Slawomir Staworko
article
Theory of Computing Systems, Springer Verlag, 2015, 57 (2), pp.337--376. ⟨10.1007/s00224-014-9593-1⟩
Accès au bibtex
https://arxiv.org/pdf/1311.7307 BibTex
titre
Observational Program Calculi and the Correctness of Translations
auteur
Manfred Schmidt-Schauss, David Sabel, Joachim Niehren, Jan Schwinghammer
article
Theoretical Computer Science, Elsevier, 2015, 577, pp.98-124. ⟨10.1016/j.tcs.2015.02.027⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00824349/file/0.pdf BibTex
titre
Early Nested Word Automata for XPath Query Answering on XML Streams
auteur
Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui
article
Theoretical Computer Science, Elsevier, 2015, pp.100-127
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00966625/file/1-23.pdf BibTex
titre
Analysis of Schemas with Access Restrictions
auteur
Michael Benedikt, Pierre Bourhis, Clemens Ley
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2015, 40 (1), pp.Article No. 5. ⟨10.1145/2699500⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01211288/file/BenediktQuerying.pdf BibTex
titre
Which XML Schemas are Streaming Bounded Repairable?
auteur
Pierre Bourhis, Gabriele Puppis, Cristian Riveros
article
Theory of Computing Systems, Springer Verlag, 2015, ⟨10.1007/s00224-015-9611-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01211290/file/TOCS%202015b.pdf BibTex
titre
Highly Expressive Query Languages for Unordered Data Trees
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
Theory of Computing Systems, Springer Verlag, 2015, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01167068/file/journal.pdf BibTex

Conference papers

titre
Approximated Summarization of Data Provenance
auteur
Ainy Eleanor, Pierre Bourhis, Susan Davidson, Daniel Deutch, Tova Milo
article
CIKM, Oct 2015, Melbourn, Australia
Accès au bibtex
BibTex
titre
Interactive Path Query Specification on Graph Databases
auteur
Angela Bonifati, Radu Ciucanu, Aurélien Lemay
article
31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2015, Sep 2015, Île de Porquerolles, France
Accès au bibtex
BibTex
titre
Learning Path Queries on Graph Databases
auteur
Angela Bonifati, Radu Ciucanu, Aurélien Lemay
article
BDA 2015 - 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Sep 2015, Île de Porquerolles, France
Accès au bibtex
BibTex
titre
Qualitative Reasoning about Reaction Networks with Partial Kinetic Information
auteur
Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
article
Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.157-169
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01163391/file/0.pdf BibTex
titre
Structural simplification of chemical reaction networks preserving deterministic semantics
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
article
Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01168038/file/Structural%20simplification%20of%20chemical%20reaction%20networks%20preserving%20deterministic%20semantics.pdf BibTex
titre
Reasonable Highly Expressive Query Languages
auteur
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
article
IJCAI, Jul 2015, Buenos Aires, Argentina. ⟨10.1007/978-3-662-47666-6_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01211282/file/Ijcai2015-mq-query-containment%20%281%29.pdf BibTex
titre
Provenance Circuits for Trees and Treelike Instances
auteur
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
article
ICALP 2015, Jun 2015, Kyoto, Japan. pp.56-68
Accès au bibtex
BibTex
titre
Graph Data Exchange with Target Constraints
auteur
Iovka Boneva, Angela Bonifati, Radu Ciucanu
article
EDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Mar 2015, Bruxelles, Belgium. pp.171-176
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01095838/file/paper.pdf BibTex
titre
Interactive Path Query Specification on Graph Databases
auteur
Angela Bonifati, Radu Ciucanu, Aurélien Lemay
article
18th International Conference on Extending Database Technology (EDBT), Mar 2015, Bruxelles, Belgium. ⟨10.5441/002/dbt.2015.44⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097771/file/ciucanu-edbt15b.pdf BibTex
titre
Learning Path Queries on Graph Databases
auteur
Angela Bonifati, Radu Ciucanu, Aurélien Lemay
article
18th International Conference on Extending Database Technology (EDBT), Mar 2015, Bruxelles, Belgium. ⟨10.5441/002/edbt.2015.11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01068055/file/ciucanu-edbt15a-tr.pdf BibTex
titre
Complexity and Expressiveness of ShEx for RDF
auteur
Slawomir Staworko, Iovka Boneva, Jose Emilio Labra Gayo, Samuel Hym, Eric Gordon Prud'Hommeaux, Harold Solbrig
article
18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.195⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01218552/file/staworko-icdt15a.pdf BibTex
titre
Logics for Unordered Trees with Data Constraints on Siblings
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088761/file/paper_78.pdf BibTex
titre
Sublinear DTD Validity
auteur
Antoine Mbaye Ndione, Aurélien Lemay, Joachim Niehren
article
9th International Conference on. Language and Automata Theory and Applications, Mar 2015, Nice, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00803696/file/main.pdf BibTex
titre
Characterizing XML Twig Queries with Examples
auteur
Slawomir Staworko, Piotr Wieczorek
article
International Conference on Database Theory, Mar 2015, Brussels, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01205417/file/staworko-icdt15b.pdf BibTex
titre
A Uniform Programming Language for Implementing XML Standards
auteur
Pavel Labath, Joachim Niehren
article
41st SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2015, Pec pod Sněžkou, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00954692/file/0.pdf BibTex

Habilitation à diriger des recherches

titre
Symbolic Inference Methods for Databases
auteur
Slawomir Staworko
article
Databases [cs.DB]. Université de Lille, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01254965/file/thesis.pdf BibTex

Other publications

titre
Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning
auteur
Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi
article
2015
Accès au bibtex
BibTex
titre
Sublinear DTD Validity
auteur
Antoine Ndione, Aurélien Lemay, Joachim Niehren
article
2015
Accès au bibtex
BibTex

Theses

titre
Cross-Model Queries and Schemas: Complexity and Learning
auteur
Radu Ciucanu
article
Databases [cs.DB]. Université Lille 1 - Sciences et Technologies, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01182649/file/these.pdf BibTex

Preprints, Working Papers, ...

titre
Shape Expressions Schemas
auteur
Iovka Boneva, Jose Emilio Labra Gayo, Eric Gordon Prud'Hommeaux, Slawomir Staworko
article
2015
Accès au bibtex
https://arxiv.org/pdf/1510.05555 BibTex

2014

Journal articles

titre
Interactive Join Query Inference with JIM
auteur
Angela Bonifati, Radu Ciucanu, Slawomir Staworko
article
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2014, 7 (13), pp.1541-1544
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006126/file/p1541-bonifati.pdf BibTex
titre
Query Reformulation in PDMS Based on Social Relevance
auteur
Angela Bonifati, Gianvito Summa, Esther Pacitti, Fady Draidi
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2014, Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII, LNCS, pp.59-90. ⟨10.1007/978-3-642-54426-2_3⟩
Accès au bibtex
BibTex

Conference papers

titre
Interactive Join Query Inference with JIM
auteur
Angela Bonifati, Radu Ciucanu, Slawomir Staworko
article
Gestion de Données - Principes, Technologies et Applications (BDA), Oct 2014, Grenoble-Autrans, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01052789/file/ciucanu-bda14b.pdf BibTex
titre
Interactive Inference of Join Queries
auteur
Angela Bonifati, Radu Ciucanu, Slawomir Staworko
article
Gestion de Données - Principes, Technologies et Applications (BDA), Oct 2014, Grenoble-Autrans, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01052764/file/ciucanu-bda14a.pdf BibTex
titre
Attractor Equivalence: An Observational Semantics for Reaction Networks
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
article
First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00990924/file/0.pdf BibTex
titre
Deterministic Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020236/file/det-unordered.pdf BibTex
titre
A Paradigm for Learning Queries on Big Data
auteur
Angela Bonifati, Radu Ciucanu, Aurélien Lemay, Slawomir Staworko
article
First International Workshop on Bringing the Value of "Big Data" to Users (Data4U), Sep 2014, Hangzhou, China. ⟨10.1145/2658840.2658842⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01052676/file/ciucanu-data4u14.pdf BibTex
titre
Towards Efficient Reasoning under Guarded-based Disjunctive Existential Rules
auteur
Pierre Bourhis, Michael Morak, Andréas Pieris
article
Mathematical Foundations of Computer Science (MFCS), Aug 2014, Budapest, Hungary
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01053179/file/mfcs2014.pdf BibTex
titre
How to Best Nest Regular Path Queries
auteur
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
article
Informal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098979/file/paper.pdf BibTex
titre
Acyclic Query Answering Under Guarded Disjunctive Existential Rules and Consequences to DLs
auteur
Pierre Bourhis, Michael Morak, Andréas Pieris
article
Informal Proceedings of the 27th International Workshop on Description Logics, Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098983/file/paper_22.pdf BibTex
titre
Interactive Inference of Join Queries
auteur
Angela Bonifati, Radu Ciucanu, Slawomir Staworko
article
17th International Conference on Extending Database Technology (EDBT), Mar 2014, Athènes, Greece. pp.451-462, ⟨10.5441/002/edbt.2014.41⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00875680/file/joins.pdf BibTex
titre
Learning Sequential Tree-to-Word Transducers
auteur
Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi
article
8th International Conference on Language and Automata Theory and Applications, Mar 2014, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00912969/file/main.pdf BibTex

Reports

titre
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
auteur
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
article
[Research Report] FEMTO-ST. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089711/file/tagednk.pdf BibTex

Theses

titre
Normalisation et Apprentissage de Transductions d'Arbres en Mots
auteur
Grégoire Laurence
article
Base de données [cs.DB]. Université des Sciences et Technologie de Lille - Lille I, 2014. Français. ⟨NNT : 41446⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01053084/file/main.pdf BibTex
titre
Approximate Membership for Words and Trees
auteur
Antoine Mbaye Ndione
article
Computer Science [cs]. Université Lille 1, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01092549/file/0.pdf BibTex

Preprints, Working Papers, ...

titre
Query Containment for Highly Expressive Datalog Fragments
auteur
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098974/file/paper.pdf BibTex

2013

Journal articles

titre
Static analysis of xml security views and query rewriting
auteur
Benoit Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison
article
Information and Computation, Elsevier, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00796297/file/article.pdf BibTex
titre
Algebraic incremental maintenance of XML views
auteur
Angela Bonifati, Martin Goodfellow, Ioana Manolescu, Domenica Sileo
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2013, 38 (3), pp.1-45
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00816483/file/paperHAL.pdf BibTex
titre
Query Induction with Schema-Guided Pruning Strategies
auteur
Joachim Niehren, Jérôme Champavère, Rémi Gilleron, Aurélien Lemay
article
Journal of Machine Learning Research, Microtome Publishing, 2013, 14, pp.927−964
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00607121/file/0.pdf BibTex
titre
Approximate Membership for Regular Languages modulo the Edit Distance
auteur
Antoine Ndione, Aurélien Lemay, Joachim Niehren
article
Theoretical Computer Science, Elsevier, 2013, 487, pp.37-49
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00801970/file/0.pdf BibTex

Conference papers

titre
XPath Node Selection over Grammar-Compressed Trees
auteur
Tom Sebastian, Sebastian Maneth
article
TTATT 2013, Oct 2013, Hanoi, Vietnam. ⟨10.4204/EPTCS.134.5⟩
Accès au bibtex
BibTex
titre
Learning Schemas for Unordered XML
auteur
Radu Ciucanu, Slawomir Staworko
article
14th International Symposium on Database Programming Languages (DBPL), Aug 2013, Riva del Garda, Trento, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00846809/file/ciucanu-dbpl13.pdf BibTex
titre
Early Nested Word Automata for XPath Query Answering on XML Streams
auteur
Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui
article
18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. pp.292-305
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00676178/file/1.pdf BibTex
titre
Simple Schemas for Unordered XML
auteur
Iovka Boneva, Radu Ciucanu, Slawomir Staworko
article
16th International Workshop on the Web and Databases (WebDB), Jun 2013, New York, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00824459/file/ciucanu-webdb13.pdf BibTex
titre
Learning Queries for Relational, Semi-structured, and Graph Databases
auteur
Radu Ciucanu
article
SIGMOD/PODS 2013 PhD Symposium, Jun 2013, New York, United States. ⟨10.1145/2483574.2483576⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00839904/file/ciucanu-sigmodphd13.pdf BibTex
titre
A Trichotomy for Regular Simple Path Queries on Graphs
auteur
Guillaume Bagan, Angela Bonifati, Benoit Groz
article
ACM PODS, Jun 2013, New York, United States. pp.261-272
Accès au bibtex
https://arxiv.org/pdf/1212.6857 BibTex

Documents associated with scientific events

titre
Tree Automata with Constraints: a brief survey
auteur
Emmanuel Filiot, Florent Jacquemard, Sophie Tison
article
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840959/file/TAC-survey.pdf BibTex

Reports

titre
Early = Earliest?
auteur
Anthony Lick, Joachim Niehren
article
[Research Report] inria lille. 2013
Accès au bibtex
BibTex
titre
A Functional Language for Hyperstreaming XSLT
auteur
Pavel Labath, Joachim Niehren
article
[Research Report] inria lille. 2013
Accès au bibtex
BibTex

1987

Conference papers

titre
Decidability of the Confluence of Ground Term Rewriting Systems.
auteur
Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne
article
LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States
Accès au bibtex
BibTex