Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
A. 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
[2]
M. 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
[3]
A. 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
[4]
I. 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
[5]
A. Bonifati, R. Ciucanu, S. Staworko.
Learning Join Queries from User Examples, in: ACM Transactions on Database Systems, February 2016, vol. 40, no 4, pp. 1-38.
https://hal.inria.fr/hal-01187986
[6]
P. 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
[7]
F. 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
[8]
D. 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, no 578, pp. 100-127.
https://hal.inria.fr/hal-00966625
[9]
V. 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
[10]
S. 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

[11]
L. 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

[12]
A. 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
[13]
M. 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
[14]
B. 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
[15]
A. 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

[16]
E. 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
[17]
I. 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
[18]
P. 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
[19]
F. 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
[20]
F. 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
[21]
S. 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

[22]
I. 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
[23]
I. 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
[24]
I. Boneva, J. Niehren, M. Sakho.
Approximating Certain Query Answers on Nested Hyperstreams, April 2019, working paper or preprint.
https://hal.inria.fr/hal-02092276
[25]
F. 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
[26]
F. 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