Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claire David
@inproceedings{DBLP:conf/kr/DavidFM23,
author = {Claire David and
Nadime Francis and
Victor Marsault},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Run-Based Semantics for RPQs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {178--187},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/18},
doi = {10.24963/KR.2023/18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DavidFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-05505,
author = {Claire David and
Nadime Francis and
Victor Marsault},
title = {Distinct Shortest Walk Enumeration for RPQs},
journal = {CoRR},
volume = {abs/2312.05505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.05505},
doi = {10.48550/ARXIV.2312.05505},
eprinttype = {arXiv},
eprint = {2312.05505},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-05505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-13313,
author = {Claire David and
Victor Marsault and
Nadime Francis},
title = {Run-Based Semantics for RPQs},
journal = {CoRR},
volume = {abs/2211.13313},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.13313},
doi = {10.48550/ARXIV.2211.13313},
eprinttype = {arXiv},
eprint = {2211.13313},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-13313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/RianeD21,
author = {Nizare Riane and
Claire David},
title = {The finite volume method on Sierpi{\'{n}}ski Simplices},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {92},
pages = {105468},
year = {2021},
url = {https://doi.org/10.1016/j.cnsns.2020.105468},
doi = {10.1016/J.CNSNS.2020.105468},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cnsns/RianeD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ol/RianeD21,
author = {Nizare Riane and
Claire David},
title = {Optimization on fractal sets},
journal = {Optim. Lett.},
volume = {15},
number = {8},
pages = {2681--2700},
year = {2021},
url = {https://doi.org/10.1007/s11590-020-01689-7},
doi = {10.1007/S11590-020-01689-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ol/RianeD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/RianeD20,
author = {Nizare Riane and
Claire David},
title = {Sierpi{\'{n}}ski Gasket versus Arrowhead curve},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {89},
pages = {105311},
year = {2020},
url = {https://doi.org/10.1016/j.cnsns.2020.105311},
doi = {10.1016/J.CNSNS.2020.105311},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cnsns/RianeD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08783,
author = {Claire David and
Pierre Sagaut},
title = {Structural stability of Lattice Boltzmann schemes},
journal = {CoRR},
volume = {abs/2006.08783},
year = {2020},
url = {https://arxiv.org/abs/2006.08783},
eprinttype = {arXiv},
eprint = {2006.08783},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/RianeD19,
author = {Nizare Riane and
Claire David},
title = {The finite difference method for the heat equation on Sierpi{\'{n}}ski
simplices},
journal = {Int. J. Comput. Math.},
volume = {96},
number = {7},
pages = {1477--1501},
year = {2019},
url = {https://doi.org/10.1080/00207160.2018.1517209},
doi = {10.1080/00207160.2018.1517209},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/RianeD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {Dagstuhl Manifestos},
volume = {7},
number = {1},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.4230/DagMan.7.1.1},
doi = {10.4230/DAGMAN.7.1.1},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/AbiteboulABBCD018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CzerwinskiDMP18,
author = {Wojciech Czerwinski and
Claire David and
Filip Murlak and
Pawel Parys},
title = {Reasoning about integrity constraints for tree-structured data},
journal = {Theory Comput. Syst.},
volume = {62},
number = {4},
pages = {941--976},
year = {2018},
url = {https://doi.org/10.1007/s00224-017-9771-z},
doi = {10.1007/S00224-017-9771-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CzerwinskiDMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02876,
author = {Kim Albertsson and
Piero Altoe and
Dustin Anderson and
Michael Andrews and
Juan Pedro Araque Espinosa and
Adam Aurisano and
Laurent Basara and
Adrian Bevan and
Wahid Bhimji and
Daniele Bonacorsi and
Paolo Calafiura and
Mario Campanelli and
Louis Capps and
Federico Carminati and
Stefano Carrazza and
Taylor Childers and
Elias Coniavitis and
Kyle Cranmer and
Claire David and
Douglas Davis and
Javier M. Duarte and
Martin Erdmann and
Jonas Eschle and
Amir Farbin and
Matthew Feickert and
Nuno Filipe Castro and
Conor Fitzpatrick and
Michele Floris and
Alessandra Forti and
Jordi Garra{-}Tico and
Jochen Gemmler and
Maria Girone and
Paul Glaysher and
Sergei Gleyzer and
Vladimir V. Gligorov and
Tobias Golling and
Jonas Graw and
Lindsey Gray and
Dick Greenwood and
Thomas Hacker and
John Harvey and
Benedikt Hegner and
Lukas Heinrich and
Ben Hooberman and
Johannes Junggeburth and
Michael Kagan and
Meghan Kane and
Konstantin Kanishchev and
Przemyslaw Karpinski and
Zahari Kassabov and
Gaurav Kaul and
Dorian Kcira and
Thomas Keck and
Alexei Klimentov and
Jim Kowalkowski and
Luke Kreczko and
Alexander Kurepin and
Rob Kutschke and
Valentin Kuznetsov and
Nicolas K{\"{o}}hler and
Igor Lakomov and
Kevin Lannon and
Mario Lassnig and
Antonio Limosani and
Gilles Louppe and
Aashrita Mangu and
Pere Mato and
Narain Meenakshi and
Helge Meinhard and
Dario Menasce and
Lorenzo Moneta and
Seth Moortgat and
Mark S. Neubauer and
Harvey B. Newman and
Hans Pabst and
Michela Paganini and
Manfred Paulini and
Gabriel N. Perdue and
Uzziel Perez and
Attilio Picazio and
Jim Pivarski and
Harrison Prosper and
Fernanda Psihas and
Alexander Radovic and
Ryan Reece and
Aurelius Rinkevicius and
Eduardo Rodrigues and
Jamal Rorie and
David Rousseau and
Aaron Sauers and
Steven Schramm and
Ariel Schwartzman and
Horst Severini and
Paul Seyfert and
Filip Siroky and
Konstantin Skazytkin and
Mike Sokoloff and
Graeme Andrew Stewart and
Bob Stienen and
Ian Stockdale and
Giles Chatham Strong and
Savannah Thais and
Karen Tomko and
Eli Upfal and
Emanuele Usai and
Andrey Ustyuzhanin and
Martin Vala and
Sofia Vallecorsa and
Mauro Verzetti and
Xavier Vilas{\'{\i}}s{-}Cardona and
Jean{-}Roch Vlimant and
Ilija Vukotic and
Sean{-}Jiun Wang and
Gordon Watts and
Michael Williams and
Wenjing Wu and
Stefan Wunsch and
Omar Zapata},
title = {Machine Learning in High Energy Physics Community White Paper},
journal = {CoRR},
volume = {abs/1807.02876},
year = {2018},
url = {http://arxiv.org/abs/1807.02876},
eprinttype = {arXiv},
eprint = {1807.02876},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/David17,
author = {Claire David},
title = {Control of the Black-Scholes equation},
journal = {Comput. Math. Appl.},
volume = {73},
number = {7},
pages = {1566--1575},
year = {2017},
url = {https://doi.org/10.1016/j.camwa.2017.02.007},
doi = {10.1016/J.CAMWA.2017.02.007},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cma/David17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CzerwinskiDLM17,
author = {Wojciech Czerwinski and
Claire David and
Katja Losemann and
Wim Martens},
title = {Deciding definability by deterministic regular expressions},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {75--89},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.011},
doi = {10.1016/J.JCSS.2017.03.011},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CzerwinskiDLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/BenaliaDO17,
author = {Karim Benalia and
Claire David and
Brahim Oukacha},
title = {An optimal time control problem for the one-dimensional, linear heat
equation, in the presence of a scaling parameter},
journal = {{RAIRO} Oper. Res.},
volume = {51},
number = {4},
pages = {1289--1299},
year = {2017},
url = {https://doi.org/10.1051/ro/2017006},
doi = {10.1051/RO/2017006},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/BenaliaDO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/DavidM17,
author = {Claire David and
Filip Murlak},
editor = {Juan L. Reutter and
Divesh Srivastava},
title = {Three Easy Pieces on Schema Mappings for Tree-structured Data},
booktitle = {Proceedings of the 11th Alberto Mendelzon International Workshop on
Foundations of Data Management and the Web, Montevideo, Uruguay, June
7-9, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1912},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1912/paper28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/DavidM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbiteboulABBCDH17,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Dagstuhl Perspectives
Workshop 16151)},
journal = {CoRR},
volume = {abs/1701.09007},
year = {2017},
url = {http://arxiv.org/abs/1701.09007},
eprinttype = {arXiv},
eprint = {1701.09007},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbiteboulABBCDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulABBCDH16,
author = {Serge Abiteboul and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Meghyn Bienvenu and
Diego Calvanese and
Claire David and
Richard Hull and
Eyke H{\"{u}}llermeier and
Benny Kimelfeld and
Leonid Libkin and
Wim Martens and
Tova Milo and
Filip Murlak and
Frank Neven and
Magdalena Ortiz and
Thomas Schwentick and
Julia Stoyanovich and
Jianwen Su and
Dan Suciu and
Victor Vianu and
Ke Yi},
title = {Research Directions for Principles of Data Management (Abridged)},
journal = {{SIGMOD} Rec.},
volume = {45},
number = {4},
pages = {5--17},
year = {2016},
url = {https://doi.org/10.1145/3092931.3092933},
doi = {10.1145/3092931.3092933},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulABBCDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AfratiDG16,
author = {Foto N. Afrati and
Claire David and
Georg Gottlob},
editor = {Wim Martens and
Thomas Zeume},
title = {The {ICDT} 2016 Test of Time Award Announcement},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {1:1--1:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.1},
doi = {10.4230/LIPICS.ICDT.2016.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/AfratiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CzerwinskiDMP16,
author = {Wojciech Czerwinski and
Claire David and
Filip Murlak and
Pawel Parys},
editor = {Wim Martens and
Thomas Zeume},
title = {Reasoning About Integrity Constraints for Tree-Structured Data},
booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
France, March 15-18, 2016},
series = {LIPIcs},
volume = {48},
pages = {20:1--20:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2016.20},
doi = {10.4230/LIPICS.ICDT.2016.20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/CzerwinskiDMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AmanoDLM14,
author = {Shun'ichi Amano and
Claire David and
Leonid Libkin and
Filip Murlak},
title = {{XML} Schema Mappings: Data Exchange and Metadata Management},
journal = {J. {ACM}},
volume = {61},
number = {2},
pages = {12:1--12:48},
year = {2014},
url = {https://doi.org/10.1145/2590773},
doi = {10.1145/2590773},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AmanoDLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DavidFM14,
author = {Claire David and
Nadime Francis and
Filip Murlak},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Consistency of Injective Tree Patterns},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {279--290},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.279},
doi = {10.4230/LIPICS.FSTTCS.2014.279},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DavidFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DavidHMP14,
author = {Claire David and
Piotr Hofman and
Filip Murlak and
Michal Pilipczuk},
editor = {Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Synthesizing transformations from {XML} schema mappings},
booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
Greece, March 24-28, 2014},
pages = {61--71},
publisher = {OpenProceedings.org},
year = {2014},
url = {https://doi.org/10.5441/002/icdt.2014.10},
doi = {10.5441/002/ICDT.2014.10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/DavidHMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CzerwinskiDLM13,
author = {Wojciech Czerwinski and
Claire David and
Katja Losemann and
Wim Martens},
editor = {Frank Pfenning},
title = {Deciding Definability by Deterministic Regular Expressions},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {289--304},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_19},
doi = {10.1007/978-3-642-37075-5\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CzerwinskiDLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DavidGLM13,
author = {Claire David and
Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Wim Martens},
editor = {Wang{-}Chiew Tan and
Giovanna Guerrini and
Barbara Catania and
Anastasios Gounaris},
title = {Containment of pattern-based queries over data trees},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {201--212},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2448496.2448521},
doi = {10.1145/2448496.2448521},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/DavidGLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/DavidLT12,
author = {Claire David and
Leonid Libkin and
Tony Tan},
title = {Efficient reasoning about data trees via integer linear programming},
journal = {{ACM} Trans. Database Syst.},
volume = {37},
number = {3},
pages = {19:1--19:28},
year = {2012},
url = {https://doi.org/10.1145/2338626.2338632},
doi = {10.1145/2338626.2338632},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/DavidLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/DavidS11,
author = {Claire David and
Pierre Sagaut},
title = {Spurious caustics of \emph{dispersion-relation-preserving} schemes},
journal = {Int. J. Comput. Math.},
volume = {88},
number = {12},
pages = {2625--2636},
year = {2011},
url = {https://doi.org/10.1080/00207160.2011.554538},
doi = {10.1080/00207160.2011.554538},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/DavidS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BojanczykDMSS11,
author = {Mikolaj Bojanczyk and
Claire David and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
title = {Two-variable logic on data words},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {27:1--27:26},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970403},
doi = {10.1145/1970398.1970403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BojanczykDMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/FrancisDL11,
author = {Nadime Francis and
Claire David and
Leonid Libkin},
editor = {Pablo Barcel{\'{o}} and
Val Tannen},
title = {A Direct Translation from XPath to Nondeterministic Automata},
booktitle = {Proceedings of the 5th Alberto Mendelzon International Workshop on
Foundations of Data Management, Santiago, Chile, May 9-12, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {749},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-749/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/FrancisDL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DavidLT11,
author = {Claire David and
Leonid Libkin and
Tony Tan},
editor = {Tova Milo},
title = {Efficient reasoning about data trees via integer linear programming},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {18--29},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938558},
doi = {10.1145/1938551.1938558},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/DavidLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/AmanoDLM10,
author = {Shun'ichi Amano and
Claire David and
Leonid Libkin and
Filip Murlak},
editor = {Luc Segoufin},
title = {On the tradeoff between mapping and querying power in {XML} data exchange},
booktitle = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
Switzerland, March 23-25, 2010, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {155--164},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1804669.1804689},
doi = {10.1145/1804669.1804689},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/AmanoDLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DavidLT10,
author = {Claire David and
Leonid Libkin and
Tony Tan},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {On the Satisfiability of Two-Variable Logic over Data Words},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {248--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_18},
doi = {10.1007/978-3-642-16242-8\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DavidLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DavidLM10,
author = {Claire David and
Leonid Libkin and
Filip Murlak},
editor = {Jan Paredaens and
Dirk Van Gucht},
title = {Certain answers for {XML} queries},
booktitle = {Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis,
Indiana, {USA}},
pages = {191--202},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807085.1807112},
doi = {10.1145/1807085.1807112},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/DavidLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1404,
author = {Julien Cristau and
Claire David and
Florian Horn},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {How do we remember the past in randomised strategies?},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {30--39},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.7},
doi = {10.4204/EPTCS.25.7},
timestamp = {Sun, 05 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/David08,
author = {Claire David},
editor = {Edward Ochmanski and
Jerzy Tyszkiewicz},
title = {Complexity of Data Tree Patterns over {XML} Documents},
booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International
Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5162},
pages = {278--289},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85238-4\_22},
doi = {10.1007/978-3-540-85238-4\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/David08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykMSSD06,
author = {Mikolaj Bojanczyk and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin and
Claire David},
title = {Two-Variable Logic on Words with Data},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.51},
doi = {10.1109/LICS.2006.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BojanczykMSSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BojanczykDMSS06,
author = {Mikolaj Bojanczyk and
Claire David and
Anca Muscholl and
Thomas Schwentick and
Luc Segoufin},
editor = {Stijn Vansummeren},
title = {Two-variable logic on data trees and {XML} reasoning},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {10--19},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142354},
doi = {10.1145/1142351.1142354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BojanczykDMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:10 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:
