Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1G. Laurence.
  
  Normalization and Learning of Tree to Words Transductions, Université des Sciences et Technologie de Lille - Lille I, June 2014.
  
  https://tel.archives-ouvertes.fr/tel-01053084
• 2A. M. Ndione.
  
  Approximate Membership for Words and Trees, Université Lille 1, April 2014.
  
  https://tel.archives-ouvertes.fr/tel-01092549

Articles in International Peer-Reviewed Journals

• 3I. Boneva, R. Ciucanu, S. Staworko.
  
  Schemas for Unordered XML on a DIME, in: Theory of Computing Systems, October 2014, 40 p. [ DOI : 10.1007/s00224-014-9593-1 ]
  
  https://hal.inria.fr/hal-01076329
• 4A. Bonifati, R. Ciucanu, S. Staworko.
  
  Interactive Join Query Inference with JIM, in: Very Large Database Endowment - Demo Paper: PVLDB, June 2014, vol. 7, n^o 13, pp. 1541-1544, System demo.
  
  https://hal.inria.fr/hal-01006126
• 5A. Bonifati, G. Summa, E. Pacitti, F. Draidi.
  
  Query Reformulation in PDMS Based on Social Relevance, in: Transactions on Large-Scale Data and Knowledge-Centered Systems, March 2014, vol. LNCS, pp. 59-90. [ DOI : 10.1007/978-3-642-54426-2_3 ]
  
  http://hal-lirmm.ccsd.cnrs.fr/lirmm-01088153
• 6T. Sebastian, D. Debarbieux, O. Gauwin, J. Niehren, M. Zergaoui.
  
  Early Nested Word Automata for XPath Query Answering on XML Streams, in: Theoretical Computer Science, March 2015, 42 p.
  
  https://hal.inria.fr/hal-00966625

International Conferences with Proceedings

• 7A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Deterministic Automata for Unordered Trees, in: Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Verona, Italy, EPTCS, September 2014, vol. 161, pp. 189-202. [ DOI : 10.4204/EPTCS.161.17 ]
  
  https://hal.inria.fr/hal-01020236
• 8A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  
  Logics for Unordered Trees with Data Constraints on Siblings, in: LATA : 9th International Conference on Language and Automata Theory and Applications, Nice, France, March 2015.
  
  https://hal.inria.fr/hal-01088761
• 9I. Boneva, A. Bonifati, R. Ciucanu.
  
  Graph Data Exchange with Target Constraints, in: EDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Brussels, Belgium, March 2015.
  
  https://hal.inria.fr/hal-01095838
• 10A. Bonifati, R. Ciucanu, A. Lemay.
  
  Interactive Path Query Specification on Graph Databases, in: 18th International Conference on Extending Database Technology (EDBT). System Demo, Brussels, Belgium, March 2015.
  
  https://hal.inria.fr/hal-01097771
• 11A. Bonifati, R. Ciucanu, A. Lemay.
  
  Learning Path Queries on Graph Databases, in: 18th International Conference on Extending Database Technology (EDBT), Brussels, Belgium, March 2015.
  
  https://hal.inria.fr/hal-01068055
• 12A. Bonifati, R. Ciucanu, A. Lemay, S. Staworko.
  
  A Paradigm for Learning Queries on Big Data, in: First International Workshop on Bringing the Value of "Big Data" to Users (Data4U), Hangzhou, China, September 2014. [ DOI : 10.1145/2658840.2658842 ]
  
  https://hal.inria.fr/hal-01052676
• 13A. Bonifati, R. Ciucanu, S. Staworko.
  
  Interactive Inference of Join Queries, in: 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 2014, pp. 451-462. [ DOI : 10.5441/002/edbt.2014.41 ]
  
  https://hal.inria.fr/hal-00875680
• 14P. Bourhis, M. Morak, A. Pieris.
  
  Towards Efficient Reasoning under Guarded-based Disjunctive Existential Rules, in: MFCS, Budapest, Hungary, August 2014.
  
  https://hal.inria.fr/hal-01053179
• 15P. Labath, J. Niehren.
  
  A Uniform Programming Language for Implementing XML Standards, in: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Lecture Notes in Computer Science, Springer, January 2015.
  
  https://hal.inria.fr/hal-00954692
• 16G. Laurence, A. Lemay, J. Niehren, S. Staworko, M. Tommasi.
  
  Learning Sequential Tree-to-Word Transducers, in: 8th International Conference on Language and Automata Theory and Applications, Madrid, Spain, Springer, March 2014.
  
  https://hal.inria.fr/hal-00912969
• 17G. Madelaine, C. Lhoussaine, J. Niehren.
  
  Attractor Equivalence: An Observational Semantics for Reaction Networks, in: First International Conference on Formal Methods in Macro-Biology, Nouméa, New Caledonia, Lecture Notes in Bioinformatics, Springer-Verlag, September 2014.
  
  https://hal.archives-ouvertes.fr/hal-00990924
• 18A. M. Ndione, A. Lemay, J. Niehren.
  
  Sublinear DTD Validity, in: 9th International Conference on. Language and Automata Theory and Applications, Nice, France, March 2015.
  
  https://hal.inria.fr/hal-00803696
• 19S. Staworko, I. Boneva, J. E. Labra Gayo, S. Hym, E. G. Prud'hommeaux, H. Solbrig.
  
  Complexity and Expressiveness of ShEx for RDF, in: International Conference on Database Theory, Brussels, Belgium, International Conference on Database Theory (ICDT), March 2015.
  
  https://hal.archives-ouvertes.fr/hal-01094557

National Conferences with Proceedings

• 20A. Bonifati, R. Ciucanu, S. Staworko.
  
  Interactive Inference of Join Queries, in: Gestion de Données - Principes, Technologies et Applications (BDA), Grenoble-Autrans, France, October 2014.
  
  https://hal.inria.fr/hal-01052764
• 21A. Bonifati, R. Ciucanu, S. Staworko.
  
  Interactive Join Query Inference with JIM, in: Gestion de Données - Principes, Technologies et Applications (BDA), Grenoble-Autrans, France, October 2014.
  
  https://hal.inria.fr/hal-01052789

Conferences without Proceedings

• 22P. Bourhis, M. Morak, A. Pieris.
  
  Acyclic Query Answering Under Guarded Disjunctive Existential Rules and Consequences to DLs, in: Informal Proceedings of the 27th International Workshop on Description Logics, Vienne, Austria, July 2014.
  
  https://hal.inria.fr/hal-01098983

Internal Reports

• 23P.-C. Héam, V. Hugot, O. Kouchnarenko.
  
  The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard, FEMTO-ST, December 2014.
  
  https://hal.inria.fr/hal-01089711
• 24M. Schmidt-Schauss, D. Sabel, J. Niehren, J. Schwinghammer.
  
  Observational Program Calculi and the Correctness of Translations, May 2014.
  
  https://hal.inria.fr/hal-00824349

Scientific Popularization

• 25P. Bourhis, M. Krötzsch, S. Rudolph.
  
  How to Best Nest Regular Path Queries, in: Informal Proceedings of the 27th International Workshop on Description Logics, Vienne, Austria, July 2014.
  
  https://hal.inria.fr/hal-01098979

Other Publications

• 26P. Bourhis, M. Krötzsch, S. Rudolph.
  
  Query Containment for Highly Expressive Datalog Fragments, July 2014.
  
  https://hal.inria.fr/hal-01098974