Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

• 1A. Bonifati, M. Goodfellow, I. Manolescu, D. Sileo.
  
  Algebraic incremental maintenance of XML views, in: ACM Transactions on Database Systems, April 2013, vol. 38, n^o 3, pp. 1-45.
  
  http://hal.inria.fr/hal-00816483
• 2B. Groz, S. Staworko, A.-C. Caron, Y. Roos, S. Tison.
  
  Static analysis of xml security views and query rewriting, in: Information and Computation, December 2013.
  
  http://hal.inria.fr/hal-00796297
• 3A. Ndione, A. Lemay, J. Niehren.
  
  Approximate Membership for Regular Languages modulo the Edit Distance, in: Theoretical Computer Science, February 2013.
  
  http://hal.inria.fr/hal-00801970
• 4J. Niehren, J. Champavère, R. Gilleron, A. Lemay.
  
  Query Induction with Schema-Guided Pruning Strategies, in: Journal of Machine Learning Research, April 2013, vol. 14, pp. 927–964.
  
  http://hal.inria.fr/inria-00607121

International Conferences with Proceedings

• 5G. Bagan, A. Bonifati, B. Groz.
  
  A Trichotomy for Regular Simple Path Queries on Graphs, in: ACM PODS, New York, United States, June 2013, pp. 261-272, PODS13 conference.
  
  http://hal.inria.fr/hal-00806448
• 6I. Boneva, R. Ciucanu, S. Staworko.
  
  Simple Schemas for Unordered XML, in: 16th International Workshop on the Web and Databases (WebDB), New York, United States, June 2013.
  
  http://hal.inria.fr/hal-00824459
• 7A. Bonifati, R. Ciucanu, S. Staworko.
  
  Interactive Inference of Join Queries, in: 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, January 2014.
  
  http://hal.inria.fr/hal-00875680
• 8R. Ciucanu, S. Staworko.
  
  Learning Schemas for Unordered XML, in: 14th International Symposium on Database Programming Languages (DBPL), Riva del Garda, Trento, Italy, July 2013.
  
  http://hal.inria.fr/hal-00846809
• 9D. Debarbieux, O. Gauwin, J. Niehren, T. Sebastian, M. Zergaoui.
  
  Early Nested Word Automata for XPath Query Answering on XML Streams, in: 18th International Conference on Implementation and Application of Automata, Halifax, Canada, March 2013, pp. 292-305.
  
  http://hal.inria.fr/hal-00676178
• 10M. John, M. Nebut, J. Niehren.
  
  Knockout Prediction for Reaction Networks with Partial Kinetic Information, in: 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Rome, Italy, Lecture Notes in Computer Science, Springer, January 2013, vol. 7737, pp. 355-374.
  
  http://hal.inria.fr/hal-00692499
• 11G. 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.
  
  http://hal.inria.fr/hal-00912969
• 12T. Sebastian, S. Maneth.
  
  XPath Node Selection over Grammar-Compressed Trees, in: TTATT 2013, Hanoi, Viet Nam, November 2013. [ DOI : 10.4204/EPTCS.134.5 ]
  
  http://hal.inria.fr/hal-00878748

Internal Reports

• 13P. Labath, J. Niehren.
  
  A Functional Language for Hyperstreaming XSLT, March 2013.
  
  http://hal.inria.fr/hal-00806343
• 14A. Lick, J. Niehren.
  
  Early = Earliest?, October 2013.
  
  http://hal.inria.fr/hal-00873742
• 15A. Ndione, J. Niehren, A. Lemay.
  
  Sublinear DTD Validity, March 2013.
  
  http://hal.inria.fr/hal-00803696
• 16M. Schmidt-Schauss, D. Sabel, J. Niehren, J. Schwinghammer.
  
  Observational Program Calculi and the Correctness of Translations, May 2013.
  
  http://hal.inria.fr/hal-00824349

Other Publications

• 17R. Ciucanu.
  
  Learning Queries for Relational, Semi-structured, and Graph Databases, June 2013, SIGMOD/PODS PhD Symposium.
  
  http://hal.inria.fr/hal-00839904
• 18E. Filiot, F. Jacquemard, S. Tison.
  
  Tree Automata with Constraints: a brief survey, in: Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), Wadern, Germany, May 2013, pp. 1-18, Tree Transducers and Formal Methods (Dagstuhl Seminar 13192).
  
  http://hal.inria.fr/hal-00840959