Publications
Journals
- Reasoning About Integrity Constraints for Tree-Structured Data. W. Czerwiński, C. David, F. Murlak, P. Parys. Theory of Computing Systems (2018)
- Deciding Definability by Deterministic Regular Expressions. W.Czerwinski, C.David, K. Losemann, W. Martens. Journal of Computer and System Sciences (2017)
- Research Directions for Principles of Data Management (Abridged). S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, Th. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi. SIGMOD Record (2016)
- XML Schema Mappings: Data Exchange and Metadata Management. S. Amano, C. David, L Libkin, F. Murlak. JACM (2014)
- Efficient Reasoning about Data Trees via Integer Linear Programming. C. David, L. Libkin, T. Tan. ACM Transactions on Database Systems (2012)
- Two-Variable Logic on Words with Data . M. Bojanczyk, C. David, A. Muscholl , Th. Schwentick and L. Segoufin. ACM Trans. Comput. Log. 12 (2011)
International conferences
- ICDT'16 : Reasoning About Integrity Constraints for Tree-Structured Data. W. Czerwiński, C. David, F. Murlak, P. Parys
- ICDT'14 : Synthesizing transformations from XML schema mappings. C David, P. Hofman, F. Murlak, M. Pilipczuk
- FSTTCS'14 : Consistency of injective tree patterns. C. David, N. Francis, F. Murlak
- FoSSaCS'13 : Deciding Definability by Deterministic Regular Expressions. W. Czerwinski, C. David, K. Losemann, W. Martens
- ICDT'13 : Containment of Pattern-Based Queries over Data Trees. C. David, A. Gheerbrant, L. Libkin, W. Martens
- ICDT'11: Efficient Reasoning about Data Trees via Integer Linear Programming.[pdf] C. David, L. Libkin, T. Tan
- LPAR'10: On the Satisfiability of Two-Variable Logic over Data Words.[pdf] C. David, L. Libkin, T. Tan
- GandALF'10: How do we remember the past in randomised Strategies? [pdf]J. Cristau, C. David, F. Horn
- PODS'10: Certain answer for XML queries.[pdf][ps] C. David, L. Libkin, F. Murlak
- ICDT'10: On the Tradeoff between Mapping and Querying Power in XML
Data Exchange. [pdf][ps]S. Amano, C. David, L. Libkin, F. Murlak
- MFCS'08: Complexity of Data Tree Patterns over XML Documents. [pdf]
The full results of this work are available in French in my PhD Thesis. In particular a correct version of Theorem 3 and the corresponding proof are given in Section 4.2.
- PODS'06 (Best paper award) : Two-Variable Logic on Data Tree and XML Reasoning [pdf] [ps]. M. Bojanczyk, C. David, A. Muscholl , Th. Schwentick and L. Segoufin
- LICS'06 : Two-Variable Logic on Words with Data [pdf] [ps]. M. Bojanczyk, A. Muscholl , Th. Schwentick, L. Segoufin and C. David
Workshops
-
AMW'17: Three Easy Pieces on Schema Mappings for Tree-structured Data. C. David, F. Murlak
- AMW'11: A Direct Translation from XPath to Nondeterministic Automata. [pdf] N. Francis, C. David, L. Libkin.
Reports
