Project-Team Dahu
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

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