Skip to Main content

Export Publications

Export the displayed publications:
Number of documents

15

Claire David - Publications


Journal articles6 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, 2018, 7 (1), pp.1-29. ⟨10.4230/DagMan.7.1.1⟩. ⟨hal-01778196⟩
  • Nizare Riane, Claire David. The finite difference method for the heat equation on Sierpiński simplices. International Journal of Computer Mathematics, Taylor & Francis, 2018, ⟨10.1080/00207160.2018.1517209⟩. ⟨hal-02188734⟩
  • 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⟩

Conference papers9 documents

  • Claire David, Filip Murlak. Three easy pieces on schema mappings for tree-structured data. AMW 2017, Jun 2017, Montevideo, Uruguay. pp.1-10. ⟨hal-01778169⟩
  • Wojciech Czerwiński, Claire David, Filip Murlak, Paweł Parys. Reasoning About Integrity Constraints for Tree-Structured Data. ICDT 2016, Mar 2016, Bordeaux, France. pp.20:1-20:18, ⟨10.4230/LIPIcs.ICDT.2016.20⟩. ⟨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. ⟨hal-01094596v2⟩
  • Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk. Synthesizing transformations from XML schema mappings. 17th International Conference on Database Theory (ICDT 2014), Mar 2014, Athènes, Greece. pp.61-71, ⟨10.5441/002/icdt.2014.10⟩. ⟨hal-01854501⟩
  • 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. ⟨hal-00788609⟩
  • 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. ⟨hal-00788621⟩
  • 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, ⟨10.1145/1938551.1938558⟩. ⟨hal-00720672⟩
  • 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. pp.10-19, ⟨10.1145/1142351.1142354⟩. ⟨hal-00151833⟩
  • 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. pp.7-16, ⟨10.1109/LICS.2006.51⟩. ⟨hal-00151749⟩