Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leonid Libkin
@article{DBLP:journals/tplp/GheerbrantLRS24,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Alexandra Rogova and
Cristina Sirangelo},
title = {Querying Incomplete Data: Complexity and Tractability via Datalog
and First-Order Rewritings},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {2},
pages = {279--309},
year = {2024},
url = {https://doi.org/10.1017/s1471068423000364},
doi = {10.1017/S1471068423000364},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GheerbrantLRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmmod/AnglesBD0GHLLMM23,
author = {Renzo Angles and
Angela Bonifati and
Stefania Dumbrava and
George Fletcher and
Alastair Green and
Jan Hidders and
Bei Li and
Leonid Libkin and
Victor Marsault and
Wim Martens and
Filip Murlak and
Stefan Plantikow and
Ognjen Savkovic and
Michael Schmidt and
Juan Sequeda and
Slawek Staworko and
Dominik Tomaszuk and
Hannes Voigt and
Domagoj Vrgoc and
Mingxi Wu and
Dusan Zivkovic},
title = {PG-Schema: Schemas for Property Graphs},
journal = {Proc. {ACM} Manag. Data},
volume = {1},
number = {2},
pages = {198:1--198:25},
year = {2023},
url = {https://doi.org/10.1145/3589778},
doi = {10.1145/3589778},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmmod/AnglesBD0GHLLMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Libkin23,
author = {Leonid Libkin},
title = {Technical Perspective: Query Answers - Fewer is Faster},
journal = {{SIGMOD} Rec.},
volume = {52},
number = {1},
pages = {63},
year = {2023},
url = {https://doi.org/10.1145/3604437.3604451},
doi = {10.1145/3604437.3604451},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/Libkin23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FrancisGGLMMMPR23,
author = {Nadime Francis and
Am{\'{e}}lie Gheerbrant and
Paolo Guagliardo and
Leonid Libkin and
Victor Marsault and
Wim Martens and
Filip Murlak and
Liat Peterfreund and
Alexandra Rogova and
Domagoj Vrgoc},
editor = {Floris Geerts and
Brecht Vandevoort},
title = {A Researcher's Digest of {GQL} (Invited Talk)},
booktitle = {26th International Conference on Database Theory, {ICDT} 2023, March
28-31, 2023, Ioannina, Greece},
series = {LIPIcs},
volume = {255},
pages = {1:1--1:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2023.1},
doi = {10.4230/LIPICS.ICDT.2023.1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FrancisGGLMMMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinP23,
author = {Leonid Libkin and
Liat Peterfreund},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {{SQL} Nulls and Two-Valued Logic},
booktitle = {Proceedings of the 42nd {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {11--20},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588661},
doi = {10.1145/3584372.3588661},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/LibkinP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FrancisGGLMMMPR23,
author = {Nadime Francis and
Am{\'{e}}lie Gheerbrant and
Paolo Guagliardo and
Leonid Libkin and
Victor Marsault and
Wim Martens and
Filip Murlak and
Liat Peterfreund and
Alexandra Rogova and
Domagoj Vrgoc},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {{GPC:} {A} Pattern Calculus for Property Graphs},
booktitle = {Proceedings of the 42nd {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {241--250},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588662},
doi = {10.1145/3584372.3588662},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/FrancisGGLMMMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ConsoleLP23,
author = {Marco Console and
Leonid Libkin and
Liat Peterfreund},
editor = {Floris Geerts and
Hung Q. Ngo and
Stavros Sintos},
title = {Querying Incomplete Numerical Data: Between Certain and Possibile
Answers},
booktitle = {Proceedings of the 42nd {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2023, Seattle, WA, USA, June 18-23, 2023},
pages = {349--358},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3584372.3588660},
doi = {10.1145/3584372.3588660},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/ConsoleLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04350,
author = {G{\'{a}}bor Sz{\'{a}}rnyas and
Brad Bebee and
Altan Birler and
Alin Deutsch and
George Fletcher and
Henry A. Gabb and
Denise Gosnell and
Alastair Green and
Zhihui Guo and
Keith W. Hare and
Jan Hidders and
Alexandru Iosup and
Atanas Kiryakov and
Tomas Kovatchev and
Xinsheng Li and
Leonid Libkin and
Heng Lin and
Xiaojian Luo and
Arnau Prat{-}P{\'{e}}rez and
David P{\"{u}}roja and
Shipeng Qi and
Oskar van Rest and
Benjamin A. Steer and
D{\'{a}}vid Szak{\'{a}}llas and
Bing Tong and
Jack Waudby and
Mingxi Wu and
Bin Yang and
Wenyuan Yu and
Chen Zhang and
Jason Zhang and
Yan Zhou and
Peter A. Boncz},
title = {The Linked Data Benchmark Council {(LDBC):} Driving competition and
collaboration in the graph data management space},
journal = {CoRR},
volume = {abs/2307.04350},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04350},
doi = {10.48550/ARXIV.2307.04350},
eprinttype = {arXiv},
eprint = {2307.04350},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12694,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Alexandra Rogova and
Cristina Sirangelo},
title = {Querying Incomplete Data : Complexity and Tractability via Datalog
and First-Order Rewritings},
journal = {CoRR},
volume = {abs/2310.12694},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12694},
doi = {10.48550/ARXIV.2310.12694},
eprinttype = {arXiv},
eprint = {2310.12694},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ConsoleGL22,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
title = {Propositional and predicate logics of incomplete information},
journal = {Artif. Intell.},
volume = {302},
pages = {103603},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103603},
doi = {10.1016/J.ARTINT.2021.103603},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ConsoleGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ConsoleGL22,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
title = {Fragments of bag relational algebra: Expressiveness and certain answers},
journal = {Inf. Syst.},
volume = {105},
pages = {101604},
year = {2022},
url = {https://doi.org/10.1016/j.is.2020.101604},
doi = {10.1016/J.IS.2020.101604},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/ConsoleGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ToussaintGLS22,
author = {Etienne Toussaint and
Paolo Guagliardo and
Leonid Libkin and
Juan Sequeda},
title = {Troubles with Nulls, Views from the Users},
journal = {Proc. {VLDB} Endow.},
volume = {15},
number = {11},
pages = {2613--2625},
year = {2022},
url = {https://www.vldb.org/pvldb/vol15/p2613-guagliardo.pdf},
doi = {10.14778/3551793.3551818},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/ToussaintGLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/GheerbrantLRS22,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Alexandra Rogova and
Cristina Sirangelo},
editor = {Mario Alviano and
Andreas Pieris},
title = {Certain Answers of Extensions of Conjunctive Queries by Datalog and
First-Order Rewriting},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {14--26},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/GheerbrantLRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DeutschFGHLLLMM22,
author = {Alin Deutsch and
Nadime Francis and
Alastair Green and
Keith Hare and
Bei Li and
Leonid Libkin and
Tobias Lindaaker and
Victor Marsault and
Wim Martens and
Jan Michels and
Filip Murlak and
Stefan Plantikow and
Petra Selmer and
Oskar van Rest and
Hannes Voigt and
Domagoj Vrgoc and
Mingxi Wu and
Fred Zemke},
editor = {Zachary G. Ives and
Angela Bonifati and
Amr El Abbadi},
title = {Graph Pattern Matching in {GQL} and {SQL/PGQ}},
booktitle = {{SIGMOD} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
pages = {2246--2258},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3514221.3526057},
doi = {10.1145/3514221.3526057},
timestamp = {Thu, 16 Mar 2023 09:51:25 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/DeutschFGHLLLMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2022,
editor = {Leonid Libkin and
Pablo Barcel{\'{o}}},
title = {{PODS} '22: International Conference on Management of Data, Philadelphia,
PA, USA, June 12 - 17, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3517804},
doi = {10.1145/3517804},
isbn = {978-1-4503-9260-0},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-15395,
author = {Marco Console and
Leonid Libkin and
Liat Peterfreund},
title = {Querying Incomplete Numerical Data: Between Certain and Possible Answers},
journal = {CoRR},
volume = {abs/2210.15395},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.15395},
doi = {10.48550/ARXIV.2210.15395},
eprinttype = {arXiv},
eprint = {2210.15395},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-15395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-16580,
author = {Nadime Francis and
Am{\'{e}}lie Gheerbrant and
Paolo Guagliardo and
Leonid Libkin and
Victor Marsault and
Wim Martens and
Filip Murlak and
Liat Peterfreund and
Alexandra Rogova and
Domagoj Vrgoc},
title = {{GPC:} {A} Pattern Calculus for Property Graphs},
journal = {CoRR},
volume = {abs/2210.16580},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.16580},
doi = {10.48550/ARXIV.2210.16580},
eprinttype = {arXiv},
eprint = {2210.16580},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-16580.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-10962,
author = {Renzo Angles and
Angela Bonifati and
Stefania Dumbrava and
George Fletcher and
Alastair Green and
Jan Hidders and
Bei Li and
Leonid Libkin and
Victor Marsault and
Wim Martens and
Filip Murlak and
Stefan Plantikow and
Ognjen Savkovic and
Michael Schmidt and
Juan Sequeda and
Slawek Staworko and
Dominik Tomaszuk and
Hannes Voigt and
Domagoj Vrgoc and
Mingxi Wu and
Dusan Zivkovic},
title = {PG-Schema: Schemas for Property Graphs},
journal = {CoRR},
volume = {abs/2211.10962},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.10962},
doi = {10.48550/ARXIV.2211.10962},
eprinttype = {arXiv},
eprint = {2211.10962},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbd/KoehlerABCMKFKL21,
author = {Martin Koehler and
Edward Abel and
Alex Bogatu and
Cristina Civili and
Lacramioara Mazilu and
Nikolaos Konstantinou and
Alvaro A. A. Fernandes and
John A. Keane and
Leonid Libkin and
Norman W. Paton},
title = {Incorporating Data Context to Cost-Effectively Automate End-to-End
Data Wrangling},
journal = {{IEEE} Trans. Big Data},
volume = {7},
number = {1},
pages = {169--186},
year = {2021},
url = {https://doi.org/10.1109/TBDATA.2019.2907588},
doi = {10.1109/TBDATA.2019.2907588},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbd/KoehlerABCMKFKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AnglesBDFHHLLLM21,
author = {Renzo Angles and
Angela Bonifati and
Stefania Dumbrava and
George Fletcher and
Keith W. Hare and
Jan Hidders and
Victor E. Lee and
Bei Li and
Leonid Libkin and
Wim Martens and
Filip Murlak and
Josh Perryman and
Ognjen Savkovic and
Michael Schmidt and
Juan F. Sequeda and
Slawek Staworko and
Dominik Tomaszuk},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {PG-Keys: Keys for Property Graphs},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {2423--2436},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3457561},
doi = {10.1145/3448016.3457561},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/AnglesBDFHHLLLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2021,
editor = {Leonid Libkin and
Reinhard Pichler and
Paolo Guagliardo},
title = {PODS'21: Proceedings of the 40th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium
on Principles of Database Systems, Virtual Event, China, June 20-25,
2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452021},
doi = {10.1145/3452021},
isbn = {978-1-4503-8381-3},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06217,
author = {Alin Deutsch and
Nadime Francis and
Alastair Green and
Keith Hare and
Bei Li and
Leonid Libkin and
Tobias Lindaaker and
Victor Marsault and
Wim Martens and
Jan Michels and
Filip Murlak and
Stefan Plantikow and
Petra Selmer and
Hannes Voigt and
Oskar van Rest and
Domagoj Vrgoc and
Mingxi Wu and
Fred Zemke},
title = {Graph Pattern Matching in {GQL} and {SQL/PGQ}},
journal = {CoRR},
volume = {abs/2112.06217},
year = {2021},
url = {https://arxiv.org/abs/2112.06217},
eprinttype = {arXiv},
eprint = {2112.06217},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ConsoleHL20,
author = {Marco Console and
Matthias F. J. Hofer and
Leonid Libkin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Reasoning about Measures of Unmeasurable Sets},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {264--273},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/27},
doi = {10.24963/KR.2020/27},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ConsoleHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ToussaintGL20,
author = {Etienne Toussaint and
Paolo Guagliardo and
Leonid Libkin},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Knowledge-Preserving Certain Answers for SQL-like Queries},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {758--767},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/78},
doi = {10.24963/KR.2020/78},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ToussaintGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ConsoleGLT20,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin and
Etienne Toussaint},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {Coping with Incomplete Data: Recent Advances},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {33--47},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387970},
doi = {10.1145/3375395.3387970},
timestamp = {Thu, 29 Sep 2022 08:01:46 +0200},
biburl = {https://dblp.org/rec/conf/pods/ConsoleGLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ConsoleHL20,
author = {Marco Console and
Matthias F. J. Hofer and
Leonid Libkin},
editor = {Dan Suciu and
Yufei Tao and
Zhewei Wei},
title = {Queries with Arithmetic on Incomplete Databases},
booktitle = {Proceedings of the 39th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2020, Portland, OR, USA, June 14-19, 2020},
pages = {179--189},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3375395.3387666},
doi = {10.1145/3375395.3387666},
timestamp = {Mon, 07 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ConsoleHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13198,
author = {Leonid Libkin and
Liat Peterfreund},
title = {Handling {SQL} Nulls with Two-Valued Logic},
journal = {CoRR},
volume = {abs/2012.13198},
year = {2020},
url = {https://arxiv.org/abs/2012.13198},
eprinttype = {arXiv},
eprint = {2012.13198},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GuagliardoL19,
author = {Paolo Guagliardo and
Leonid Libkin},
title = {On the Codd semantics of {SQL} nulls},
journal = {Inf. Syst.},
volume = {86},
pages = {46--60},
year = {2019},
url = {https://doi.org/10.1016/j.is.2018.08.001},
doi = {10.1016/J.IS.2018.08.001},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/GuagliardoL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GreenGLLMPSSV19,
author = {Alastair Green and
Paolo Guagliardo and
Leonid Libkin and
Tobias Lindaaker and
Victor Marsault and
Stefan Plantikow and
Martin Schuster and
Petra Selmer and
Hannes Voigt},
title = {Updating Graph Databases with Cypher},
journal = {Proc. {VLDB} Endow.},
volume = {12},
number = {12},
pages = {2242--2253},
year = {2019},
url = {http://www.vldb.org/pvldb/vol12/p2242-green.pdf},
doi = {10.14778/3352063.3352139},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/GreenGLLMPSSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Libkin19,
author = {Leonid Libkin},
title = {Research Highlights: Bridging Theory and Practice with Query Log Analysis},
journal = {{SIGMOD} Rec.},
volume = {48},
number = {1},
pages = {5},
year = {2019},
url = {https://doi.org/10.1145/3371316.3371318},
doi = {10.1145/3371316.3371318},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Libkin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ConsoleGL19,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {Fragments of Bag Relational Algebra: Expressiveness and Certain Answers},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {8:1--8:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.8},
doi = {10.4230/LIPICS.ICDT.2019.8},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/ConsoleGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ConsoleHL19,
author = {Marco Console and
Matthias F. J. Hofer and
Leonid Libkin},
editor = {Sarit Kraus},
title = {Measuring the Likelihood of Numerical Constraints},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1654--1660},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/229},
doi = {10.24963/IJCAI.2019/229},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ConsoleHL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ConsoleGL19,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
editor = {Sarit Kraus},
title = {Do We Need Many-valued Logics for Incomplete Information?},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6141--6145},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/851},
doi = {10.24963/IJCAI.2019/851},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ConsoleGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/bdt/ArenasBL19,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
editor = {Sherif Sakr and
Albert Y. Zomaya},
title = {Graph Path Navigation},
booktitle = {Encyclopedia of Big Data Technologies},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-63962-8\_214-1},
doi = {10.1007/978-3-319-63962-8\_214-1},
timestamp = {Thu, 14 Feb 2019 16:03:55 +0100},
biburl = {https://dblp.org/rec/reference/bdt/ArenasBL19.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/tods/LibkinRSV18,
author = {Leonid Libkin and
Juan L. Reutter and
Adri{\'{a}}n Soto and
Domagoj Vrgoc},
title = {TriAL: {A} Navigational Algebra for {RDF} Triplestores},
journal = {{ACM} Trans. Database Syst.},
volume = {43},
number = {1},
pages = {5:1--5:46},
year = {2018},
url = {https://doi.org/10.1145/3154385},
doi = {10.1145/3154385},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/LibkinRSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalauttiLP18,
author = {Marco Calautti and
Leonid Libkin and
Andreas Pieris},
editor = {Dan Olteanu and
Barbara Poblete},
title = {An Operational Approach to Consistent Query Answering},
booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2100/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalauttiLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/GuagliardoL18,
author = {Paolo Guagliardo and
Leonid Libkin},
editor = {Dan Olteanu and
Barbara Poblete},
title = {How Standard is the {SQL} Standard?},
booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2100/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amw/GuagliardoL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AmendolaL18,
author = {Giovanni Amendola and
Leonid Libkin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Explainable Certain Answers},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1683--1690},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/233},
doi = {10.24963/IJCAI.2018/233},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AmendolaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CiviliL18,
author = {Cristina Civili and
Leonid Libkin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Approximating Certainty in Querying Data and Metadata},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {582--591},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18014},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/CiviliL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ConsoleGL18,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Propositional and Predicate Logics of Incomplete Information},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {592--601},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18068},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ConsoleGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Libkin18,
author = {Leonid Libkin},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {Certain Answers Meet Zero-One Laws},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {195--207},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196983},
doi = {10.1145/3196959.3196983},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/Libkin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalauttiLP18,
author = {Marco Calautti and
Leonid Libkin and
Andreas Pieris},
editor = {Jan Van den Bussche and
Marcelo Arenas},
title = {An Operational Approach to Consistent Query Answering},
booktitle = {Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, Houston, TX, USA, June 10-15, 2018},
pages = {239--251},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196959.3196966},
doi = {10.1145/3196959.3196966},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalauttiLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FrancisGGLLMPRS18,
author = {Nadime Francis and
Alastair Green and
Paolo Guagliardo and
Leonid Libkin and
Tobias Lindaaker and
Victor Marsault and
Stefan Plantikow and
Mats Rydberg and
Petra Selmer and
Andr{\'{e}}s Taylor},
editor = {Gautam Das and
Christopher M. Jermaine and
Philip A. Bernstein},
title = {Cypher: An Evolving Query Language for Property Graphs},
booktitle = {Proceedings of the 2018 International Conference on Management of
Data, {SIGMOD} Conference 2018, Houston, TX, USA, June 10-15, 2018},
pages = {1433--1445},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183713.3190657},
doi = {10.1145/3183713.3190657},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/FrancisGGLLMPRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Libkin18,
author = {Leonid Libkin},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Expressive Power of Query Languages},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1239},
doi = {10.1007/978-1-4614-8265-9\_1239},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/Libkin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09984,
author = {Nadime Francis and
Alastair Green and
Paolo Guagliardo and
Leonid Libkin and
Tobias Lindaaker and
Victor Marsault and
Stefan Plantikow and
Mats Rydberg and
Martin Schuster and
Petra Selmer and
Andr{\'{e}}s Taylor},
title = {Formal Semantics of the Language Cypher},
journal = {CoRR},
volume = {abs/1802.09984},
year = {2018},
url = {http://arxiv.org/abs/1802.09984},
eprinttype = {arXiv},
eprint = {1802.09984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-09248,
author = {Martin Koehler and
Alex Bogatu and
Cristina Civili and
Nikolaos Konstantinou and
Edward Abel and
Alvaro A. A. Fernandes and
John A. Keane and
Leonid Libkin and
Norman W. Paton},
title = {Data Context Informed Data Wrangling},
journal = {CoRR},
volume = {abs/1811.09248},
year = {2018},
url = {http://arxiv.org/abs/1811.09248},
eprinttype = {arXiv},
eprint = {1811.09248},
timestamp = {Sun, 02 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-09248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Libkin17,
author = {Leonid Libkin},
title = {Technical Perspective: Data distribution for fast joins},
journal = {Commun. {ACM}},
volume = {60},
number = {3},
pages = {92},
year = {2017},
url = {https://doi.org/10.1145/3041061},
doi = {10.1145/3041061},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Libkin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinKQ17,
author = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {20th workshop on logic, language, information and computation - WoLLIC
2013},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.009},
doi = {10.1016/J.JCSS.2017.05.009},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LibkinKQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GuagliardoL17,
author = {Paolo Guagliardo and
Leonid Libkin},
title = {A Formal Semantics of {SQL} Queries, Its Validation, and Applications},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {1},
pages = {27--39},
year = {2017},
url = {http://www.vldb.org/pvldb/vol11/p27-guagliardo.pdf},
doi = {10.14778/3151113.3151116},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/GuagliardoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/GuagliardoL17,
author = {Paolo Guagliardo and
Leonid Libkin},
title = {Correctness of {SQL} Queries on Databases with Nulls},
journal = {{SIGMOD} Rec.},
volume = {46},
number = {3},
pages = {5--16},
year = {2017},
url = {https://doi.org/10.1145/3156655.3156657},
doi = {10.1145/3156655.3156657},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/GuagliardoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/GuagliardoL17,
author = {Paolo Guagliardo and
Leonid Libkin},
editor = {Juan L. Reutter and
Divesh Srivastava},
title = {On the Codd Semantics of {SQL} Nulls},
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/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/GuagliardoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/KoehlerBC0AFKLP17,
author = {Martin Koehler and
Alex Bogatu and
Cristina Civili and
Nikolaos Konstantinou and
Edward Abel and
Alvaro A. A. Fernandes and
John A. Keane and
Leonid Libkin and
Norman W. Paton},
editor = {Jian{-}Yun Nie and
Zoran Obradovic and
Toyotaro Suzumura and
Rumi Ghosh and
Raghunath Nambiar and
Chonggang Wang and
Hui Zang and
Ricardo Baeza{-}Yates and
Xiaohua Hu and
Jeremy Kepner and
Alfredo Cuzzocrea and
Jian Tang and
Masashi Toyoda},
title = {Data context informed data wrangling},
booktitle = {2017 {IEEE} International Conference on Big Data {(IEEE} BigData 2017),
Boston, MA, USA, December 11-14, 2017},
pages = {956--963},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/BigData.2017.8258015},
doi = {10.1109/BIGDATA.2017.8258015},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/KoehlerBC0AFKLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ConsoleGL17,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
editor = {Carles Sierra},
title = {On Querying Incomplete Information in Databases under Bag Semantics},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {993--999},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/138},
doi = {10.24963/IJCAI.2017/138},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ConsoleGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinV17,
author = {Leonid Libkin and
Moshe Y. Vardi},
editor = {Emanuel Sallinger and
Jan Van den Bussche and
Floris Geerts},
title = {2017 {ACM} {PODS} Alberto O. Mendelzon Test-of-Time Award},
booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {91},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3034786.3056122},
doi = {10.1145/3034786.3056122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LibkinV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FrancisL17,
author = {Nadime Francis and
Leonid Libkin},
editor = {Emanuel Sallinger and
Jan Van den Bussche and
Floris Geerts},
title = {Schema Mappings for Data Graphs},
booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {389--401},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3034786.3056113},
doi = {10.1145/3034786.3056113},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/FrancisL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/KonstantinouKAC17,
author = {Nikolaos Konstantinou and
Martin Koehler and
Edward Abel and
Cristina Civili and
Bernd Neumayr and
Emanuel Sallinger and
Alvaro A. A. Fernandes and
Georg Gottlob and
John A. Keane and
Leonid Libkin and
Norman W. Paton},
editor = {Semih Salihoglu and
Wenchao Zhou and
Rada Chirkova and
Jun Yang and
Dan Suciu},
title = {The {VADA} Architecture for Cost-Effective Data Wrangling},
booktitle = {Proceedings of the 2017 {ACM} International Conference on Management
of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {1599--1602},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3035918.3058730},
doi = {10.1145/3035918.3058730},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/KonstantinouKAC17.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/ai/Libkin16,
author = {Leonid Libkin},
title = {Certain answers as objects and knowledge},
journal = {Artif. Intell.},
volume = {232},
pages = {1--19},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2015.11.004},
doi = {10.1016/J.ARTINT.2015.11.004},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Libkin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarceloL16,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin},
title = {Order-Invariant Types and Their Applications},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(1:9)2016},
doi = {10.2168/LMCS-12(1:9)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarceloL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LibkinMV16,
author = {Leonid Libkin and
Wim Martens and
Domagoj Vrgoc},
title = {Querying Graphs with Data},
journal = {J. {ACM}},
volume = {63},
number = {2},
pages = {14:1--14:53},
year = {2016},
url = {https://doi.org/10.1145/2850413},
doi = {10.1145/2850413},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/LibkinMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Libkin16,
author = {Leonid Libkin},
title = {Technical Perspective: Data Distribution for Fast Joins},
journal = {{SIGMOD} Rec.},
volume = {45},
number = {1},
pages = {32},
year = {2016},
url = {https://doi.org/10.1145/2949741.2949749},
doi = {10.1145/2949741.2949749},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Libkin16.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}
}
@article{DBLP:journals/tods/Libkin16,
author = {Leonid Libkin},
title = {SQL's Three-Valued Logic and Certain Answers},
journal = {{ACM} Trans. Database Syst.},
volume = {41},
number = {1},
pages = {1:1--1:28},
year = {2016},
url = {https://doi.org/10.1145/2877206},
doi = {10.1145/2877206},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/Libkin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/FurcheGLOP16,
author = {Tim Furche and
Georg Gottlob and
Leonid Libkin and
Giorgio Orsi and
Norman W. Paton},
editor = {Evaggelia Pitoura and
Sofian Maabout and
Georgia Koutrika and
Am{\'{e}}lie Marian and
Letizia Tanca and
Ioana Manolescu and
Kostas Stefanidis},
title = {Data Wrangling for Big Data: Challenges and Opportunities},
booktitle = {Proceedings of the 19th International Conference on Extending Database
Technology, {EDBT} 2016, Bordeaux, France, March 15-16, 2016, Bordeaux,
France, March 15-16, 2016},
pages = {473--478},
publisher = {OpenProceedings.org},
year = {2016},
url = {https://doi.org/10.5441/002/edbt.2016.44},
doi = {10.5441/002/EDBT.2016.44},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/FurcheGLOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ConsoleGL16,
author = {Marco Console and
Paolo Guagliardo and
Leonid Libkin},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Approximations and Refinements of Certain Answers via Many-Valued
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {349--358},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12813},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/ConsoleGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GuagliardoL16,
author = {Paolo Guagliardo and
Leonid Libkin},
editor = {Tova Milo and
Wang{-}Chiew Tan},
title = {Making {SQL} Queries Correct on Incomplete Databases: {A} Feasibility
Study},
booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
- July 01, 2016},
pages = {211--223},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2902251.2902297},
doi = {10.1145/2902251.2902297},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GuagliardoL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Libkin16,
author = {Leonid Libkin},
editor = {Magdalena Ortiz and
Stefan Schlobach},
title = {Negative Knowledge for Certain Query Answers},
booktitle = {Web Reasoning and Rule Systems - 10th International Conference, {RR}
2016, Aberdeen, UK, September 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9898},
pages = {111--127},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45276-0\_9},
doi = {10.1007/978-3-319-45276-0\_9},
timestamp = {Mon, 29 Aug 2022 09:33:27 +0200},
biburl = {https://dblp.org/rec/conf/rr/Libkin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinTV15,
author = {Leonid Libkin and
Tony Tan and
Domagoj Vrgoc},
title = {Regular expressions for data words},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {7},
pages = {1278--1297},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.03.005},
doi = {10.1016/J.JCSS.2015.03.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LibkinTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FigueiraL15,
author = {Diego Figueira and
Leonid Libkin},
title = {Synchronizing Relations on Words},
journal = {Theory Comput. Syst.},
volume = {57},
number = {2},
pages = {287--318},
year = {2015},
url = {https://doi.org/10.1007/s00224-014-9584-2},
doi = {10.1007/S00224-014-9584-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/FigueiraL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GheerbrantL15,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin},
title = {Certain Answers over Incomplete {XML} Documents: Extending Tractability
Boundary},
journal = {Theory Comput. Syst.},
volume = {57},
number = {4},
pages = {892--926},
year = {2015},
url = {https://doi.org/10.1007/s00224-014-9596-y},
doi = {10.1007/S00224-014-9596-Y},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GheerbrantL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Libkin15,
author = {Leonid Libkin},
editor = {Marcelo Arenas and
Mart{\'{\i}}n Ugarte},
title = {SQL's Three-Valued Logic and Certain Answers},
booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
23-27, 2015, Brussels, Belgium},
series = {LIPIcs},
volume = {31},
pages = {94--109},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.94},
doi = {10.4230/LIPICS.ICDT.2015.94},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/Libkin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Libkin15,
author = {Leonid Libkin},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {How to Define Certain Answers},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4282--4288},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/609},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Libkin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FigueiraL15,
author = {Diego Figueira and
Leonid Libkin},
title = {Path Logics for Querying Graphs: Combining Expressiveness and Efficiency},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {329--340},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.39},
doi = {10.1109/LICS.2015.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FigueiraL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/Libkin15,
author = {Leonid Libkin},
editor = {Domenico Lembo and
Riccardo Torlone and
Andrea Marrella},
title = {SQL's Handling of Nulls: Can It Be Fixed?},
booktitle = {23rd Italian Symposium on Advanced Database Systems, {SEBD} 2015,
Gaeta, Italy, June 14-17, 2015},
pages = {7--10},
publisher = {Curran Associates, Inc.},
year = {2015},
timestamp = {Mon, 18 Jan 2016 13:34:08 +0100},
biburl = {https://dblp.org/rec/conf/sebd/Libkin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/ArenasBLM2014,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin and
Filip Murlak},
title = {Foundations of Data Exchange},
publisher = {Cambridge University Press},
year = {2014},
url = {http://www.cambridge.org/9781107016163},
isbn = {9781107016163},
timestamp = {Fri, 21 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/cu/ArenasBLM2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BarceloLR14,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Juan L. Reutter},
title = {Querying Regular Graph Patterns},
journal = {J. {ACM}},
volume = {61},
number = {1},
pages = {8:1--8:54},
year = {2014},
url = {https://doi.org/10.1145/2559905},
doi = {10.1145/2559905},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BarceloLR14.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}
}
@article{DBLP:journals/siamcomp/BarceloL014,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Miguel Romero},
title = {Efficient Approximations of Conjunctive Queries},
journal = {{SIAM} J. Comput.},
volume = {43},
number = {3},
pages = {1085--1130},
year = {2014},
url = {https://doi.org/10.1137/130911731},
doi = {10.1137/130911731},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/BarceloL014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/GheerbrantLS14,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Cristina Sirangelo},
title = {Na{\"{\i}}ve Evaluation of Queries over Incomplete Databases},
journal = {{ACM} Trans. Database Syst.},
volume = {39},
number = {4},
pages = {31:1--31:42},
year = {2014},
url = {https://doi.org/10.1145/2691190.2691194},
doi = {10.1145/2691190.2691194},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/GheerbrantLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FigueiraL14,
author = {Diego Figueira and
Leonid Libkin},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Pattern logics and auxiliary relations},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {40:1--40:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603136},
doi = {10.1145/2603088.2603136},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FigueiraL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Libkin14,
author = {Leonid Libkin},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Certain Answers as Objects and Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7893},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/Libkin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Libkin14,
author = {Leonid Libkin},
editor = {Richard Hull and
Martin Grohe},
title = {Incomplete data: what went wrong, and how to fix it},
booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
2014},
pages = {1--13},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594538.2594561},
doi = {10.1145/2594538.2594561},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Libkin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FanGL14,
author = {Wenfei Fan and
Floris Geerts and
Leonid Libkin},
editor = {Richard Hull and
Martin Grohe},
title = {On scale independence for querying big data},
booktitle = {Proceedings of the 33rd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27,
2014},
pages = {51--62},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594538.2594551},
doi = {10.1145/2594538.2594551},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/FanGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FigueiraL14,
author = {Diego Figueira and
Leonid Libkin},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {Synchronizing Relations on Words},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {518--529},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.518},
doi = {10.4230/LIPICS.STACS.2014.518},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/FigueiraL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4150,
author = {Pablo Barcel{\'{o}} and
Diego Figueira and
Leonid Libkin},
title = {Graph Logics with Rational Relations},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:1)2013},
doi = {10.2168/LMCS-9(3:1)2013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArenasBFL13,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Ronald Fagin and
Leonid Libkin},
title = {Solutions and query rewriting in data exchange},
journal = {Inf. Comput.},
volume = {228},
pages = {28--61},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.06.002},
doi = {10.1016/J.IC.2013.06.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArenasBFL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DengFLW13,
author = {Ting Deng and
Wenfei Fan and
Leonid Libkin and
Yinghui Wu},
title = {On the aggregation problem for synthesized Web services},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {6},
pages = {873--891},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2013.01.007},
doi = {10.1016/J.JCSS.2013.01.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DengFLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarceloRL13,
author = {Pablo Barcel{\'{o}} and
Juan L. Reutter and
Leonid Libkin},
title = {Parameterized regular expressions and their languages},
journal = {Theor. Comput. Sci.},
volume = {474},
pages = {21--45},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.12.036},
doi = {10.1016/J.TCS.2012.12.036},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BarceloRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GheerbrantLR13,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Juan L. Reutter},
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {Static Analysis and Query Answering for Incomplete Data Trees with
Constraints},
booktitle = {In Search of Elegance in the Theory and Practice of Computation -
Essays Dedicated to Peter Buneman},
series = {Lecture Notes in Computer Science},
volume = {8000},
pages = {273--290},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6\_15},
doi = {10.1007/978-3-642-41660-6\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GheerbrantLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LibkinTV13,
author = {Leonid Libkin and
Tony Tan and
Domagoj Vrgoc},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Regular Expressions with Binding over Data Words for Querying Graph
Databases},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {325--337},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_29},
doi = {10.1007/978-3-642-38771-5\_29},
timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LibkinTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LibkinMV13,
author = {Leonid Libkin and
Wim Martens and
Domagoj Vrgoc},
editor = {Wang{-}Chiew Tan and
Giovanna Guerrini and
Barbara Catania and
Anastasios Gounaris},
title = {Querying graph databases with XPath},
booktitle = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
Italy, March 18-22, 2013},
pages = {129--140},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2448496.2448513},
doi = {10.1145/2448496.2448513},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/LibkinMV13.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}
}
@inproceedings{DBLP:conf/pods/GheerbrantLS13,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Cristina Sirangelo},
editor = {Richard Hull and
Wenfei Fan},
title = {When is naive evaluation possible?},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {75--86},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2463674},
doi = {10.1145/2463664.2463674},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/GheerbrantLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinRV13,
author = {Leonid Libkin and
Juan L. Reutter and
Domagoj Vrgoc},
editor = {Richard Hull and
Wenfei Fan},
title = {Trial for {RDF:} adapting graph query languages for {RDF} data},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {201--212},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465226},
doi = {10.1145/2463664.2465226},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/LibkinRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/GheerbrantLS13,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Cristina Sirangelo},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Reasoning About Pattern-Based {XML} Queries},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {4--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_2},
doi = {10.1007/978-3-642-39666-3\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/GheerbrantLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013buneman,
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {In Search of Elegance in the Theory and Practice of Computation -
Essays Dedicated to Peter Buneman},
series = {Lecture Notes in Computer Science},
volume = {8000},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6},
doi = {10.1007/978-3-642-41660-6},
isbn = {978-3-642-41659-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2013buneman.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2013,
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3},
doi = {10.1007/978-3-642-39992-3},
isbn = {978-3-642-39991-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChirkovaLR12,
author = {Rada Chirkova and
Leonid Libkin and
Juan L. Reutter},
title = {Tractable {XML} data exchange via relations},
journal = {Frontiers Comput. Sci.},
volume = {6},
number = {3},
pages = {243--263},
year = {2012},
url = {https://doi.org/10.1007/s11704-012-2023-0},
doi = {10.1007/S11704-012-2023-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/ChirkovaLR12.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/tods/BarceloLLW12,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Anthony Widjaja Lin and
Peter T. Wood},
title = {Expressive Languages for Path Queries over Graph-Structured Data},
journal = {{ACM} Trans. Database Syst.},
volume = {37},
number = {4},
pages = {31:1--31:46},
year = {2012},
url = {https://doi.org/10.1145/2389241.2389250},
doi = {10.1145/2389241.2389250},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/BarceloLLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BarceloLR12,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Miguel Romero},
editor = {Juliana Freire and
Dan Suciu},
title = {On Low Treewidth Approximations of Conjunctive Queries},
booktitle = {Proceedings of the 6th Alberto Mendelzon International Workshop on
Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {866},
pages = {91--101},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-866/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/BarceloLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LibkinV12,
author = {Leonid Libkin and
Domagoj Vrgoc},
editor = {Alin Deutsch},
title = {Regular path queries on graphs with data},
booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
Germany, March 26-29, 2012},
pages = {74--85},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2274576.2274585},
doi = {10.1145/2274576.2274585},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/LibkinV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GheerbrantLT12,
author = {Am{\'{e}}lie Gheerbrant and
Leonid Libkin and
Tony Tan},
editor = {Alin Deutsch},
title = {On the complexity of query answering over incomplete {XML} documents},
booktitle = {15th International Conference on Database Theory, {ICDT} '12, Berlin,
Germany, March 26-29, 2012},
pages = {169--181},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2274576.2274595},
doi = {10.1145/2274576.2274595},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GheerbrantLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarceloFL12,
author = {Pablo Barcel{\'{o}} and
Diego Figueira and
Leonid Libkin},
title = {Graph Logics with Rational Relations and the Generalized Intersection
Problem},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.23},
doi = {10.1109/LICS.2012.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BarceloFL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LibkinV12,
author = {Leonid Libkin and
Domagoj Vrgoc},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Regular Expressions for Data Words},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {274--288},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_22},
doi = {10.1007/978-3-642-28717-6\_22},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LibkinV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BarceloLR12,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Miguel Romero},
editor = {Michael Benedikt and
Markus Kr{\"{o}}tzsch and
Maurizio Lenzerini},
title = {Efficient approximations of conjunctive queries},
booktitle = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
May 20-24, 2012},
pages = {249--260},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213556.2213591},
doi = {10.1145/2213556.2213591},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BarceloLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinS11,
author = {Leonid Libkin and
Cristina Sirangelo},
title = {Data exchange and schema mappings in open and closed worlds},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {3},
pages = {542--571},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.04.010},
doi = {10.1016/J.JCSS.2010.04.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LibkinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ArenasBL11,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
title = {Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization},
journal = {Theory Comput. Syst.},
volume = {49},
number = {3},
pages = {639--670},
year = {2011},
url = {https://doi.org/10.1007/s00224-010-9292-5},
doi = {10.1007/S00224-010-9292-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ArenasBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/HernichLS11,
author = {Andr{\'{e}} Hernich and
Leonid Libkin and
Nicole Schweikardt},
title = {Closed world data exchange},
journal = {{ACM} Trans. Database Syst.},
volume = {36},
number = {2},
pages = {14:1--14:40},
year = {2011},
url = {https://doi.org/10.1145/1966385.1966392},
doi = {10.1145/1966385.1966392},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/HernichLS11.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/cikm/ChirkovaLR11,
author = {Rada Chirkova and
Leonid Libkin and
Juan L. Reutter},
editor = {Craig Macdonald and
Iadh Ounis and
Ian Ruthven},
title = {Tractable {XML} data exchange via relations},
booktitle = {Proceedings of the 20th {ACM} Conference on Information and Knowledge
Management, {CIKM} 2011, Glasgow, United Kingdom, October 24-28, 2011},
pages = {1629--1638},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063576.2063813},
doi = {10.1145/2063576.2063813},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ChirkovaLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BarceloLR11,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Juan L. Reutter},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Parameterized Regular Expressions and Their Languages},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {351--362},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.351},
doi = {10.4230/LIPICS.FSTTCS.2011.351},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BarceloLR11.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/pods/Libkin11,
author = {Leonid Libkin},
editor = {Maurizio Lenzerini and
Thomas Schwentick},
title = {Incomplete information and certain answers in general data models},
booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
Greece},
pages = {59--70},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989284.1989294},
doi = {10.1145/1989284.1989294},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/Libkin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BarceloLR11,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Juan L. Reutter},
editor = {Maurizio Lenzerini and
Thomas Schwentick},
title = {Querying graph patterns},
booktitle = {Proceedings of the 30th {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2011, June 12-16, 2011, Athens,
Greece},
pages = {199--210},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989284.1989307},
doi = {10.1145/1989284.1989307},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BarceloLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0577,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Juan L. Reutter},
title = {Parameterized Regular Expressions and their Languages},
journal = {CoRR},
volume = {abs/1107.0577},
year = {2011},
url = {http://arxiv.org/abs/1107.0577},
eprinttype = {arXiv},
eprint = {1107.0577},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2010Arenas,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin and
Filip Murlak},
title = {Relational and {XML} Data Exchange},
series = {Synthesis Lectures on Data Management},
publisher = {Morgan {\&} Claypool Publishers},
year = {2010},
url = {https://doi.org/10.2200/S00297ED1V01Y201008DTM008},
doi = {10.2200/S00297ED1V01Y201008DTM008},
isbn = {978-3-031-00712-5},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2010Arenas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LibkinS10,
author = {Leonid Libkin and
Cristina Sirangelo},
title = {Disjoint pattern matching and implication in strings},
journal = {Inf. Process. Lett.},
volume = {110},
number = {4},
pages = {143--147},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2009.11.009},
doi = {10.1016/J.IPL.2009.11.009},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LibkinS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BarceloLPS10,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Antonella Poggi and
Cristina Sirangelo},
title = {{XML} with incomplete information},
journal = {J. {ACM}},
volume = {58},
number = {1},
pages = {4:1--4:62},
year = {2010},
url = {https://doi.org/10.1145/1870103.1870107},
doi = {10.1145/1870103.1870107},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BarceloLPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/LibkinS10,
author = {Leonid Libkin and
Cristina Sirangelo},
title = {Reasoning about {XML} with temporal logics and automata},
journal = {J. Appl. Log.},
volume = {8},
number = {2},
pages = {210--232},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.09.005},
doi = {10.1016/J.JAL.2009.09.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/LibkinS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/KolahiL10,
author = {Solmaz Kolahi and
Leonid Libkin},
title = {An information-theoretic analysis of worst-case redundancy in database
design},
journal = {{ACM} Trans. Database Syst.},
volume = {35},
number = {1},
pages = {5:1--5:32},
year = {2010},
url = {https://doi.org/10.1145/1670243.1670248},
doi = {10.1145/1670243.1670248},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/KolahiL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BarceloLR10,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Juan L. Reutter},
editor = {Alberto H. F. Laender and
Laks V. S. Lakshmanan},
title = {On Incomplete {XML} Documents with Integrity Constraints},
booktitle = {Proceedings of the 4th Alberto Mendelzon International Workshop on
Foundations of Data Management, Buenos Aires, Argentina, May 17-20,
2010},
series = {{CEUR} Workshop Proceedings},
volume = {619},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-619/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/BarceloLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ToL10,
author = {Anthony Widjaja To and
Leonid Libkin},
editor = {C.{-}H. Luke Ong},
title = {Algorithmic Metatheorems for Decidable {LTL} Model Checking over Infinite
Systems},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {221--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_16},
doi = {10.1007/978-3-642-12032-9\_16},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/ToL10.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/icdt/DengFLW10,
author = {Ting Deng and
Wenfei Fan and
Leonid Libkin and
Yinghui Wu},
editor = {Luc Segoufin},
title = {On the aggregation problem for synthesized web services},
booktitle = {Database Theory - {ICDT} 2010, 13th International Conference, Lausanne,
Switzerland, March 23-25, 2010, Proceedings},
series = {{ACM} International Conference Proceeding Series},
pages = {242--251},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1804669.1804700},
doi = {10.1145/1804669.1804700},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/DengFLW10.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/BarceloHLW10,
author = {Pablo Barcel{\'{o}} and
Carlos A. Hurtado and
Leonid Libkin and
Peter T. Wood},
editor = {Jan Paredaens and
Dirk Van Gucht},
title = {Expressive languages for path queries over graph-structured data},
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 = {3--14},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807085.1807089},
doi = {10.1145/1807085.1807089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BarceloHLW10.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}
}
@article{DBLP:journals/jacm/LibkinV09,
author = {Leonid Libkin and
Victor Vianu},
title = {Introduction to {PODS} 2007 special section},
journal = {J. {ACM}},
volume = {56},
number = {6},
pages = {29:1},
year = {2009},
url = {https://doi.org/10.1145/1568318.1568319},
doi = {10.1145/1568318.1568319},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LibkinV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Libkin09,
author = {Leonid Libkin and
Cristina Sirangelo},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Open and Closed World Assumptions in Data Exchange},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/invited\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Libkin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AmanoLM09,
author = {Shun'ichi Amano and
Leonid Libkin and
Filip Murlak},
editor = {Jan Paredaens and
Jianwen Su},
title = {{XML} schema mappings},
booktitle = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
2009, Providence, Rhode Island, {USA}},
pages = {33--42},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1559795.1559801},
doi = {10.1145/1559795.1559801},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/AmanoLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Libkin09,
author = {Leonid Libkin},
editor = {Jan Paredaens and
Jianwen Su},
title = {The finite model theory toolbox of a database theoretician},
booktitle = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
2009, Providence, Rhode Island, {USA}},
pages = {65--76},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1559795.1559807},
doi = {10.1145/1559795.1559807},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/Libkin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BarceloLPS09,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin and
Antonella Poggi and
Cristina Sirangelo},
editor = {Jan Paredaens and
Jianwen Su},
title = {{XML} with incomplete information: models, properties, and query answering},
booktitle = {Proceedings of the Twenty-Eigth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2009, June 19 - July 1,
2009, Providence, Rhode Island, {USA}},
pages = {237--246},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1559795.1559832},
doi = {10.1145/1559795.1559832},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BarceloLPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Libkin09,
author = {Leonid Libkin},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Expressive Power of Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {1081--1083},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1239},
doi = {10.1007/978-0-387-39940-9\_1239},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/db/Libkin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-4932,
author = {Anthony Widjaja To and
Leonid Libkin},
title = {Algorithmic metatheorems for decidable {LTL} model checking over infinite
systems},
journal = {CoRR},
volume = {abs/0910.4932},
year = {2009},
url = {http://arxiv.org/abs/0910.4932},
eprinttype = {arXiv},
eprint = {0910.4932},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-4932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArenasBL08,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
title = {Game-based notions of locality over finite models},
journal = {Ann. Pure Appl. Log.},
volume = {152},
number = {1-3},
pages = {3--30},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.11.012},
doi = {10.1016/J.APAL.2007.11.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArenasBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ArenasL08,
author = {Marcelo Arenas and
Leonid Libkin},
title = {{XML} data exchange: Consistency and query answering},
journal = {J. {ACM}},
volume = {55},
number = {2},
pages = {7:1--7:72},
year = {2008},
url = {https://doi.org/10.1145/1346330.1346332},
doi = {10.1145/1346330.1346332},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/ArenasL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlurABEIL08,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:11)2008},
doi = {10.2168/LMCS-4(4:11)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlurABEIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ArenasFL08,
author = {Marcelo Arenas and
Wenfei Fan and
Leonid Libkin},
title = {On the Complexity of Verifying Consistency of {XML} Specifications},
journal = {{SIAM} J. Comput.},
volume = {38},
number = {3},
pages = {841--880},
year = {2008},
url = {https://doi.org/10.1137/050646895},
doi = {10.1137/050646895},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ArenasFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/Libkin08,
author = {Leonid Libkin},
title = {Introduction to the {PODS} 2007 special section},
journal = {{ACM} Trans. Database Syst.},
volume = {33},
number = {4},
pages = {24:1},
year = {2008},
url = {https://doi.org/10.1145/1412331.1412336},
doi = {10.1145/1412331.1412336},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/Libkin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LibkinS08,
author = {Leonid Libkin and
Cristina Sirangelo},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Reasoning about {XML} with Temporal Logics and Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {97--112},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_7},
doi = {10.1007/978-3-540-89439-1\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LibkinS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ToL08,
author = {Anthony Widjaja To and
Leonid Libkin},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Recurrent Reachability Analysis in Regular Model Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {198--213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_15},
doi = {10.1007/978-3-540-89439-1\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ToL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinS08,
author = {Leonid Libkin and
Cristina Sirangelo},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {Data exchange and schema mappings in open and closed worlds},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {139--148},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376937},
doi = {10.1145/1376916.1376937},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/LibkinS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-0537,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
journal = {CoRR},
volume = {abs/0811.0537},
year = {2008},
url = {http://arxiv.org/abs/0811.0537},
eprinttype = {arXiv},
eprint = {0811.0537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-0537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/GradelKLMSVVW07,
author = {Erich Gr{\"{a}}del and
Phokion G. Kolaitis and
Leonid Libkin and
Maarten Marx and
Joel Spencer and
Moshe Y. Vardi and
Yde Venema and
Scott Weinstein},
title = {Finite Model Theory and Its Applications},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/3-540-68804-8},
doi = {10.1007/3-540-68804-8},
isbn = {978-3-540-00428-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/GradelKLMSVVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EiterL07,
author = {Thomas Eiter and
Leonid Libkin},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {371},
number = {3},
pages = {147},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.11.004},
doi = {10.1016/J.TCS.2006.11.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EiterL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenediktLN07,
author = {Michael Benedikt and
Leonid Libkin and
Frank Neven},
title = {Logical definability and query languages over ranked and unranked
trees},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {2},
pages = {11},
year = {2007},
url = {https://doi.org/10.1145/1227839.1227843},
doi = {10.1145/1227839.1227843},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenediktLN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ArenasBL07,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {888--900},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_76},
doi = {10.1007/978-3-540-73420-8\_76},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ArenasBL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ArenasBL07,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
editor = {Thomas Schwentick and
Dan Suciu},
title = {Combining Temporal Logics for Querying {XML} Documents},
booktitle = {Database Theory - {ICDT} 2007, 11th International Conference, Barcelona,
Spain, January 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4353},
pages = {359--373},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11965893\_25},
doi = {10.1007/11965893\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/ArenasBL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurABEIL07,
author = {Rajeev Alur and
Marcelo Arenas and
Pablo Barcel{\'{o}} and
Kousha Etessami and
Neil Immerman and
Leonid Libkin},
title = {First-Order and Temporal Logics for Nested Words},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.19},
doi = {10.1109/LICS.2007.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurABEIL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KolahiL07,
author = {Solmaz Kolahi and
Leonid Libkin},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {{XML} design for relational storage},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {1083--1092},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242718},
doi = {10.1145/1242572.1242718},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/KolahiL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsym/Libkin07,
author = {Leonid Libkin},
editor = {Denilson Barbosa and
Angela Bonifati and
Zohra Bellahsene and
Ela Hunt and
Rainer Unland},
title = {Normalization Theory for {XML}},
booktitle = {Database and XMLTechnologies, 5th International {XML} Database Symposium,
XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4704},
pages = {1--13},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75288-2\_1},
doi = {10.1007/978-3-540-75288-2\_1},
timestamp = {Fri, 13 Jan 2023 16:47:12 +0100},
biburl = {https://dblp.org/rec/conf/xsym/Libkin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2007,
editor = {Leonid Libkin},
title = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
publisher = {{ACM}},
year = {2007},
url = {http://dl.acm.org/citation.cfm?id=1265530},
isbn = {978-1-59593-685-1},
timestamp = {Wed, 23 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Libkin06,
author = {Leonid Libkin},
title = {Embedded Finite Models},
journal = {Bull. {EATCS}},
volume = {90},
pages = {134--149},
year = {2006},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Libkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Libkin06,
author = {Leonid Libkin},
title = {Logics for Unranked Trees: An Overview},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {3},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(3:2)2006},
doi = {10.2168/LMCS-2(3:2)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Libkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/EiterL06,
author = {Thomas Eiter and
Leonid Libkin},
title = {Introduction to special {ICDT} section},
journal = {{ACM} Trans. Database Syst.},
volume = {31},
number = {3},
pages = {769},
year = {2006},
url = {https://doi.org/10.1145/1166074.1166075},
doi = {10.1145/1166074.1166075},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/EiterL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Libkin06,
author = {Leonid Libkin},
editor = {Stijn Vansummeren},
title = {Data exchange and incomplete information},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {60--69},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142360},
doi = {10.1145/1142351.1142360},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/Libkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KolahiL06,
author = {Solmaz Kolahi and
Leonid Libkin},
editor = {Stijn Vansummeren},
title = {On redundancy vs dependency preservation in normalization: an information-theoretic
study of 3NF},
booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois,
{USA}},
pages = {114--123},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142351.1142369},
doi = {10.1145/1142351.1142369},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/KolahiL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0606062,
author = {Leonid Libkin},
title = {Logics for Unranked Trees: An Overview},
journal = {CoRR},
volume = {abs/cs/0606062},
year = {2006},
url = {http://arxiv.org/abs/cs/0606062},
eprinttype = {arXiv},
eprint = {cs/0606062},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0606062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ArenasL05,
author = {Marcelo Arenas and
Leonid Libkin},
title = {An information-theoretic approach to normal forms for relational and
{XML} data},
journal = {J. {ACM}},
volume = {52},
number = {2},
pages = {246--283},
year = {2005},
url = {https://doi.org/10.1145/1059513.1059519},
doi = {10.1145/1059513.1059519},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/ArenasL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ArenasFL05,
author = {Marcelo Arenas and
Wenfei Fan and
Leonid Libkin},
editor = {Leopoldo E. Bertossi and
Anthony Hunter and
Torsten Schaub},
title = {Consistency of {XML} Specifications},
booktitle = {Inconsistency Tolerance [result from a Dagstuhl seminar]},
series = {Lecture Notes in Computer Science},
volume = {3300},
pages = {15--41},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30597-2\_2},
doi = {10.1007/978-3-540-30597-2\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ArenasFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Libkin05,
author = {Leonid Libkin},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Logics for Unranked Trees: An Overview},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {35--50},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_4},
doi = {10.1007/11523468\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Libkin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarceloL05,
author = {Pablo Barcel{\'{o}} and
Leonid Libkin},
title = {Temporal Logics over Unranked Trees},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.51},
doi = {10.1109/LICS.2005.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BarceloL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasL05,
author = {Marcelo Arenas and
Leonid Libkin},
editor = {Chen Li},
title = {{XML} data exchange: consistency and query answering},
booktitle = {Proceedings of the Twenty-fourth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland,
{USA}},
pages = {13--24},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065167.1065171},
doi = {10.1145/1065167.1065171},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ArenasL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Libkin06,
author = {Leonid Libkin},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Locality of Queries and Transformations},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {115--127},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.041},
doi = {10.1016/J.ENTCS.2005.04.041},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Libkin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2005,
editor = {Thomas Eiter and
Leonid Libkin},
title = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b104421},
doi = {10.1007/B104421},
isbn = {3-540-24288-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Libkin04,
author = {Leonid Libkin},
title = {Elements of Finite Model Theory},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2004},
url = {http://www.cs.toronto.edu/\%7Elibkin/fmt},
doi = {10.1007/978-3-662-07003-1},
isbn = {3-540-21202-7},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Libkin04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/ArenasL04,
author = {Marcelo Arenas and
Leonid Libkin},
title = {A normal form for {XML} documents},
journal = {{ACM} Trans. Database Syst.},
volume = {29},
pages = {195--232},
year = {2004},
url = {https://doi.org/10.1145/974750.974757},
doi = {10.1145/974750.974757},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/ArenasL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ArenasBL04,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Leonid Libkin},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Game-Based Notions of Locality Over Finite Models},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {175--189},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_16},
doi = {10.1007/978-3-540-30124-0\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ArenasBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BarbosaMLMA04,
author = {Denilson Barbosa and
Alberto O. Mendelzon and
Leonid Libkin and
Laurent Mignet and
Marcelo Arenas},
editor = {Z. Meral {\"{O}}zsoyoglu and
Stanley B. Zdonik},
title = {Efficient Incremental Validation of {XML} Documents},
booktitle = {Proceedings of the 20th International Conference on Data Engineering,
{ICDE} 2004, 30 March - 2 April 2004, Boston, MA, {USA}},
pages = {671--682},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDE.2004.1320036},
doi = {10.1109/ICDE.2004.1320036},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BarbosaMLMA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasBLF04,
author = {Marcelo Arenas and
Pablo Barcel{\'{o}} and
Ronald Fagin and
Leonid Libkin},
editor = {Catriel Beeri and
Alin Deutsch},
title = {Locally Consistent Transformations and Query Answering in Data Exchange},
booktitle = {Proceedings of the Twenty-third {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 14-16, 2004, Paris, France},
pages = {229--240},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1055558.1055592},
doi = {10.1145/1055558.1055592},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/ArenasBLF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DongLW03,
author = {Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
title = {Incremental recomputation in local languages},
journal = {Inf. Comput.},
volume = {181},
number = {2},
pages = {88--98},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00017-8},
doi = {10.1016/S0890-5401(03)00017-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DongLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Libkin03,
author = {Leonid Libkin},
title = {A collapse result for constraint queries over structures of small
degree},
journal = {Inf. Process. Lett.},
volume = {86},
number = {5},
pages = {277--281},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(02)00508-2},
doi = {10.1016/S0020-0190(02)00508-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Libkin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BenediktLSS03,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
title = {Definable relations and first-order query languages over strings},
journal = {J. {ACM}},
volume = {50},
number = {5},
pages = {694--751},
year = {2003},
url = {https://doi.org/10.1145/876638.876642},
doi = {10.1145/876638.876642},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BenediktLSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BenediktGLS03,
author = {Michael Benedikt and
Martin Grohe and
Leonid Libkin and
Luc Segoufin},
title = {Reachability and connectivity queries in constraint databases},
journal = {J. Comput. Syst. Sci.},
volume = {66},
number = {1},
pages = {169--206},
year = {2003},
url = {https://doi.org/10.1016/S0022-0000(02)00034-X},
doi = {10.1016/S0022-0000(02)00034-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BenediktGLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Libkin03,
author = {Leonid Libkin},
title = {Expressive power of {SQL}},
journal = {Theor. Comput. Sci.},
volume = {296},
number = {3},
pages = {379--404},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00736-3},
doi = {10.1016/S0304-3975(02)00736-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Libkin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Libkin03,
author = {Leonid Libkin},
title = {Variable independence for first-order definable constraints},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {4},
pages = {431--451},
year = {2003},
url = {https://doi.org/10.1145/937555.937557},
doi = {10.1145/937555.937557},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Libkin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LibkinN03,
author = {Leonid Libkin and
Frank Neven},
title = {Logical Definability and Query Languages over Unranked Trees},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {178--187},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210057},
doi = {10.1109/LICS.2003.1210057},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LibkinN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasL03,
author = {Marcelo Arenas and
Leonid Libkin},
editor = {Frank Neven and
Catriel Beeri and
Tova Milo},
title = {An information-theoretic approach to normal forms for relational and
{XML} data},
booktitle = {Proceedings of the Twenty-Second {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 9-12, 2003, San Diego, CA,
{USA}},
pages = {15--26},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/773153.773155},
doi = {10.1145/773153.773155},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ArenasL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FanL02,
author = {Wenfei Fan and
Leonid Libkin},
title = {On {XML} integrity constraints in the presence of DTDs},
journal = {J. {ACM}},
volume = {49},
number = {3},
pages = {368--406},
year = {2002},
url = {https://doi.org/10.1145/567112.567117},
doi = {10.1145/567112.567117},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/FanL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BenediktL02,
author = {Michael Benedikt and
Leonid Libkin},
title = {Aggregate Operators in Constraint Query Languages},
journal = {J. Comput. Syst. Sci.},
volume = {64},
number = {3},
pages = {628--654},
year = {2002},
url = {https://doi.org/10.1006/jcss.2001.1810},
doi = {10.1006/JCSS.2001.1810},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BenediktL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LibkinW02,
author = {Leonid Libkin and
Limsoon Wong},
title = {Lower bounds for invariant queries in logics with counting},
journal = {Theor. Comput. Sci.},
volume = {288},
number = {1},
pages = {153--180},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00152-9},
doi = {10.1016/S0304-3975(01)00152-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LibkinW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AbadiLP02,
author = {Mart{\'{\i}}n Abadi and
Leonid Libkin and
Frank Pfenning},
title = {Editorial},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {3},
pages = {335--335},
year = {2002},
url = {https://doi.org/10.1145/507382.507383},
doi = {10.1145/507382.507383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AbadiLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/ArenasFL02,
author = {Marcelo Arenas and
Wenfei Fan and
Leonid Libkin},
editor = {Abdelkader Hameurlain and
Rosine Cicchetti and
Roland Traunm{\"{u}}ller},
title = {What's Hard about {XML} Schema Constraints?},
booktitle = {Database and Expert Systems Applications, 13th International Conference,
{DEXA} 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2453},
pages = {269--278},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46146-9\_27},
doi = {10.1007/3-540-46146-9\_27},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/ArenasFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktL02,
author = {Michael Benedikt and
Leonid Libkin},
title = {Tree Extension Algebras: Logics, Automata, and Query Languages},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {203},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029829},
doi = {10.1109/LICS.2002.1029829},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasL02,
author = {Marcelo Arenas and
Leonid Libkin},
editor = {Lucian Popa and
Serge Abiteboul and
Phokion G. Kolaitis},
title = {A Normal Form for {XML} Documents},
booktitle = {Proceedings of the Twenty-first {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, Madison, Wisconsin, {USA}},
pages = {85--96},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/543613.543625},
doi = {10.1145/543613.543625},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ArenasL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ArenasFL02,
author = {Marcelo Arenas and
Wenfei Fan and
Leonid Libkin},
editor = {Lucian Popa and
Serge Abiteboul and
Phokion G. Kolaitis},
title = {On Verifying Consistency of {XML} Specifications},
booktitle = {Proceedings of the Twenty-first {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, Madison, Wisconsin, {USA}},
pages = {259--270},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/543613.543647},
doi = {10.1145/543613.543647},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/ArenasFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CosmadakisKL01,
author = {Stavros S. Cosmadakis and
Gabriel M. Kuper and
Leonid Libkin},
title = {On the orthographic dimension of definable sets},
journal = {Inf. Process. Lett.},
volume = {79},
number = {3},
pages = {141--145},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(00)00184-8},
doi = {10.1016/S0020-0190(00)00184-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CosmadakisKL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HellaLNW01,
author = {Lauri Hella and
Leonid Libkin and
Juha Nurmonen and
Limsoon Wong},
title = {Logics with aggregate operators},
journal = {J. {ACM}},
volume = {48},
number = {4},
pages = {880--907},
year = {2001},
url = {https://doi.org/10.1145/502090.502100},
doi = {10.1145/502090.502100},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HellaLNW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/RossCGLLM01,
author = {Kenneth A. Ross and
Stefano Ceri and
Luis Gravano and
Per{-}{\AA}ke Larson and
Leonid Libkin and
Tova Milo},
title = {Reminiscences on Influential Papers},
journal = {{SIGMOD} Rec.},
volume = {30},
number = {1},
pages = {55--57},
year = {2001},
url = {https://doi.org/10.1145/373626.604262},
doi = {10.1145/373626.604262},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/RossCGLLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Libkin01,
author = {Leonid Libkin},
title = {Logics capturing local properties},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {1},
pages = {135--153},
year = {2001},
url = {https://doi.org/10.1145/371282.371388},
doi = {10.1145/371282.371388},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Libkin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Libkin01,
author = {Leonid Libkin},
editor = {Jan Van den Bussche and
Victor Vianu},
title = {Expressive Power of {SQL}},
booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {1--21},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X\_1},
doi = {10.1007/3-540-44503-X\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Libkin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktLSS01,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
title = {A Model-Theoretic Approach to Regular String Relations},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {431--440},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932518},
doi = {10.1109/LICS.2001.932518},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktLSS01,
author = {Michael Benedikt and
Leonid Libkin and
Thomas Schwentick and
Luc Segoufin},
editor = {Peter Buneman},
title = {String Operations in Query Languages},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375578},
doi = {10.1145/375551.375578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FanL01,
author = {Wenfei Fan and
Leonid Libkin},
editor = {Peter Buneman},
title = {On {XML} Integrity Constraints in the Presence of DTDs},
booktitle = {Proceedings of the Twentieth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 21-23, 2001, Santa Barbara,
California, {USA}},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375551.375568},
doi = {10.1145/375551.375568},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/FanL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BenediktL00,
author = {Michael Benedikt and
Leonid Libkin},
title = {Relational queries over interpreted structures},
journal = {J. {ACM}},
volume = {47},
number = {4},
pages = {644--680},
year = {2000},
url = {https://doi.org/10.1145/347476.347477},
doi = {10.1145/347476.347477},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BenediktL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BenediktL00,
author = {Michael Benedikt and
Leonid Libkin},
title = {Safe Constraint Queries},
journal = {{SIAM} J. Comput.},
volume = {29},
number = {5},
pages = {1652--1682},
year = {2000},
url = {https://doi.org/10.1137/S0097539798342484},
doi = {10.1137/S0097539798342484},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BenediktL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DongLW00,
author = {Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
title = {Local properties of query languages},
journal = {Theor. Comput. Sci.},
volume = {239},
number = {2},
pages = {277--308},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00223-6},
doi = {10.1016/S0304-3975(99)00223-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DongLW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Libkin00,
author = {Leonid Libkin},
title = {Logics with counting and local properties},
journal = {{ACM} Trans. Comput. Log.},
volume = {1},
number = {1},
pages = {33--59},
year = {2000},
url = {https://doi.org/10.1145/343369.343376},
doi = {10.1145/343369.343376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Libkin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Libkin00,
author = {Leonid Libkin},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Variable Independence, Quantifier Elimination, and Constraint Representations},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {260--271},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_23},
doi = {10.1007/3-540-45022-X\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Libkin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktGLS00,
author = {Michael Benedikt and
Martin Grohe and
Leonid Libkin and
Luc Segoufin},
editor = {Victor Vianu and
Georg Gottlob},
title = {Reachability and Connectivity Queries in Constraint Databases},
booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
{USA}},
pages = {104--115},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335168.335213},
doi = {10.1145/335168.335213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktGLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Libkin00,
author = {Leonid Libkin},
editor = {Horst Reichel and
Sophie Tison},
title = {Logics Capturing Local Properties},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {217--229},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_18},
doi = {10.1007/3-540-46541-3\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Libkin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/KuperLP00,
author = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Introduction},
booktitle = {Constraint Databases},
pages = {1--16},
publisher = {Springer},
year = {2000},
timestamp = {Thu, 08 Aug 2019 09:25:55 +0200},
biburl = {https://dblp.org/rec/conf/cdb/KuperLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/BenediktL00,
author = {Michael Benedikt and
Leonid Libkin},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Expressive Power: The Finite Case},
booktitle = {Constraint Databases},
pages = {55--87},
publisher = {Springer},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdb/BenediktL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/BenediktL00a,
author = {Michael Benedikt and
Leonid Libkin},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Query Safety with Constraints},
booktitle = {Constraint Databases},
pages = {109--129},
publisher = {Springer},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdb/BenediktL00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/ChomickiL00,
author = {Jan Chomicki and
Leonid Libkin},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Aggregate Languages for Constraint Databases},
booktitle = {Constraint Databases},
pages = {131--154},
publisher = {Springer},
year = {2000},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdb/ChomickiL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Kuper00,
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {Constraint Databases},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-662-04031-7},
doi = {10.1007/978-3-662-04031-7},
isbn = {3-540-66151-4},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Kuper00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HellaLN99,
author = {Lauri Hella and
Leonid Libkin and
Juha Nurmonen},
title = {Notions of Locality and Their Logical Characterizations over Finite
Models},
journal = {J. Symb. Log.},
volume = {64},
number = {4},
pages = {1751--1773},
year = {1999},
url = {https://doi.org/10.2307/2586810},
doi = {10.2307/2586810},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HellaLN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Libkin99,
author = {Leonid Libkin},
title = {Query languages with arithmetic and constraint databases},
journal = {{SIGACT} News},
volume = {30},
number = {4},
pages = {41--50},
year = {1999},
url = {https://doi.org/10.1145/337885.337894},
doi = {10.1145/337885.337894},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Libkin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Libkin99,
author = {Leonid Libkin},
title = {Some Remarks on Variable Independence, Closure, and Orthographic Dimension
in Constraint Databases},
journal = {{SIGMOD} Rec.},
volume = {28},
number = {4},
pages = {24--28},
year = {1999},
url = {https://doi.org/10.1145/344816.344850},
doi = {10.1145/344816.344850},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Libkin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Libkin99a,
author = {Leonid Libkin},
title = {Database Principles Column - Introduction},
journal = {{SIGMOD} Rec.},
volume = {28},
number = {4},
pages = {29},
year = {1999},
url = {http://www.acm.org/sigmod/record/issues/9912/dpintro.pdf},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Libkin99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/Libkin99,
author = {Leonid Libkin},
editor = {Christine Collet},
title = {What you can and cannot say in {SQL} or proving folk theorems in database
theory},
booktitle = {15{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
{BDA} 1999, Bordeaux, 25 - 27 octobre 1999. (Informal Proceedings)},
pages = {425},
publisher = {Actes},
year = {1999},
timestamp = {Tue, 16 Jul 2019 13:26:48 +0200},
biburl = {https://dblp.org/rec/conf/bda/Libkin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/LibkinW99,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Richard Connor and
Alberto O. Mendelzon},
title = {On the Power of Incremental Evaluation in SQL-Like Languages},
booktitle = {Research Issues in Structured and Semistructured Database Programming,
7th International Workshop on Database Programming Languages, DBPL'99,
Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1949},
pages = {17--30},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44543-9\_2},
doi = {10.1007/3-540-44543-9\_2},
timestamp = {Wed, 07 Jul 2021 16:59:31 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/LibkinW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HellaLNW99,
author = {Lauri Hella and
Leonid Libkin and
Juha Nurmonen and
Limsoon Wong},
title = {Logics with Aggregate Operators},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782583},
doi = {10.1109/LICS.1999.782583},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HellaLNW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Libkin99,
author = {Leonid Libkin},
title = {Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant
Queries},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {316--325},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782626},
doi = {10.1109/LICS.1999.782626},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Libkin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktL99,
author = {Michael Benedikt and
Leonid Libkin},
editor = {Victor Vianu and
Christos H. Papadimitriou},
title = {Exact and Approximate Aggregation in Constraint Query},
booktitle = {Proceedings of the Eighteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia,
Pennsylvania, {USA}},
pages = {102--113},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/303976.303987},
doi = {10.1145/303976.303987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenediktGL98,
author = {Michael Benedikt and
Timothy Griffin and
Leonid Libkin},
title = {Verifiable Properties of Database Transactions},
journal = {Inf. Comput.},
volume = {147},
number = {1},
pages = {57--88},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2731},
doi = {10.1006/INCO.1998.2731},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BenediktGL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BenediktDLW98,
author = {Michael Benedikt and
Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
title = {Relational Expressive Power of Constraint Query Languages},
journal = {J. {ACM}},
volume = {45},
number = {1},
pages = {1--34},
year = {1998},
url = {https://doi.org/10.1145/273865.273870},
doi = {10.1145/273865.273870},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BenediktDLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Libkin98,
author = {Leonid Libkin},
title = {Models of Approximation in Databases},
journal = {Theor. Comput. Sci.},
volume = {190},
number = {2},
pages = {167--210},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00090-X},
doi = {10.1016/S0304-3975(97)00090-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Libkin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Libkin98,
author = {Leonid Libkin},
title = {On Counting Logics and Local Properties},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {501--512},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705683},
doi = {10.1109/LICS.1998.705683},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Libkin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktL98,
author = {Michael Benedikt and
Leonid Libkin},
editor = {Alberto O. Mendelzon and
Jan Paredaens},
title = {Safe Constraint Queries},
booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
{USA}},
pages = {99--108},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/275487.275499},
doi = {10.1145/275487.275499},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LibkinW98,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {Unary Quantifiers, Transitive Closure, and Relations of Large Degree},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {183--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028560},
doi = {10.1007/BFB0028560},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LibkinW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdb/1995,
editor = {Leonid Libkin and
Bernhard Thalheim},
title = {Semantics in Databases, Selected Papers from a Workshop, Prague, Czech
Republic, 1995},
series = {Lecture Notes in Computer Science},
volume = {1358},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0035002},
doi = {10.1007/BFB0035002},
isbn = {3-540-64199-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdb/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinW97,
author = {Leonid Libkin and
Limsoon Wong},
title = {Query Languages for Bags and Aggregate Functions},
journal = {J. Comput. Syst. Sci.},
volume = {55},
number = {2},
pages = {241--272},
year = {1997},
url = {https://doi.org/10.1006/jcss.1997.1523},
doi = {10.1006/JCSS.1997.1523},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LibkinW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/GriffinLT97,
author = {Timothy Griffin and
Leonid Libkin and
Howard Trickey},
title = {An Improved Algorithm for the Incremental Recomputation of Active
Relational Expressions},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {9},
number = {3},
pages = {508--511},
year = {1997},
url = {https://doi.org/10.1109/69.599937},
doi = {10.1109/69.599937},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/GriffinLT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/LibkinW97a,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Sophie Cluet and
Richard Hull},
title = {Incremental Recomputation of Recursive Queries with Nested Sets and
Aggregate Functions},
booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1369},
pages = {222--238},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64823-2\_13},
doi = {10.1007/3-540-64823-2\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/LibkinW97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/LibkinW97,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Sophie Cluet and
Richard Hull},
title = {On the Power of Aggregation in Relational Query Languages},
booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1369},
pages = {260--280},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64823-2\_15},
doi = {10.1007/3-540-64823-2\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/LibkinW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/LibkinN97,
author = {Leonid Libkin and
Juha Nurmonen},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Counting and Locality over Finite Structures: {A} Survey},
booktitle = {Generalized Quantifiers and Computation, 9th European Summer School
in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence,
France, August 11-22, 1997, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1754},
pages = {18--50},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-46583-9\_2},
doi = {10.1007/3-540-46583-9\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/esslli/LibkinN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/DongLW97,
author = {Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Local Properties of Query Languages},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {140--154},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_42},
doi = {10.1007/3-540-62222-5\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/DongLW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ColbyL97,
author = {Latha S. Colby and
Leonid Libkin},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {Tractable Iteration Mechanisms for Bag Languages},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {461--475},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_64},
doi = {10.1007/3-540-62222-5\_64},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/ColbyL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Libkin97,
author = {Leonid Libkin},
title = {On the Forms of Locality over Finite Models},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {204--215},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614948},
doi = {10.1109/LICS.1997.614948},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Libkin97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktL97,
author = {Michael Benedikt and
Leonid Libkin},
editor = {Alberto O. Mendelzon and
Z. Meral {\"{O}}zsoyoglu},
title = {Languages for Relational Databases over Interpreted Structures},
booktitle = {Proceedings of the Sixteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona,
{USA}},
pages = {87--98},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263661.263672},
doi = {10.1145/263661.263672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinW96,
author = {Leonid Libkin and
Limsoon Wong},
title = {Semantic Representations and Query Labguages for Or-Sets},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {1},
pages = {125--142},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0010},
doi = {10.1006/JCSS.1996.0010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LibkinW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/GrumbachLMW96,
author = {St{\'{e}}phane Grumbach and
Leonid Libkin and
Tova Milo and
Limsoon Wong},
title = {Query languages for bags: expressive power and complexity},
journal = {{SIGACT} News},
volume = {27},
number = {2},
pages = {30--44},
year = {1996},
url = {https://doi.org/10.1145/235767.235770},
doi = {10.1145/235767.235770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/GrumbachLMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenediktL96,
author = {Michael Benedikt and
Leonid Libkin},
title = {On the Structure of Queries in Constraint Query Languages},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561300},
doi = {10.1109/LICS.1996.561300},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenediktL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktDLW96,
author = {Michael Benedikt and
Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
editor = {Richard Hull},
title = {Relational Expressive Power of Constraint Query Languages},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {5--16},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237667},
doi = {10.1145/237661.237667},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktDLW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktGL96,
author = {Michael Benedikt and
Timothy Griffin and
Leonid Libkin},
editor = {Richard Hull},
title = {Verifiable Properties of Database Transactions},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {117--127},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237692},
doi = {10.1145/237661.237692},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BenediktGL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LibkinMW96,
author = {Leonid Libkin and
Rona Machlin and
Limsoon Wong},
editor = {H. V. Jagadish and
Inderpal Singh Mumick},
title = {A Query Language for Multidimensional Arrays: Design, Implementation,
and Optimization Techniques},
booktitle = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
pages = {228--239},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/233269.233335},
doi = {10.1145/233269.233335},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/LibkinMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ColbyGLMT96,
author = {Latha S. Colby and
Timothy Griffin and
Leonid Libkin and
Inderpal Singh Mumick and
Howard Trickey},
editor = {H. V. Jagadish and
Inderpal Singh Mumick},
title = {Algorithms for Deferred View Maintenance},
booktitle = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
pages = {469--480},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/233269.233364},
doi = {10.1145/233269.233364},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/ColbyGLMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/LibkinG95,
author = {Leonid Libkin and
Vladimir Gurvich},
title = {Trees as semilattices},
journal = {Discret. Math.},
volume = {145},
number = {1-3},
pages = {321--327},
year = {1995},
url = {https://doi.org/10.1016/0012-365X(94)00046-L},
doi = {10.1016/0012-365X(94)00046-L},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/LibkinG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LibkinW95,
author = {Leonid Libkin and
Limsoon Wong},
title = {On Representation and Querying Incomplete Information in Databases
with Bags},
journal = {Inf. Process. Lett.},
volume = {56},
number = {4},
pages = {209--214},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00154-5},
doi = {10.1016/0020-0190(95)00154-5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/LibkinW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Libkin95,
author = {Leonid Libkin},
editor = {Paolo Atzeni and
Val Tannen},
title = {Query Language Primitives for Programming with Incomplete Databases},
booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
International Workshop on Database Programming Languages, Gubbio,
Umbria, Italy, 6-8 September 1995},
series = {Electronic Workshops in Computing},
pages = {6},
publisher = {Springer},
year = {1995},
url = {http://ewic.bcs.org/content/ConWebDoc/5197},
timestamp = {Mon, 27 May 2019 16:08:52 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/Libkin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/DongLW95,
author = {Guozhu Dong and
Leonid Libkin and
Limsoon Wong},
editor = {Paolo Atzeni and
Val Tannen},
title = {On Impossibility of Decremental Recomputation of Recursive Queries
in Relational Calculus and {SQL}},
booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
International Workshop on Database Programming Languages, Gubbio,
Umbria, Italy, 6-8 September 1995},
series = {Electronic Workshops in Computing},
pages = {7},
publisher = {Springer},
year = {1995},
url = {http://ewic.bcs.org/content/ConWebDoc/5187},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/DongLW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Libkin95,
author = {Leonid Libkin},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {Approximation in Databases},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {411--424},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_31},
doi = {10.1007/3-540-58907-4\_31},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Libkin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Libkin95,
author = {Leonid Libkin},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
title = {Normalizing Incomplete Databases},
booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 22-25, 1995, San Jose, California,
{USA}},
pages = {219--230},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.220217},
doi = {10.1145/212433.220217},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/Libkin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdb/Libkin95,
author = {Leonid Libkin},
editor = {Leonid Libkin and
Bernhard Thalheim},
title = {A Semantics-based Approach to Design of Query Languages for Partial
Information},
booktitle = {Semantics in Databases, Selected Papers from a Workshop, Prague, Czech
Republic, 1995},
series = {Lecture Notes in Computer Science},
volume = {1358},
pages = {170--208},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0035009},
doi = {10.1007/BFB0035009},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/sdb/Libkin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GriffinL95,
author = {Timothy Griffin and
Leonid Libkin},
editor = {Michael J. Carey and
Donovan A. Schneider},
title = {Incremental Maintenance of Views with Duplicates},
booktitle = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
Management of Data, San Jose, California, USA, May 22-25, 1995},
pages = {328--339},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/223784.223849},
doi = {10.1145/223784.223849},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/GriffinL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GunterL95,
author = {Elsa L. Gunter and
Leonid Libkin},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Interfacing {HOL90} with a Functional Database Query Language},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {170--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_64},
doi = {10.1007/3-540-60275-5\_64},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GunterL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LibkinW94,
author = {Leonid Libkin and
Limsoon Wong},
title = {Conservativity of Nested Relational Calculi with Internal Generic
Functions},
journal = {Inf. Process. Lett.},
volume = {49},
number = {6},
pages = {273--280},
year = {1994},
url = {https://doi.org/10.1016/0020-0190(94)90099-X},
doi = {10.1016/0020-0190(94)90099-X},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LibkinW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BunemanLSTW94,
author = {Peter Buneman and
Leonid Libkin and
Dan Suciu and
Val Tannen and
Limsoon Wong},
title = {Comprehension Syntax},
journal = {{SIGMOD} Rec.},
volume = {23},
number = {1},
pages = {87--96},
year = {1994},
url = {https://doi.org/10.1145/181550.181564},
doi = {10.1145/181550.181564},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BunemanLSTW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/GunterL94,
author = {Elsa L. Gunter and
Leonid Libkin},
editor = {Dimitris Karagiannis},
title = {{OR-SML:} {A} Functional Database Programming Language for Disjunctive
Information and Its Applications},
booktitle = {Database and Expert Systems Applications, 5th International Conference,
{DEXA} '94, Athens, Greece, September 7 - 9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {856},
pages = {641--650},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58435-8\_230},
doi = {10.1007/3-540-58435-8\_230},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/GunterL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinW94,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Victor Vianu},
title = {New Techniques for Studying Set Languages, Bag Languages and Aggregate
Functions},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
{USA}},
pages = {155--166},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/182591.182609},
doi = {10.1145/182591.182609},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LibkinW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Libkin93,
author = {Leonid Libkin},
title = {Direct product decompositions of lattices, closures and relation schemes},
journal = {Discret. Math.},
volume = {112},
number = {1-3},
pages = {119--138},
year = {1993},
url = {https://doi.org/10.1016/0012-365X(93)90228-L},
doi = {10.1016/0012-365X(93)90228-L},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Libkin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/LibkinW93,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Catriel Beeri and
Atsushi Ohori and
Dennis E. Shasha},
title = {Some Properties of Query Languages for Bags},
booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
International Workshop on Database Programming Languages - Object
Models and Languages, Manhattan, New York City, USA, 30 August - 1
September 1993},
series = {Workshops in Computing},
pages = {97--114},
publisher = {Springer},
year = {1993},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/LibkinW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/LibkinW93a,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Catriel Beeri and
Atsushi Ohori and
Dennis E. Shasha},
title = {Aggregate Functions, Conservative Extensions, and Linear Orders},
booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
International Workshop on Database Programming Languages - Object
Models and Languages, Manhattan, New York City, USA, 30 August - 1
September 1993},
series = {Workshops in Computing},
pages = {282--294},
publisher = {Springer},
year = {1993},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/LibkinW93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/LibkinW93,
author = {Leonid Libkin and
Limsoon Wong},
editor = {Catriel Beeri},
title = {Semantic Representations and Query Languages for Or-sets},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {37--48},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153854},
doi = {10.1145/153850.153854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/LibkinW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/DemetrovicsHLM92,
author = {J{\'{a}}nos Demetrovics and
G. Hencsey and
Leonid Libkin and
Ilya B. Muchnik},
title = {On the Interaction Between Closure Operations and Choice Functions
with Applications to Relational Database},
journal = {Acta Cybern.},
volume = {10},
number = {3},
pages = {129--139},
year = {1992},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3401},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/DemetrovicsHLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/DemetrovicsHLM92a,
author = {J{\'{a}}nos Demetrovics and
G. Hencsey and
Leonid Libkin and
Ilya B. Muchnik},
title = {Normal Form Relation Schemes: {A} New Characterization},
journal = {Acta Cybern.},
volume = {10},
number = {3},
pages = {141--153},
year = {1992},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3402},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/DemetrovicsHLM92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/DemetrovicsLM92,
author = {J{\'{a}}nos Demetrovics and
Leonid Libkin and
Ilya B. Muchnik},
title = {Functional Dependencies in Relational Databases: {A} Lattice Point
of View},
journal = {Discret. Appl. Math.},
volume = {40},
number = {2},
pages = {155--185},
year = {1992},
url = {https://doi.org/10.1016/0166-218X(92)90028-9},
doi = {10.1016/0166-218X(92)90028-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/DemetrovicsLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Libkin92,
author = {Leonid Libkin},
title = {An elementary proof that upper and lower powerdomain constructions
commute},
journal = {Bull. {EATCS}},
volume = {48},
pages = {175--177},
year = {1992},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Libkin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/BiskupDLM91,
author = {Joachim Biskup and
J{\'{a}}nos Demetrovics and
Leonid Libkin and
Ilya B. Muchnik},
title = {On Relational Database Schemes Having Unique Minimal Key},
journal = {J. Inf. Process. Cybern.},
volume = {27},
number = {4},
pages = {217--225},
year = {1991},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/BiskupDLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/Libkin91,
author = {Leonid Libkin},
editor = {Bernhard Thalheim and
J{\'{a}}nos Demetrovics and
Hans{-}Detlef Gerhardt},
title = {A Relational Algebra for Complex Objects Based on Partial Information},
booktitle = {{MFDBS} 91, 3rd Symposium on Mathematical Fundamentals of Database
and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {495},
pages = {29--43},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54009-1\_3},
doi = {10.1007/3-540-54009-1\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/Libkin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/JungLP91,
author = {Achim Jung and
Leonid Libkin and
Hermann Puhlmann},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Decomposition of Domains},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {235--258},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_12},
doi = {10.1007/3-540-55511-0\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/JungLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GottlobL90,
author = {Georg Gottlob and
Leonid Libkin},
title = {Investigations on Armstrong relations, dependency inference, and excluded
functional dependencies},
journal = {Acta Cybern.},
volume = {9},
number = {4},
pages = {385--402},
year = {1990},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3383},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GottlobL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/DemetrovicsLM89,
author = {J{\'{a}}nos Demetrovics and
Leonid Libkin and
Ilya B. Muchnik},
editor = {J{\'{a}}nos Demetrovics and
Bernhard Thalheim},
title = {Functional Dependencies and the Semilattice of Closed Classes},
booktitle = {{MFDBS} 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'{a}}d, Hungary, June 26-30, 1989},
series = {Lecture Notes in Computer Science},
volume = {364},
pages = {136--147},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51251-9\_10},
doi = {10.1007/3-540-51251-9\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/DemetrovicsLM89.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-05-02 20:59 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:
