Project-Team Dahu
Members
Overall Objectives
Research Program
Application Domains
New Results
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.
  • 3P. Barceló, L. Libkin, A. Poggi, C. Sirangelo.
    XML with incomplete information, in: J. ACM, 2010, vol. 58, no 1.
  • 4M. Bojanczyk, L. Segoufin, H. Straubing.
    Piecewise testable tree languages, in: Logical Methods in Computer Science (LMCS), 2012, vol. 8, no 3.
  • 5M. Bojańczyk, C. David, A. Muscholl, T. Schwentick, L. Segoufin.
    Two-variable logic on words with data, in: ACM Trans. on Computational Logic (ToCL), 2011, vol. 12, no 4.
  • 6M. Bojańczyk, A. Muscholl, Th. Schwentick, L. Segoufin.
    Two-variable logic on data trees and applications to XML reasoning, in: Journal of the ACM, 2009, vol. 56, 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.
  • 8B. Cautis, S. Abiteboul, T. Milo.
    Reasoning about XML update constraints, in: Journal of Computer and System Sciences, 2009, vol. 75, no 6, pp. 336-358.
  • 9L. Libkin, C. Sirangelo.
    Reasoning about XML with temporal logics and automata, in: Journal of Applied Logic, 2010, vol. 8, no 2, pp. 210-232.
    http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/LS-jal10.pdf
  • 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

  • 11É. Antoine.
    Gestion des données distribuées avec le langage de règles: Webdamlog, Université Paris Sud - Paris XI, December 2013.
    http://hal.inria.fr/tel-00908155
  • 12W. Kazana.
    l'évaluation de requêtes avec un délai constant, École normale supérieure de Cachan - ENS Cachan, September 2013.
    http://hal.inria.fr/tel-00908434

Articles in International Peer-Reviewed Journals

  • 13S. Abiteboul, Y. Katsis, B. T. Cate.
    On the equivalence of distributed systems with queries and communication, in: Journal of Computer and System Sciences, 2013.
    http://hal.inria.fr/hal-00879029
  • 14B. T. Cate, L. Segoufin.
    Unary negation, in: Logical Methods in Computer Science, 2013, vol. 9, no 3.
    http://hal.inria.fr/hal-00904567
  • 15W. Kazana, L. Segoufin.
    Enumeration of monadic second-order queries on trees, in: ACM Transactions on Computational Logic, 2013, vol. 14, no 4.
    http://hal.inria.fr/hal-00916400

Articles in National Peer-Reviewed Journals

Invited Conferences

  • 17S. Abiteboul.
    Les connaissances de la toile, in: Cultures numériques, éducation aux médias et à l'information, Lyon, France, Scéron Edition, May 2013.
    http://hal.inria.fr/hal-00915477
  • 18A. Gheerbrant, L. Libkin, C. Sirangelo.
    Reasoning About Pattern-Based XML Queries, in: RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Mannheim, Germany, July 2013.
    http://hal.inria.fr/hal-00908414
  • 19L. Segoufin.
    Enumerating with constant delay the answers to a query, in: Intl. Conf. on Database Theory, Genes, Italy, March 2013.
    http://hal.inria.fr/hal-00907085

International Conferences with Proceedings

  • 20S. Abiteboul, É. Antoine, G. Miklau, J. Stoyanovich, J. Testard.
    Rule-Based Application Development using Webdamlog, in: SIGMOD - Special Interest Group on Management Of Data, New York, United States, 2013.
    http://hal.inria.fr/hal-00817791
  • 21S. Abiteboul, É. Antoine, G. Miklau, J. Stoyanovich, V. Zaychik Moffitt.
    Introducing Access Control in Webdamlog, in: DBPL - 14th International Symposium on Database Programming Languages - 2013, Riva del Garda, Trento, Italy, 2013.
    http://hal.inria.fr/hal-00850754
  • 22S. Abiteboul, P. Bourhis, A. Muscholl, Z. Wu.
    Recursive queries on trees and data trees, in: Proceedings of the 16th International Conference on Database Theory, Genoa, Italy, 2013.
    http://hal.inria.fr/hal-00809297
  • 23S. Abiteboul, D. Deutch, V. Vianu.
    Deduction with Contradictions in Datalog, in: International Conference on Database Theory, Athens, Greece, 2014.
    http://hal.inria.fr/hal-00923265
  • 24S. Abiteboul, V. Vianu.
    Collaborative data-driven workflows: think global, act local, in: Proceedings of the 32nd symposium on Principles of database systems, New York, NY, USA, United States, ACM, 2013, pp. 91–102. [ DOI : 10.1145/2463664.2463672 ]
    http://hal.inria.fr/hal-00840306
  • 25M. Bojańczyk, L. Segoufin, S. Toruńczyk.
    Verification of database-driven systems via amalgamation, in: ACM conf. on Principle of Database Systems (PODS), New-York, United States, June 2013, pp. 63-74.
    http://hal.inria.fr/hal-00908771
  • 26A. Gheerbrant, L. Libkin, C. Sirangelo.
    When is Naïve Evaluation Possible?, in: PODS - 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013, New York, United States, June 2013.
    http://hal.inria.fr/hal-00908404
  • 27W. Kazana, L. Segoufin.
    Enumeration of first-order queries on classes of structures with bounded expansion, in: ACM conf. on Principle of Database Systems (PODS), New-York, United States, 2013, pp. 297-308.
    http://hal.inria.fr/hal-00908779

Internal Reports


previous Previous | up Home