Claire David

Publications

Article dans une revue (6)

Distinct Shortest Walk Enumeration for RPQs Claire David,Nadime Francis,Victor Marsault Proceedings of the ACM on Management of Data, 2024, 2 (2), pp.1-22. ⟨10.1145/3651601⟩ Article dans une revue hal-04495051v1
Research Directions for Principles of Data Management Serge Abiteboul,Marcelo Arenas,Pablo Barceló,Meghyn Bienvenu,Diego Calvaneseet al. Dagstuhl Manifestos, 2018, 7 (1), pp.1-29. ⟨10.4230/DagMan.7.1.1⟩ Article dans une revue hal-01778196v1
Reasoning about integrity constraints for tree-structured data Wojciech Czerwiński,Claire David,Filip Murlak,Paweł Parys Theory of Computing Systems, 2018, 62 (4), pp.941-976. ⟨10.1007/s00224-017-9771-z⟩ Article dans une revue hal-01799446v1
Deciding definability by deterministic regular expressions Wojciech Czerwiński,Claire David,Katja Losemann,Wim Martens Journal of Computer and System Sciences, 2017, 88, pp.75-89. ⟨10.1016/j.jcss.2017.03.011⟩ Article dans une revue hal-01806706v1
Efficient Reasoning about Data Trees via Integer Linear Programming Claire David,Leonid Libkin,Tony Tan ACM Transactions on Database Systems, 2012, 37 (3), pp.19.1-19.28. ⟨10.1145/2338626.2338632⟩ Article dans une revue hal-00835833v1
Two-variable logic on data words Mikolaj Bojanczyk,Claire David,Anca Muscholl,Thomas Schwentick,Luc Segoufin ACM Transactions on Computational Logic, 2011, 12, pp.27. ⟨10.1145/1970398.1970403⟩ Article dans une revue hal-00645452v1

Communication dans un congrès (10)

Run-Based Semantics for RPQs Claire David,Nadime Francis,Victor Marsault 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23), Sep 2023, Rhodes, Greece. pp.178-187, ⟨10.24963/kr.2023/18⟩ Communication dans un congrès hal-03882187v1
Three easy pieces on schema mappings for tree-structured data Claire David,Filip Murlak AMW 2017, Jun 2017, Montevideo, Uruguay. pp.1-10 Communication dans un congrès hal-01778169v1
Reasoning About Integrity Constraints for Tree-Structured Data Wojciech Czerwiński,Claire David,Filip Murlak,Paweł Parys ICDT 2016, Mar 2016, Bordeaux, France. pp.20:1-20:18, ⟨10.4230/LIPIcs.ICDT.2016.20⟩ Communication dans un congrès hal-01799440v1
Consistency of injective tree patterns Claire David,Nadime Francis,Filip Murlak Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India Communication dans un congrès hal-01094596v2
Synthesizing transformations from XML schema mappings Claire David,Piotr Hofman,Filip Murlak,Michal Pilipczuk 17th International Conference on Database Theory (ICDT 2014), Mar 2014, Athènes, Greece. pp.61-71, ⟨10.5441/002/icdt.2014.10⟩ Communication dans un congrès hal-01854501v1
Deciding Definability by Deterministic Regular Expressions Wojciech Czerwiński,Claire David,Katja Losemann,Wim Martens Foundations of Software Science and Computation Structure (FoSSaCS'13), 2013, Italy. pp.16 Communication dans un congrès hal-00788609v1
Containment of Pattern-Based Queries over Data Trees Claire David,Amélie Gheerbrant,Leonid Libkin,Wim Martens International Conference on Database Theory (ICDT'13), 2013, Italy. pp.12 Communication dans un congrès hal-00788621v1
Efficient Reasoning about Data Trees via Integer Linear Programming Claire David,Leonid Libkin,Tony Tan International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. pp.18-29, ⟨10.1145/1938551.1938558⟩ Communication dans un congrès hal-00720672v1
Two-Variable Logic on Words with Data Mikolaj Bojanczyk,Anca Muscholl,Thomas Schwentick,Luc Segoufin,Claire David 21st Annual IEEE Symposium on Logic in Computer Science LICS'06, 2006, Seattle, United States. pp.7-16, ⟨10.1109/LICS.2006.51⟩ Communication dans un congrès hal-00151749v1
Two-Variable Logic on Data Trees and XML Reasoning Mikolaj Bojanczyk,Claire David,Anca Muscholl,Thomas Schwentick,Luc Segoufin twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩ Communication dans un congrès hal-00151833v1