EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset, P. Senellart.

    Web Data Management, Cambridge University Press, 2012, 456 p.

    http://hal.inria.fr/hal-00677720
  • 2S. Abiteboul, L. Segoufin, V. Vianu.

    Static Analysis of Active XML Systems, in: ACM Transactions on Database Systems, 2009, vol. 34, no 4.
  • 3V. Barany, B. T. Cate, L. Segoufin.

    Guarded negation, in: Journal of the ACM, 2015, vol. 62, no 3, 24 p.

    https://hal.inria.fr/hal-01184763
  • 4P. Barceló, L. Libkin, A. Poggi, C. Sirangelo.

    XML with incomplete information, in: J. ACM, 2010, vol. 58, no 1.
  • 5M. Bojańczyk, A. Muscholl, T. Schwentick, L. Segoufin.

    Two-variable logic on data trees and applications to XML reasoning, in: Journal of the ACM, 2009, vol. 56, no 3.
  • 6M. Bojańczyk, L. Segoufin, H. Straubing.

    Piecewise testable tree languages, in: Logical Methods in Computer Science (LMCS), 2012, vol. 8, no 3.
  • 7Balder ten. Cate, L. Segoufin.

    Transitive Closure Logic, Nested Tree Walking Automata, and XPath, in: Journal of the ACM, 2010, vol. 57, no 3.
  • 8N. Francis, L. Segoufin, C. Sirangelo.

    Datalog Rewritings of Regular Path Queries using Views, in: Logical Methods in Computer Science (LMCS), December 2015, vol. 11, no 4.

    https://hal.inria.fr/hal-01248391
  • 9R. Lazić, S. Schmitz.

    Non-Elementary Complexities for Branching VASS, MELL, and Extensions, in: ACM Transactions on Computational Logic, May 2015, vol. 16, no 3:20, pp. 1–30. [ DOI : 10.1145/2733375 ]

    https://hal.archives-ouvertes.fr/hal-01168290
  • 10L. Libkin, C. Sirangelo.

    Data exchange and schema mappings in open and closed worlds, in: Journal of Computer System Sciences (JCSS), 2011.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12S. Abiteboul, Y. Amsterdamer, D. Deutch, T. Milo, P. Senellart.

    Optimal Probabilistic Generation of XML Documents, in: Theory of Computing Systems, 2015. [ DOI : 10.1007/s00224-014-9581-5 ]

    https://hal.inria.fr/hal-01248048
  • 13S. Abiteboul, B. André, D. Kaplan.

    Managing your digital life with a Personal information management system, in: Communications of the ACM, May 2015, vol. 58, no 5, pp. 32-35.

    https://hal.inria.fr/hal-01068006
  • 14S. 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
  • 15V. Barany, B. T. Cate, L. Segoufin.

    Guarded negation, in: Journal of the ACM, 2015, vol. 62, no 3, 24 p.

    https://hal.inria.fr/hal-01184763
  • 16N. Francis, L. Segoufin, C. Sirangelo.

    Datalog Rewritings of Regular Path Queries using Views, in: Logical Methods in Computer Science (LMCS), December 2015, vol. 11, no 4.

    https://hal.inria.fr/hal-01248391
  • 17R. Lazić, S. Schmitz.

    Non-Elementary Complexities for Branching VASS, MELL, and Extensions, in: ACM Transactions on Computational Logic, May 2015, vol. 16, no 3:20, pp. 1–30. [ DOI : 10.1145/2733375 ]

    https://hal.archives-ouvertes.fr/hal-01168290
  • 18T. Place, L. Segoufin.

    DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES, in: Logical Methods in Computer Science (LMCS), 2015, vol. 11, no 3. [ DOI : 10.2168/LMCS-11(3:5)2015 ]

    https://hal.inria.fr/hal-01223373
  • 19L. Segoufin.

    Constant Delay Enumeration for Conjunctive Queries, in: SIGMOD record, 2015, vol. 44, no 1, 8 p.

    https://hal.inria.fr/hal-01184764

Invited Conferences

  • 20S. Abiteboul.

    The Story of Webdamlog, in: 19th East-European Conference on Advances in Databases and Information Systems, Futuroscope, Poitiers, France, 2015.

    https://hal.inria.fr/hal-01195717

International Conferences with Proceedings

  • 21A. Dawar, L. Segoufin.

    Capturing MSO with One Quantifier, in: Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Berlin, Germany, LNCS, 2015, vol. 9300. [ DOI : 10.1007/978-3-319-23534-9_8 ]

    https://hal.inria.fr/hal-01223378
  • 22N. Francis.

    Asymptotic Determinacy of Path Queries using Union-of-Paths Views, in: 18th International Conference on Database Theory (ICDT 2015), Brussels, Belgium, March 2015. [ DOI : 10.4230/LIPIcs.ICDT.2015.44 ]

    https://hal.inria.fr/hal-01150780
  • 23A. Koutsos, V. Vianu.

    Process-Centric Views of Data-Driven Business Artifacts , in: International Conference on Database Theory (ICDT), Bruxelles, Belgium, 2015, 18 p. [ DOI : 10.4230/LIPIcs.ICDT.2015.247 ]

    https://hal.inria.fr/hal-01167033
  • 24J. Leroux, S. Schmitz.

    Demystifying Reachability in Vector Addition Systems, in: LICS 2015, Kyoto, Japan, July 2015, pp. 56–67. [ DOI : 10.1109/LICS.2015.16 ]

    https://hal.archives-ouvertes.fr/hal-01168388
  • 25D. Montoya, S. Abiteboul, P. Senellart.

    Hup-Me: Inferring and Reconciling a Timeline of User Activity from Rich Smartphone Data, in: ACM SIGSPATIAL, International Conference on Advances in Geographic Information Systems, Seattle, WA, United States, November 2015.

    https://hal.inria.fr/hal-01189093
  • 26V. Zaychik Moffit, J. Stoyanovich, S. Abiteboul, G. Miklau.

    Collaborative Access Control in WebdamLog, in: Proceeding of the ACM Sigmod Conference on Data Management, Melbourne, Australia, ACM Sigmod, 2015.

    https://hal.inria.fr/hal-01136473

Scientific Popularization

Other Publications



previous Previous | up Home