Claire David

17
Documents

Publications

5
5
2
1
1
1
1
1
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
4
4
4
4
3
3
3
3
3
3
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

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-04495051 v1
Image document

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-01799446 v1
Image document

Research Directions for Principles of Data Management

Serge Abiteboul , Marcelo Arenas , Pablo Barceló , Meghyn Bienvenu , Diego Calvanese et al.
Dagstuhl Manifestos, 2018, 7 (1), pp.1-29. ⟨10.4230/DagMan.7.1.1⟩
Article dans une revue hal-01778196 v1
Image document

The finite difference method for the heat equation on Sierpiński simplices

Nizare Riane , Claire David
International Journal of Computer Mathematics, 2018, ⟨10.1080/00207160.2018.1517209⟩
Article dans une revue hal-02188734 v1
Image document

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-01806706 v1
Image document

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-00835833 v1

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
Article dans une revue hal-00645452 v1
Image document

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-03882187 v1
Image document

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-01778169 v1
Image document

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-01799440 v1
Image document

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-01094596 v2
Image document

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-01854501 v1
Image document

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-00788609 v1
Image document

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-00788621 v1
Image document

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-00720672 v1
Image document

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-00151749 v1
Image document

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-00151833 v1