default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaire David
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j15]Claire David
, Nadime Francis, Victor Marsault:
Distinct Shortest Walk Enumeration for RPQs. Proc. ACM Manag. Data 2(2): 100 (2024)- 2021
- [j14]Nizare Riane, Claire David:
The finite volume method on Sierpiński Simplices. Commun. Nonlinear Sci. Numer. Simul. 92: 105468 (2021) - [j13]Nizare Riane, Claire David:
Optimization on fractal sets. Optim. Lett. 15(8): 2681-2700 (2021) - 2020
- [j12]Nizare Riane, Claire David:
Sierpiński Gasket versus Arrowhead curve. Commun. Nonlinear Sci. Numer. Simul. 89: 105311 (2020) - 2019
- [j11]Nizare Riane, Claire David:
The finite difference method for the heat equation on Sierpiński simplices. Int. J. Comput. Math. 96(7): 1477-1501 (2019) - 2018
- [j10]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): 1-29 (2018) - [j9]Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys:
Reasoning about integrity constraints for tree-structured data. Theory Comput. Syst. 62(4): 941-976 (2018) - 2017
- [j8]Claire David:
Control of the Black-Scholes equation. Comput. Math. Appl. 73(7): 1566-1575 (2017) - [j7]Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens:
Deciding definability by deterministic regular expressions. J. Comput. Syst. Sci. 88: 75-89 (2017) - [j6]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): 1289-1299 (2017) - 2016
- [j5]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): 5-17 (2016) - 2014
- [j4]Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak:
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61(2): 12:1-12:48 (2014) - 2012
- [j3]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37(3): 19:1-19:28 (2012) - 2011
- [j2]Claire David, Pierre Sagaut:
Spurious caustics of dispersion-relation-preserving schemes. Int. J. Comput. Math. 88(12): 2625-2636 (2011) - [j1]Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27:1-27:26 (2011)
Conference and Workshop Papers
- 2023
- [c17]Claire David, Nadime Francis, Victor Marsault:
Run-Based Semantics for RPQs. KR 2023: 178-187 - 2017
- [c16]Claire David, Filip Murlak:
Three Easy Pieces on Schema Mappings for Tree-structured Data. AMW 2017 - 2016
- [c15]Foto N. Afrati, Claire David, Georg Gottlob:
The ICDT 2016 Test of Time Award Announcement. ICDT 2016: 1:1-1:2 - [c14]Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys:
Reasoning About Integrity Constraints for Tree-Structured Data. ICDT 2016: 20:1-20:18 - 2014
- [c13]Claire David, Nadime Francis, Filip Murlak:
Consistency of Injective Tree Patterns. FSTTCS 2014: 279-290 - [c12]Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk:
Synthesizing transformations from XML schema mappings. ICDT 2014: 61-71 - 2013
- [c11]Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens:
Deciding Definability by Deterministic Regular Expressions. FoSSaCS 2013: 289-304 - [c10]Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens:
Containment of pattern-based queries over data trees. ICDT 2013: 201-212 - 2011
- [c9]Nadime Francis, Claire David, Leonid Libkin:
A Direct Translation from XPath to Nondeterministic Automata. AMW 2011 - [c8]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29 - 2010
- [c7]Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak:
On the tradeoff between mapping and querying power in XML data exchange. ICDT 2010: 155-164 - [c6]Claire David, Leonid Libkin, Tony Tan:
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262 - [c5]Claire David, Leonid Libkin, Filip Murlak:
Certain answers for XML queries. PODS 2010: 191-202 - [c4]Julien Cristau, Claire David, Florian Horn:
How do we remember the past in randomised strategies? GANDALF 2010: 30-39 - 2008
- [c3]Claire David:
Complexity of Data Tree Patterns over XML Documents. MFCS 2008: 278-289 - 2006
- [c2]Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David:
Two-Variable Logic on Words with Data. LICS 2006: 7-16 - [c1]Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin:
Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19
Informal and Other Publications
- 2023
- [i5]Claire David, Nadime Francis, Victor Marsault:
Distinct Shortest Walk Enumeration for RPQs. CoRR abs/2312.05505 (2023) - 2022
- [i4]Claire David, Victor Marsault, Nadime Francis:
Run-Based Semantics for RPQs. CoRR abs/2211.13313 (2022) - 2020
- [i3]Claire David, Pierre Sagaut:
Structural stability of Lattice Boltzmann schemes. CoRR abs/2006.08783 (2020) - 2018
- [i2]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:
Machine Learning in High Energy Physics Community White Paper. CoRR abs/1807.02876 (2018) - 2017
- [i1]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 abs/1701.09007 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
