Claire David
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Gray Codes with Constant Delay and Constant Auxiliary Space. | Antoine Amarilli, Claire David, Nadime Francis, Victor Marsault, Mikal Monet, Yann Strozecki |
| 2023 | KR | Run-Based Semantics for RPQs. | Claire David, Nadime Francis, Victor Marsault |
| 2016 | ICDT | The ICDT 2016 Test of Time Award Announcement. | Foto N. Afrati, Claire David, Georg Gottlob |
| 2016 | ICDT | Reasoning About Integrity Constraints for Tree-Structured Data. | Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys |
| 2014 | ICDT | Synthesizing transformations from XML schema mappings. | Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk |
| 2013 | FOSSACS | Deciding Definability by Deterministic Regular Expressions. | Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens |
| 2013 | ICDT | Containment of pattern-based queries over data trees. | Claire David, Amlie Gheerbrant, Leonid Libkin, Wim Martens |
| 2011 | ICDT | Efficient reasoning about data trees via integer linear programming. | Claire David, Leonid Libkin, Tony Tan |
| 2010 | ICDT | On the tradeoff between mapping and querying power in XML data exchange. | Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak |
| 2010 | LPAR | On the Satisfiability of Two-Variable Logic over Data Words. | Claire David, Leonid Libkin, Tony Tan |
| 2010 | PODS | Certain answers for XML queries. | Claire David, Leonid Libkin, Filip Murlak |
| 2008 | MFCS | Complexity of Data Tree Patterns over XML Documents. | Claire David |
| 2006 | LICS | Two-Variable Logic on Words with Data. | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
| 2006 | PODS | Two-variable logic on data trees and XML reasoning. | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |