Claire David

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 20

Top Topics

Schema Mappings

Structured Data

Regular Expressions

Data Management

Top Venues

Commun. Nonlinear Sci. Numer. Simul.

J. Comput. Syst. Sci.

Publications

Claire David, Nadime Francis, Victor Marsault
Distinct Shortest Walk Enumeration for RPQs. Proc. ACM Manag. Data 2 (2) (2024)
Claire David, Nadime Francis, Victor Marsault
Distinct Shortest Walk Enumeration for RPQs. CoRR (2023)
Claire David, Nadime Francis, Victor Marsault
Run-Based Semantics for RPQs. KR (2023)
Claire David, Victor Marsault, Nadime Francis
Run-Based Semantics for RPQs. CoRR (2022)
Nizare Riane, Claire David
The finite volume method on Sierpiński Simplices. Commun. Nonlinear Sci. Numer. Simul. 92 (2021)
Nizare Riane, Claire David
Optimization on fractal sets. Optim. Lett. 15 (8) (2021)
Claire David, Pierre Sagaut
Structural stability of Lattice Boltzmann schemes. CoRR (2020)
Nizare Riane, Claire David
Sierpiński Gasket versus Arrowhead curve. Commun. Nonlinear Sci. Numer. Simul. 89 (2020)
Nizare Riane, Claire David
The finite difference method for the heat equation on Sierpiński simplices. Int. J. Comput. Math. 96 (7) (2019)
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
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
Reasoning about integrity constraints for tree-structured data. Theory Comput. Syst. 62 (4) (2018)
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 Gligorov, Tobias Golling, Jonas Graw, Lindsey Gray, Dick Greenwood, Thomas Hacker, John Harvey, Benedikt Hegner, Lukas Alexander 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 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 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
Machine Learning in High Energy Physics Community White Paper. CoRR (2018)
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
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Claire David, Filip Murlak
Three Easy Pieces on Schema Mappings for Tree-structured Data. AMW (2017)
Claire David
Control of the Black-Scholes equation. Comput. Math. Appl. 73 (7) (2017)
Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens
Deciding definability by deterministic regular expressions. J. Comput. Syst. Sci. 88 (2017)
Karim Benalia, Claire David, Brahim Oukacha
An optimal time control problem for the one-dimensional, linear heat equation, in the presence of a scaling parameter. RAIRO Oper. Res. 51 (4) (2017)
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
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
Reasoning About Integrity Constraints for Tree-Structured Data. ICDT (2016)
Foto N. Afrati, Claire David, Georg Gottlob
The ICDT 2016 Test of Time Award Announcement. ICDT (2016)
Claire David, Nadime Francis, Filip Murlak
Consistency of Injective Tree Patterns. FSTTCS (2014)
Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk
Synthesizing transformations from XML schema mappings. ICDT (2014)
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61 (2) (2014)
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
Containment of pattern-based queries over data trees. ICDT (2013)
Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens
Deciding Definability by Deterministic Regular Expressions. FoSSaCS (2013)
Claire David, Leonid Libkin, Tony Tan
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37 (3) (2012)
Claire David, Pierre Sagaut
schemes. Int. J. Comput. Math. 88 (12) (2011)
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data words. ACM Trans. Comput. Log. 12 (4) (2011)
Nadime Francis, Claire David, Leonid Libkin
A Direct Translation from XPath to Nondeterministic Automata. AMW (2011)
Claire David, Leonid Libkin, Tony Tan
Efficient reasoning about data trees via integer linear programming. ICDT (2011)
Claire David, Leonid Libkin, Filip Murlak
Certain answers for XML queries. PODS (2010)
Claire David, Leonid Libkin, Tony Tan
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) (2010)
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
On the tradeoff between mapping and querying power in XML data exchange. ICDT (2010)
Julien Cristau, Claire David, Florian Horn
How do we remember the past in randomised strategies? GANDALF (2010)
Claire David
Complexity of Data Tree Patterns over XML Documents. MFCS (2008)
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
Two-Variable Logic on Words with Data. LICS (2006)
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data trees and XML reasoning. PODS (2006)