Rapports et publications
Revues
- 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)
Conférences internationnales
- 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]
Pour plus de détails sur ces résultats voir mon manuscript de thèse. En particulier le théorème 3 de cet article est faux mais corrigé dans ma thèse (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
Workshop internationnaux
-
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
Thèse
- Mon manuscrit de thèse : Analyse de XML avec données non bornées [ps] [pdf]
Rapports