Bibliography

Major publications by the team in recent years

• 1A. Amarilli, C. Paperman.
  
  Topological Sorting with Regular Constraints, in: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Republic, July 2018.
  
  https://hal.archives-ouvertes.fr/hal-01950909
• 2M. Benedikt, P. Bourhis, M. V. Boom.
  
  Characterizing Definability in Decidable Fixpoint Logics , in: ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Varsovie, Poland, I. Chatzigiannakis, P. Indyk, F. Kuhn, A. Muscholl (editors), July 2017, vol. 107, 14 p, ICALP-2017 Best paper award of Track B. [ DOI : 10.4230/LIPIcs.ICALP.2017.107 ]
  
  https://hal.inria.fr/hal-01639015
• 3A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Logics for Unordered Trees with Data Constraints, in: Journal of Computer and System Sciences, December 2018, 40 p.
  
  https://hal.inria.fr/hal-01176763
• 4I. Boneva, J. G. Labra Gayo, E. G. Prud 'hommeaux.
  
  Semantics and Validation of Shapes Schemas for RDF, in: ISWC2017 - 16th International semantic web conference, Vienna, Austria, October 2017.
  
  https://hal.archives-ouvertes.fr/hal-01590350
• 5A. Bonifati, R. Ciucanu, S. Staworko.
  
  Learning Join Queries from User Examples, in: ACM Transactions on Database Systems, February 2016, vol. 40, n^o 4, pp. 1-38.
  
  https://hal.inria.fr/hal-01187986
• 6P. Bourhis, M. Leclère, M.-L. Mugnier, S. Tison, F. Ulliana, L. Gallois.
  
  Oblivious and Semi-Oblivious Boundedness for Existential Rules, in: IJCAI 2019 - International Joint Conference on Artificial Intelligence, Macao, China, August 2019.
  
  https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142
• 7F. Capelli, S. Mengel.
  
  Tractable QBF by Knowledge Compilation, in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Berlin, Germany, March 2019, https://arxiv.org/abs/1807.04263.
  
  https://hal.archives-ouvertes.fr/hal-01836402
• 8D. Debarbieux, O. Gauwin, J. Niehren, T. Sebastian, M. Zergaoui.
  
  Early Nested Word Automata for XPath Query Answering on XML Streams, in: Theoretical Computer Science, March 2015, n^o 578, pp. 100-127.
  
  https://hal.inria.fr/hal-00966625
• 9V. Hugot, A. Boiret, J. Niehren.
  
  Equivalence of Symbolic Tree Transducers, in: DLT 2017 - Developments in Language Theory, Liege, Belgium, August 2017, vol. 105, 12 p. [ DOI : 10.1007/978-3-642-29709-0_32 ]
  
  https://hal.inria.fr/hal-01517919
• 10S. Staworko, P. Wieczorek.
  
  Containment of Shape Expression Schemas for RDF, in: SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), Amsterdam, Netherlands, June 2019.
  
  https://hal.inria.fr/hal-01959143

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 11L. Gallois.
  
  Dialog between chase approach and string rewriting system approach, Université de Lille, December 2019.
  
  https://tel.archives-ouvertes.fr/tel-02445754

Articles in International Peer-Reviewed Journals

• 12A. Amarilli, F. Capelli, M. Monet, P. Senellart.
  
  Connecting Knowledge Compilation Classes and Width Parameters, in: Theory of Computing Systems, June 2019, https://arxiv.org/abs/1811.02944. [ DOI : 10.1007/s00224-019-09930-2 ]
  
  https://hal.inria.fr/hal-02163749
• 13M. Benedikt, P. Bourhis, M. Vanden Boom.
  
  Definability and Interpolation within Decidable Fixpoint Logics, in: Logical Methods in Computer Science, 2019.
  
  https://hal.archives-ouvertes.fr/hal-02392433
• 14B. Bergougnoux, F. Capelli, M. M. Kanté.
  
  Counting Minimal Transversals of β-Acyclic Hypergraphs, in: Journal of Computer and System Sciences, May 2019, https://arxiv.org/abs/1808.05017. [ DOI : 10.1016/j.jcss.2018.10.002 ]
  
  https://hal.inria.fr/hal-01923090
• 15A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Logics for Unordered Trees with Data Constraints, in: Journal of Computer and System Sciences, January 2019, 40 p. [ DOI : 10.1016/j.jcss.2018.11.004 ]
  
  https://hal.inria.fr/hal-01176763

International Conferences with Proceedings

• 16E. Allart, C. Versari, J. Niehren.
  
  Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints, in: CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy, Lecture Notes in Computer Science, Springer, September 2019, vol. 11773, pp. 266-285. [ DOI : 10.1007/978-3-030-31304-3_14 ]
  
  https://hal.archives-ouvertes.fr/hal-02302463
• 17I. Boneva, J. Niehren, M. Sakho.
  
  Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables, in: LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Saint Petersburg, Russia, January 2019.
  
  https://hal.inria.fr/hal-01811835
• 18P. Bourhis, M. Leclère, M.-L. Mugnier, S. Tison, F. Ulliana, L. Gallois.
  
  Oblivious and Semi-Oblivious Boundedness for Existential Rules, in: IJCAI 2019 - International Joint Conference on Artificial Intelligence, Macao, China, August 2019.
  
  https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142
• 19F. Capelli.
  
  Knowledge Compilation Languages as Proof Systems, in: Theory and Applications of Satisfiability Testing – SAT 2019, Lisbon, Portugal, July 2019, pp. 90-99, https://arxiv.org/abs/1903.04039. [ DOI : 10.1007/978-3-030-24258-9_6 ]
  
  https://hal.inria.fr/hal-02445523
• 20F. Capelli, S. Mengel.
  
  Tractable QBF by Knowledge Compilation, in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Berlin, Germany, March 2019, https://arxiv.org/abs/1807.04263.
  
  https://hal.archives-ouvertes.fr/hal-01836402
• 21S. Staworko, P. Wieczorek.
  
  Containment of Shape Expression Schemas for RDF, in: PODS 2019 - 38th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS, Amsterdam, Netherlands, ACM Press, June 2019, pp. 303-319. [ DOI : 10.1145/3294052.3319687 ]
  
  https://hal.inria.fr/hal-01959143

Other Publications

• 22I. Boneva, J. Dusart, D. Fernández Alvarez, J. E. L. Gayo.
  
  Shape Designer for ShEx and SHACL Constraints, October 2019, ISWC 2019 - 18th International Semantic Web Conference, Poster.
  
  https://hal.archives-ouvertes.fr/hal-02268667
• 23I. Boneva, J. Dusart, D. Fernández Alvarez, J. E. Labra Gayo.
  
  Semi Automatic Construction of ShEx and SHACL Schemas, July 2019, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-02193275
• 24I. Boneva, J. Niehren, M. Sakho.
  
  Approximating Certain Query Answers on Nested Hyperstreams, April 2019, working paper or preprint.
  
  https://hal.inria.fr/hal-02092276
• 25F. Capelli.
  
  Knowledge compilation languages as proof systems, June 2019, https://arxiv.org/abs/1903.04039 - working paper or preprint.
  
  https://hal.inria.fr/hal-02163761
• 26F. Capelli, N. Crosetti, J. Niehren, J. Ramon.
  
  Dependency Weighted Aggregation on Factorized Databases, January 2019, https://arxiv.org/abs/1901.03633 - working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01981553