Claire David

According to our database, Claire David authored at least 31 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Distinct Shortest Walk Enumeration for RPQs.

Claire David, Nadime Francis, Victor Marsault

Proc. ACM Manag. Data, 2024

2023

Run-Based Semantics for RPQs.

Claire David, Nadime Francis, Victor Marsault

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2021

Optimization on fractal sets.

Nizare Riane, Claire David

Optim. Lett., 2021

The finite volume method on Sierpiński Simplices.

Nizare Riane, Claire David

Commun. Nonlinear Sci. Numer. Simul., 2021

2020

Structural stability of Lattice Boltzmann schemes.

Claire David, Pierre Sagaut

CoRR, 2020

Sierpiński Gasket versus Arrowhead curve.

Nizare Riane, Claire David

Commun. Nonlinear Sci. Numer. Simul., 2020

2019

The finite difference method for the heat equation on Sierpiński simplices.

Nizare Riane, Claire David

Int. J. Comput. Math., 2019

2018

Reasoning about integrity constraints for tree-structured data.

Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys

Theory Comput. Syst., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

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

Dagstuhl Manifestos, 2018

Machine Learning in High Energy Physics Community White Paper.

Kim Albertsson, Piero Altoe, Dustin Anderson, Michael Andrews, Juan Pedro Araque Espinosa, Adam Aurisano, Laurent Basara, Adrian Bevan, Wahid Bhimji, Daniele Bonacorsi, Paolo Calafiura, Mario Campanelli, Louis Capps, Federico Carminati, Stefano Carrazza, Taylor Childers, Elias Coniavitis, Kyle Cranmer, Claire David, Douglas Davis, Javier M. Duarte, Martin Erdmann, Jonas Eschle, Amir Farbin, Matthew Feickert, Nuno Filipe Castro, Conor Fitzpatrick, Michele Floris, Alessandra Forti, Jordi Garra-Tico, Jochen Gemmler, Maria Girone, Paul Glaysher, Sergei Gleyzer, Vladimir V. Gligorov, Tobias Golling, Jonas Graw, Lindsey Gray, Dick Greenwood, Thomas Hacker, John Harvey, Benedikt Hegner, Lukas Heinrich, Ben Hooberman, Johannes Junggeburth, Michael Kagan, Meghan Kane, Konstantin Kanishchev, Przemyslaw Karpinski, Zahari Kassabov, Gaurav Kaul, Dorian Kcira, Thomas Keck, Alexei Klimentov, Jim Kowalkowski, Luke Kreczko, Alexander Kurepin, Rob Kutschke, Valentin Kuznetsov, Nicolas Köhler, Igor Lakomov, Kevin Lannon, Mario Lassnig, Antonio Limosani, Gilles Louppe, Aashrita Mangu, Pere Mato, Narain Meenakshi, Helge Meinhard, Dario Menasce, Lorenzo Moneta, Seth Moortgat, Mark S. Neubauer, Harvey B. Newman, Hans Pabst, Michela Paganini, Manfred Paulini, Gabriel N. Perdue, Uzziel Perez, Attilio Picazio, Jim Pivarski, Harrison Prosper, Fernanda Psihas, Alexander Radovic, Ryan Reece, Aurelius Rinkevicius, Eduardo Rodrigues, Jamal Rorie, David Rousseau, Aaron Sauers, Steven Schramm, Ariel Schwartzman, Horst Severini, Paul Seyfert, Filip Siroky, Konstantin Skazytkin, Mike Sokoloff, Graeme Andrew Stewart, Bob Stienen, Ian Stockdale, Giles Chatham Strong, Savannah Thais, Karen Tomko, Eli Upfal, Emanuele Usai, Andrey Ustyuzhanin, Martin Vala, Sofia Vallecorsa, Mauro Verzetti, Xavier Vilasís-Cardona, Jean-Roch Vlimant, Ilija Vukotic, Sean-Jiun Wang, Gordon Watts, Michael Williams, Wenjing Wu, Stefan Wunsch, Omar Zapata

CoRR, 2018

2017

An optimal time control problem for the one-dimensional, linear heat equation, in the presence of a scaling parameter.

Karim Benalia, Claire David, Brahim Oukacha

RAIRO Oper. Res., 2017

Deciding definability by deterministic regular expressions.

Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens

J. Comput. Syst. Sci., 2017

Control of the Black-Scholes equation.

Claire David

Comput. Math. Appl., 2017

Three Easy Pieces on Schema Mappings for Tree-structured Data.

Claire David, Filip Murlak

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Research Directions for Principles of Data Management (Abridged).

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

SIGMOD Rec., 2016

The ICDT 2016 Test of Time Award Announcement.

Foto N. Afrati, Claire David, Georg Gottlob

Proceedings of the 19th International Conference on Database Theory, 2016

2014

XML Schema Mappings: Data Exchange and Metadata Management.

Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak

J. ACM, 2014

Synthesizing transformations from XML schema mappings.

Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

Consistency of Injective Tree Patterns.

Claire David, Nadime Francis, Filip Murlak

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Containment of pattern-based queries over data trees.

Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Efficient reasoning about data trees via integer linear programming.

Claire David, Leonid Libkin, Tony Tan

ACM Trans. Database Syst., 2012

2011

Two-variable logic on data words.

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin

ACM Trans. Comput. Log., 2011

Spurious caustics of <i>dispersion-relation-preserving</i> schemes.

Claire David, Pierre Sagaut

Int. J. Comput. Math., 2011

A Direct Translation from XPath to Nondeterministic Automata.

Nadime Francis, Claire David, Leonid Libkin

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010

How do we remember the past in randomised strategies?

Julien Cristau, Claire David, Florian Horn

Proceedings of the Proceedings First Symposium on Games, 2010

Certain answers for XML queries.

Claire David, Leonid Libkin, Filip Murlak

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On the Satisfiability of Two-Variable Logic over Data Words.

Claire David, Leonid Libkin, Tony Tan

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

On the tradeoff between mapping and querying power in XML data exchange.

Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak

Proceedings of the Database Theory, 2010

2008

Complexity of Data Tree Patterns over XML Documents.

Claire David

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2006

Two-variable logic on data trees and XML reasoning.

Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Two-Variable Logic on Words with Data.

Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006