- 5
- 5
- 2
- 1
- 1
- 1
- 1
- 1
Claire David
17
Documents
Publications
- 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
- 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
- 1
- 1
- 1
- 1
|
Run-Based Semantics for RPQs20th 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 dataAMW 2017, Jun 2017, Montevideo, Uruguay. pp.1-10
Communication dans un congrès
hal-01778169v1
|
|
Reasoning About Integrity Constraints for Tree-Structured DataICDT 2016, Mar 2016, Bordeaux, France. pp.20:1-20:18, ⟨10.4230/LIPIcs.ICDT.2016.20⟩
Communication dans un congrès
hal-01799440v1
|
|
Synthesizing transformations from XML schema mappings17th 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
|
|
Consistency of injective tree patternsFoundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India
Communication dans un congrès
hal-01094596v2
|
|
Containment of Pattern-Based Queries over Data TreesInternational Conference on Database Theory (ICDT'13), 2013, Italy. pp.12
Communication dans un congrès
hal-00788621v1
|
|
Deciding Definability by Deterministic Regular ExpressionsFoundations of Software Science and Computation Structure (FoSSaCS'13), 2013, Italy. pp.16
Communication dans un congrès
hal-00788609v1
|
|
Efficient Reasoning about Data Trees via Integer Linear ProgrammingInternational 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 Data21st 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 Reasoningtwenty-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
|
Distinct Shortest Walk Enumeration for RPQs2024
Pré-publication, Document de travail
hal-04495051v1
|