Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 1R. Ciucanu.
  Cross-Model Queries and Schemas: Complexity and Learning, Université Lille 1 - Sciences et Technologies, July 2015.
  https://hal.inria.fr/tel-01182649
• 2S. Staworko.
  Symbolic Inference Methods for Databases, Université de Lille, December 2015, Habilitation à diriger des recherches.
  https://hal.inria.fr/tel-01254965

Articles in International Peer-Reviewed Journals

• 3S. Abiteboul, P. Bourhis, V. Vianu.
  Highly Expressive Query Languages for Unordered Data Trees, in: Theory of Computing Systems, 2015, 30 p.
  https://hal.inria.fr/hal-01167068
• 4P. C. Arocena, R. Ciucanu, B. Glavic, R. J. Miller.
  Gain Control over your Integration Evaluations, in: Proceedings of the VLDB Endowment (PVLDB), August 2015, vol. 8, n^o 12, pp. 1960-1963.
  https://hal.inria.fr/hal-01187990
• 5M. Benedikt, P. Bourhis, C. Ley.
  Analysis of Schemas with Access Restrictions, in: ACM Transactions on Database Systems, 2015, vol. 40, n^o 1, 46 p. [ DOI : 10.1145/2699500 ]
  https://hal.inria.fr/hal-01211288
• 6I. Boneva, R. Ciucanu, S. Staworko.
  Schemas for Unordered XML on a DIME, in: Theory of Computing Systems, August 2015, vol. 57, n^o 2, pp. 337–376. [ DOI : 10.1007/s00224-014-9593-1 ]
  https://hal.inria.fr/hal-01076329
• 7A. Bonifati, R. Ciucanu, S. Staworko.
  Learning Join Queries from User Examples, in: ACM Transactions on Database Systems, August 2015, vol. 40, n^o 4, pp. 24:1–24:38.
  https://hal.inria.fr/hal-01187986
• 8P. Bourhis, G. Puppis, C. Riveros.
  Which XML Schemas are Streaming Bounded Repairable?, in: Theory of Computing Systems, 2015. [ DOI : 10.1007/s00224-015-9611-y ]
  https://hal.inria.fr/hal-01211290
• 9D. 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
• 10M. Schmidt-Schauss, D. Sabel, J. Niehren, J. Schwinghammer.
  Observational Program Calculi and the Correctness of Translations, in: Journal of Theoretical Computer Science (TCS), April 2015, vol. 577, pp. 98–124. [ DOI : 10.1016/j.tcs.2015.02.027 ]
  https://hal.inria.fr/hal-00824349

International Conferences with Proceedings

• 11A. Amarilli, P. Bourhis, P. Senellart.
  Provenance Circuits for Trees and Treelike Instances, in: ICALP 2015, Kyoto, Japan, June 2015, pp. 56-68.
  https://hal-institut-mines-telecom.archives-ouvertes.fr/hal-01178399
• 12A. Boiret.
  Normal Form on Linear Tree-to-word Transducers, in: 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, J. Janoušek, C. Martín-Vide (editors), March 2016.
  https://hal.inria.fr/hal-01218030
• 13A. 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, pp. 175-187.
  https://hal.inria.fr/hal-01088761
• 14I. Boneva, A. Bonifati, R. Ciucanu.
  Graph Data Exchange with Target Constraints, in: EDBT/ICDT Workshops - Querying Graph Structured Data (GraphQ), Bruxelles, Belgium, March 2015, pp. 171-176.
  https://hal.inria.fr/hal-01095838
• 15A. Bonifati, R. Ciucanu, A. Lemay.
  Interactive Path Query Specification on Graph Databases, in: 18th International Conference on Extending Database Technology (EDBT), Bruxelles, Belgium, March 2015, System Demo. [ DOI : 10.5441/002/dbt.2015.44 ]
  https://hal.inria.fr/hal-01097771
• 16A. Bonifati, R. Ciucanu, A. Lemay.
  Learning Path Queries on Graph Databases, in: 18th International Conference on Extending Database Technology (EDBT), Bruxelles, Belgium, March 2015. [ DOI : 10.5441/002/edbt.2015.11 ]
  https://hal.inria.fr/hal-01068055
• 18A. Eleanor, P. Bourhis, S. B. Davidson, D. Deutch, T. Milo.
  Approximated Summarization of Data Provenance, in: CIKM, Melbourn, Australia, October 2015.
  https://hal.inria.fr/hal-01211286
• 19P. Labath, J. Niehren.
  A Uniform Programming Language for Implementing XML Standards, in: 41st SOFSEM: 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
• 20A. 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
• 21T. Sebastian, J. Niehren.
  Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams, in: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Harrachov, Czech Republic, January 2016.
  https://hal.inria.fr/hal-01182529
• 22S. Staworko, I. Boneva, J. E. Labra Gayo, S. Hym, E. G. Prud'hommeaux, H. Solbrig.
  Complexity and Expressiveness of ShEx for RDF, in: 18th International Conference on Database Theory (ICDT 2015), Brussels, Belgium, M. Arenas, M. Ugarte (editors), 18th International Conference on Database Theory (ICDT 2015), March 2015. [ DOI : 10.4230/LIPIcs.ICDT.2015.195 ]
  https://hal.archives-ouvertes.fr/hal-01218552
• 23S. Staworko, P. Wieczorek.
  Characterizing XML Twig Queries with Examples, in: International Conference on Database Theory, Brussels, Belgium, International Conference on Database Theory, March 2015.
  https://hal.inria.fr/hal-01205417

Conferences without Proceedings

• 24A. Bonifati, R. Ciucanu, A. Lemay.
  Interactive Path Query Specification on Graph Databases, in: 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2015, Île de Porquerolles, France, September 2015.
  https://hal.inria.fr/hal-01187975
• 25A. Bonifati, R. Ciucanu, A. Lemay.
  Learning Path Queries on Graph Databases, in: BDA 2015 - 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications, Île de Porquerolles, France, September 2015.
  https://hal.inria.fr/hal-01187966

Other Publications

• 26A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  Automata for Unordered Trees, July 2015, Long version of GandALF'14 paper.
  https://hal.inria.fr/hal-01179493
• 27A. Boiret, V. Hugot, J. Niehren, R. Treinen.
  Logics for Unordered Trees with Data Constraints, July 2015, 40 p, Long version of LATA'15 paper.
  https://hal.inria.fr/hal-01176763
• 28I. Boneva, J. E. Labra Gayo, E. G. Prud'hommeaux, S. Staworko.
  Shape Expressions Schemas, October 2015, working paper or preprint.
  https://hal.archives-ouvertes.fr/hal-01218566
• 29G. Laurence, A. Lemay, J. Niehren, S. Staworko, M. Tommasi.
  Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning, August 2015, Long version of Lata 14 paper.
  https://hal.archives-ouvertes.fr/hal-01186993
• 30A. M. Ndione, A. Lemay, J. Niehren.
  Sublinear DTD Validity, August 2015, Long version of a Lata 15 paper.
  https://hal.inria.fr/hal-01187016