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

Articles in International Peer-Reviewed Journals

  • 11P. Beame, N. Grosshans, P. McKenzie, L. Segoufin.
    Nondeterminism and An Abstract Formulation of Nečiporuk’s Lower Bound Method, in: ACM Transactions on Computation Theory, December 2016, vol. 9, no 1, pp. 1 - 34. [ DOI : 10.1145/3013516 ]
    https://hal.inria.fr/hal-01426213
  • 12F. Jacquemard, L. Segoufin, J. Dimino.
    FO2(<,+1, ) on data trees, data tree automata and branching vector addition systems, in: Logical Methods in Computer Science, 2016, vol. 12, no 2, 32 p.
    https://hal.inria.fr/hal-00769249
  • 13S. Schmitz.
    Complexity Hierarchies Beyond Elementary, in: ACM Transactions on Computation Theory, February 2016, vol. 8, no 1. [ DOI : 10.1145/2858784 ]
    https://hal.inria.fr/hal-01267354
  • 14S. Schmitz.
    Implicational Relevance Logic is 2-ExpTime-Complete, in: The Journal of Symbolic Logic, June 2016, vol. 81, no 2, pp. 641–661. [ DOI : 10.1017/jsl.2015.7 ]
    https://hal.inria.fr/hal-01340113

Articles in Non Peer-Reviewed Journals

  • 15S. Schmitz.
    Automata Column: The Complexity of Reachability in Vector Addition Systems, in: ACM SIGLOG News, January 2016, vol. 3, no 1, pp. 3–21. [ DOI : 10.1145/2893582.2893585 ]
    https://hal.inria.fr/hal-01275972

Invited Conferences

  • 16J. Leroux, S. Schmitz.
    Ideal Decompositions for Vector Addition Systems, in: STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science, Orléans, France, N. Ollinger, H. Vollmer (editors), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2016, vol. 47, pp. 1–13. [ DOI : 10.4230/LIPIcs.STACS.2016.1 ]
    https://hal.inria.fr/hal-01275991

International Conferences with Proceedings

  • 17S. Abiteboul, P. Bourhis, V. Vianu.
    A formal study of collaborative access control in distributed datalog, in: ICDT 2016 - 19th International Conference on Database Theory, Bordeaux, France, W. Martens, T. Zeume (editors), March 2016.
    https://hal.inria.fr/hal-01290497
  • 18D. Baelde, S. Lunel, S. Schmitz.
    A Sequent Calculus for a Modal Logic on Finite Data Trees, in: CSL 2016, Marseille, France, J.-M. Talbot, L. Regnier (editors), Leibniz International Proceedings in Informatics, LZI, September 2016, vol. 62, no 32, pp. 1–16. [ DOI : 10.4230/LIPIcs.CSL.2016.32 ]
    https://hal.inria.fr/hal-01191172
  • 19A. Deutsch, Y. Li, V. Vianu.
    Verification of Hierarchical Artifact Systems, in: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), San Francisco, United States, ACM (editor), Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), June 2016, pp. 179 - 194. [ DOI : 10.1145/2902251.2902275 ]
    https://hal.inria.fr/hal-01389845
  • 20J. Goubault-Larrecq, S. Schmitz.
    Deciding Piecewise Testable Separability for Regular Tree Languages, in: ICALP 2016, Rome, Italy, I. Chatzigiannakis, M. Mitzenmacher, Y. Rabani, D. Sangiorgi (editors), Leibniz International Proceedings in Informatics, July 2016, vol. 55, pp. 97:1–97:15. [ DOI : 10.4230/LIPIcs.ICALP.2016.97 ]
    https://hal.inria.fr/hal-01276119
  • 21G. Grefenstette, K. Rafes.
    Transforming Wikipedia into an Ontology-based Information Retrieval Search Engine for Local Experts using a Third-Party Taxonomy, in: Joint Second Workshop on Language and Ontology & Terminology and Knowledge Structures (LangOnto2 + TermiKS) LO2TKS, Portoroz, Slovenia, May 2016.
    https://hal.inria.fr/hal-01224114
  • 22P. Hofman, S. Lasota, R. Lazić, J. Leroux, S. Schmitz, P. Totzke.
    Coverability Trees for Petri Nets with Unordered Data, in: FoSSaCS, Eindhoven, Netherlands, Lecture Notes in Computer Science, Springer, 2016, vol. 9634, pp. 445–461. [ DOI : 10.1007/978-3-662-49630-5_26 ]
    https://hal.inria.fr/hal-01252674
  • 23R. Lazić, S. Schmitz.
    The Complexity of Coverability in ν-Petri Nets, in: LICS 2016, New York, United States, ACM Press, 2016, pp. 467–476. [ DOI : 10.1145/2933575.2933593 ]
    https://hal.inria.fr/hal-01265302
  • 24D. Montoya, T. Pellissier Tanon, S. Abiteboul, F. M. Suchanek.
    Thymeflow, A Personal Knowledge Base with Spatio-Temporal Data, in: 25th ACM International Conference on Information and Knowledge Management, Indianapolis, IN, United States, October 2016. [ DOI : 10.1145/2983323.2983337 ]
    https://hal.inria.fr/hal-01355150

Conferences without Proceedings

  • 25S. Abiteboul, G. Miklau, J. Stoyanovich, G. Weikum.
    Data, Responsibly (Dagstuhl Seminar 16291), in: Dagstuhl seminar, Dagstuhl, Germany, 2016.
    https://hal.inria.fr/hal-01405693

Scientific Popularization

Other Publications

  • 27J. Stoyanovich, S. Abiteboul, G. Miklau.
    Data, Responsibly: Fairness, Neutrality and Transparency in Data Analysis, March 2016, International Conference on Extending Database Technology.
    https://hal.inria.fr/hal-01290695

previous Previous | up Home