Claire David

39 papers A* 4A 6B 2Journal 22Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Gray Codes With Constant Delay and Constant Auxiliary Space.
CoRR
Antoine Amarilli, Claire David, Nadime Francis, Victor Marsault, Mikaël Monet, Yann Strozecki
2025 J jnl
Training and onboarding initiatives in high energy physics experiments.
Frontiers Big Data
Allison Reinsvold Hall, Nicole Skidmore, Gabriele Benelli, Ben Carlson, Claire David, Jonathan Davies, Wouter Deconinck, David Demuth, Peter Elmer, Rocky Bala Garg, Stephan Hageböck, Killian Lieret, Valeriia Lukashenko, Sudhir Malik, Andy Morris, Heidi Schellman, Graeme A. Stewart, Jason Veatch, Michel Hernández Villanueva
2025 J jnl
What is AI, what is it not, how we use it in physics and how it impacts... you.
CoRR
Claire David
2024 J jnl
Distinct Shortest Walk Enumeration for RPQs.
Proc. ACM Manag. Data
Claire David, Nadime Francis, Victor Marsault
2023 J jnl
Distinct Shortest Walk Enumeration for RPQs.
CoRR
Claire David, Nadime Francis, Victor Marsault
2023 A* conf
Run-Based Semantics for RPQs.
KR
Claire David, Nadime Francis, Victor Marsault
2022 J jnl
Run-Based Semantics for RPQs.
CoRR
Claire David, Victor Marsault, Nadime Francis
2021 J jnl
Optimization on fractal sets.
Optim. Lett.
Nizare Riane, Claire David
2021 J jnl
The finite volume method on Sierpiński Simplices.
Commun. Nonlinear Sci. Numer. Simul.
Nizare Riane, Claire David
2020 J jnl
Sierpiński Gasket versus Arrowhead curve.
Commun. Nonlinear Sci. Numer. Simul.
Nizare Riane, Claire David
2020 J jnl
Structural stability of Lattice Boltzmann schemes.
CoRR
Claire David, Pierre Sagaut
2019 J jnl
The finite difference method for the heat equation on Sierpiński simplices.
Int. J. Comput. Math.
Nizare Riane, Claire David
2018 J jnl
Reasoning about integrity constraints for tree-structured data.
Theory Comput. Syst.
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 J jnl
An optimal time control problem for the one-dimensional, linear heat equation, in the presence of a scaling parameter.
RAIRO Oper. Res.
Karim Benalia, Claire David, Brahim Oukacha
2017 J jnl
Control of the Black-Scholes equation.
Comput. Math. Appl.
Claire David
2017 J jnl
Deciding definability by deterministic regular expressions.
J. Comput. Syst. Sci.
Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 — conf
Three Easy Pieces on Schema Mappings for Tree-structured Data.
AMW
Claire David, Filip Murlak
2016 A conf
Reasoning About Integrity Constraints for Tree-Structured Data.
ICDT
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2016 A conf
The ICDT 2016 Test of Time Award Announcement.
ICDT
Foto N. Afrati, Claire David, Georg Gottlob
2014 — conf
Consistency of Injective Tree Patterns.
FSTTCS
Claire David, Nadime Francis, Filip Murlak
2014 A conf
Synthesizing transformations from XML schema mappings.
ICDT
Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk
2014 J jnl
XML Schema Mappings: Data Exchange and Metadata Management.
J. ACM
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2013 A conf
Containment of pattern-based queries over data trees.
ICDT
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
2013 B conf
Deciding Definability by Deterministic Regular Expressions.
FoSSaCS
Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens
2012 J jnl
Efficient reasoning about data trees via integer linear programming.
ACM Trans. Database Syst.
Claire David, Leonid Libkin, Tony Tan
2011 — conf
A Direct Translation from XPath to Nondeterministic Automata.
AMW
Nadime Francis, Claire David, Leonid Libkin
2011 A conf
Efficient reasoning about data trees via integer linear programming.
ICDT
Claire David, Leonid Libkin, Tony Tan
2011 J jnl
Spurious caustics of
Int. J. Comput. Math.
Claire David, Pierre Sagaut
2011 J jnl
Two-variable logic on data words.
ACM Trans. Comput. Log.
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
2010 A* conf
Certain answers for XML queries.
PODS
Claire David, Leonid Libkin, Filip Murlak
2010 — conf
How do we remember the past in randomised strategies?
GANDALF
Julien Cristau, Claire David, Florian Horn
2010 — conf
On the Satisfiability of Two-Variable Logic over Data Words.
LPAR (Yogyakarta)
Claire David, Leonid Libkin, Tony Tan
2010 A conf
On the tradeoff between mapping and querying power in XML data exchange.
ICDT
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2008 B conf
Complexity of Data Tree Patterns over XML Documents.
MFCS
Claire David
2006 A* conf
Two-Variable Logic on Words with Data.
LICS
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
2006 A* conf
Two-variable logic on data trees and XML reasoning.
PODS
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin