Export Publications

Exporter les publications affichées :
Nombre de documents

12

Claire David - Publications


Article dans une revue5 documents

  • Wojciech Czerwiński, Claire David, Filip Murlak, Paweł Parys. Reasoning about integrity constraints for tree-structured data. Theory of Computing Systems, Springer Verlag, 2018, 62 (4), pp.941-976. 〈10.1007/s00224-017-9771-z〉. 〈hal-01799446〉
  • Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, et al.. Research Directions for Principles of Data Management: Manifesto from Dagstuhl Perspectives Workshop 16151. Dagstuhl Manifestos, Schloss Dagstuhl - LZI GmbH, 2017, 7 (1), pp.1-29. 〈10.4230/DagMan.7.1.1〉. 〈hal-01778196〉
  • Wojciech Czerwiński, Claire David, Katja Losemann, Wim Martens. Deciding definability by deterministic regular expressions. Journal of Computer and System Sciences, Elsevier, 2017, 88, pp.75-89. 〈10.1016/j.jcss.2017.03.011〉. 〈hal-01806706〉
  • Claire David, Leonid Libkin, Tony Tan. Efficient Reasoning about Data Trees via Integer Linear Programming. ACM Transactions on Database Systems, Association for Computing Machinery, 2012, 37 (3), pp.19.1-19.28. 〈10.1145/2338626.2338632〉. 〈hal-00835833〉
  • Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin. Two-variable logic on data words. ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12, pp.27. 〈hal-00645452〉

Communication dans un congrès7 documents

  • Wojciech Czerwiński, Claire David, Filip Murlak, Paweł Parys. Reasoning About Integrity Constraints for Tree-Structured Data. ICDT 2016, Mar 2016, Bordeaux, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, 48, pp.20:1-20:18, 2016, Proceedings of the 19th International Conference on Database Theory. 〈hal-01799440〉
  • Claire David, Nadime Francis, Filip Murlak. Consistency of injective tree patterns. Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India. 2014, 〈http://www.fsttcs.org/〉. 〈hal-01094596v2〉
  • Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens. Containment of Pattern-Based Queries over Data Trees. International Conference on Database Theory (ICDT'13), 2013, Italy. pp.12, 2013. 〈hal-00788621〉
  • Wojciech Czerwiński, Claire David, Katja Losemann, Wim Martens. Deciding Definability by Deterministic Regular Expressions. Foundations of Software Science and Computation Structure (FoSSaCS'13), 2013, Italy. pp.16, 2013. 〈hal-00788609〉
  • Claire David, Leonid Libkin, Tony Tan. Efficient Reasoning about Data Trees via Integer Linear Programming. International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. pp.18-29, 2011, 〈10.1145/1938551.1938558〉. 〈hal-00720672〉
  • Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David. Two-Variable Logic on Words with Data. 21st Annual IEEE Symposium on Logic in Computer Science LICS'06, 2006, Seattle, United States. IEEE, pp.7-16, 2006, 〈10.1109/LICS.2006.51〉. 〈hal-00151749〉
  • Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin. Two-Variable Logic on Data Trees and XML Reasoning. twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. ACM Press, pp.10-19, 2006, 〈10.1145/1142351.1142354〉. 〈hal-00151833〉