Members
Overall Objectives
Application Domains
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

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
G. 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
[2]
A. 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

[3]
I. 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
[4]
A. Bonifati, R. Ciucanu, S. Staworko.
Interactive Join Query Inference with JIM, in: Very Large Database Endowment - Demo Paper: PVLDB, June 2014, vol. 7, no 13, pp. 1541-1544, System demo.
https://hal.inria.fr/hal-01006126
[5]
A. 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
[6]
T. 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

[7]
A. 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
[8]
A. 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
[9]
I. 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
[10]
A. 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
[11]
A. 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
[12]
A. 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
[13]
A. 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
[14]
P. 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
[15]
P. 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
[16]
G. 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
[17]
G. 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
[18]
A. 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
[19]
S. 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

[20]
A. 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
[21]
A. 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

[22]
P. 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

[23]
P.-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
[24]
M. 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

[25]
P. 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

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