
Leonid Libkin
Person information
- affiliation: University of Edinburgh, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [c129]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Reasoning about Measures of Unmeasurable Sets. KR 2020: 264-273 - [c128]Etienne Toussaint, Paolo Guagliardo, Leonid Libkin:
Knowledge-Preserving Certain Answers for SQL-like Queries. KR 2020: 758-767 - [c127]Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint:
Coping with Incomplete Data: Recent Advances. PODS 2020: 33-47 - [c126]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Queries with Arithmetic on Incomplete Databases. PODS 2020: 179-189 - [i8]Leonid Libkin, Liat Peterfreund:
Handling SQL Nulls with Two-Valued Logic. CoRR abs/2012.13198 (2020)
2010 – 2019
- 2019
- [j90]Paolo Guagliardo
, Leonid Libkin
:
On the Codd semantics of SQL nulls. Inf. Syst. 86: 46-60 (2019) - [j89]Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Martin Schuster, Petra Selmer, Hannes Voigt:
Updating Graph Databases with Cypher. Proc. VLDB Endow. 12(12): 2242-2253 (2019) - [j88]Leonid Libkin:
Research Highlights: Bridging Theory and Practice with Query Log Analysis. SIGMOD Rec. 48(1): 5 (2019) - [c125]Marco Console, Paolo Guagliardo
, Leonid Libkin
:
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers. ICDT 2019: 8:1-8:16 - [c124]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Measuring the Likelihood of Numerical Constraints. IJCAI 2019: 1654-1660 - [c123]Marco Console, Paolo Guagliardo, Leonid Libkin:
Do We Need Many-valued Logics for Incomplete Information?. IJCAI 2019: 6141-6145 - [r3]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Graph Path Navigation. Encyclopedia of Big Data Technologies 2019 - 2018
- [j87]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz
, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j86]Leonid Libkin
, Juan L. Reutter, Adrián Soto, Domagoj Vrgoc:
TriAL: A Navigational Algebra for RDF Triplestores. ACM Trans. Database Syst. 43(1): 5:1-5:46 (2018) - [c122]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. AMW 2018 - [c121]Paolo Guagliardo, Leonid Libkin:
How Standard is the SQL Standard? AMW 2018 - [c120]Giovanni Amendola, Leonid Libkin
:
Explainable Certain Answers. IJCAI 2018: 1683-1690 - [c119]Cristina Civili, Leonid Libkin:
Approximating Certainty in Querying Data and Metadata. KR 2018: 582-591 - [c118]Marco Console, Paolo Guagliardo, Leonid Libkin:
Propositional and Predicate Logics of Incomplete Information. KR 2018: 592-601 - [c117]Leonid Libkin
:
Certain Answers Meet Zero-One Laws. PODS 2018: 195-207 - [c116]Marco Calautti
, Leonid Libkin
, Andreas Pieris:
An Operational Approach to Consistent Query Answering. PODS 2018: 239-251 - [c115]Nadime Francis, Alastair Green, Paolo Guagliardo
, Leonid Libkin
, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor:
Cypher: An Evolving Query Language for Property Graphs. SIGMOD Conference 2018: 1433-1445 - [r2]Leonid Libkin:
Expressive Power of Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - [i7]Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor:
Formal Semantics of the Language Cypher. CoRR abs/1802.09984 (2018) - [i6]Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton:
Data Context Informed Data Wrangling. CoRR abs/1811.09248 (2018) - 2017
- [j85]Leonid Libkin
:
Technical Perspective: Data distribution for fast joins. Commun. ACM 60(3): 92 (2017) - [j84]Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. 88: 1-2 (2017) - [j83]Paolo Guagliardo
, Leonid Libkin
:
A Formal Semantics of SQL Queries, Its Validation, and Applications. Proc. VLDB Endow. 11(1): 27-39 (2017) - [j82]Paolo Guagliardo, Leonid Libkin:
Correctness of SQL Queries on Databases with Nulls. SIGMOD Rec. 46(3): 5-16 (2017) - [c114]Paolo Guagliardo, Leonid Libkin:
On the Codd Semantics of SQL Nulls. AMW 2017 - [c113]Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel
, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin
, Norman W. Paton
:
Data context informed data wrangling. BigData 2017: 956-963 - [c112]Marco Console, Paolo Guagliardo
, Leonid Libkin
:
On Querying Incomplete Information in Databases under Bag Semantics. IJCAI 2017: 993-999 - [c111]Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91 - [c110]Nadime Francis, Leonid Libkin
:
Schema Mappings for Data Graphs. PODS 2017: 389-401 - [c109]Nikolaos Konstantinou, Martin Koehler, Edward Abel
, Cristina Civili, Bernd Neumayr, Emanuel Sallinger, Alvaro A. A. Fernandes, Georg Gottlob, John A. Keane, Leonid Libkin
, Norman W. Paton
:
The VADA Architecture for Cost-Effective Data Wrangling. SIGMOD Conference 2017: 1599-1602 - [i5]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - 2016
- [j81]Leonid Libkin
:
Certain answers as objects and knowledge. Artif. Intell. 232: 1-19 (2016) - [j80]Pablo Barceló, Leonid Libkin
:
Order-Invariant Types and Their Applications. Log. Methods Comput. Sci. 12(1) (2016) - [j79]Leonid Libkin
, Wim Martens, Domagoj Vrgoc:
Querying Graphs with Data. J. ACM 63(2): 14:1-14:53 (2016) - [j78]Leonid Libkin
:
Technical Perspective: Data Distribution for Fast Joins. SIGMOD Rec. 45(1): 32 (2016) - [j77]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin
, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz
, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [j76]Leonid Libkin
:
SQL's Three-Valued Logic and Certain Answers. ACM Trans. Database Syst. 41(1): 1:1-1:28 (2016) - [c108]Tim Furche, Georg Gottlob, Leonid Libkin
, Giorgio Orsi, Norman W. Paton
:
Data Wrangling for Big Data: Challenges and Opportunities. EDBT 2016: 473-478 - [c107]Marco Console, Paolo Guagliardo, Leonid Libkin:
Approximations and Refinements of Certain Answers via Many-Valued Logics. KR 2016: 349-358 - [c106]Paolo Guagliardo
, Leonid Libkin
:
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study. PODS 2016: 211-223 - [c105]Leonid Libkin
:
Negative Knowledge for Certain Query Answers. RR 2016: 111-127 - 2015
- [j75]Leonid Libkin
, Tony Tan, Domagoj Vrgoc:
Regular expressions for data words. J. Comput. Syst. Sci. 81(7): 1278-1297 (2015) - [j74]Diego Figueira, Leonid Libkin
:
Synchronizing Relations on Words. Theory Comput. Syst. 57(2): 287-318 (2015) - [j73]Amélie Gheerbrant, Leonid Libkin
:
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory Comput. Syst. 57(4): 892-926 (2015) - [c104]Leonid Libkin
:
SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 - [c103]Leonid Libkin:
How to Define Certain Answers. IJCAI 2015: 4282-4288 - [c102]Diego Figueira, Leonid Libkin
:
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. LICS 2015: 329-340 - [c101]Leonid Libkin:
SQL's Handling of Nulls: Can It Be Fixed? SEBD 2015: 7-10 - 2014
- [b4]Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak:
Foundations of Data Exchange. Cambridge University Press 2014, ISBN 9781107016163 - [j72]Pablo Barceló, Leonid Libkin
, Juan L. Reutter:
Querying Regular Graph Patterns. J. ACM 61(1): 8:1-8:54 (2014) - [j71]Shun'ichi Amano, Claire David, Leonid Libkin
, Filip Murlak:
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61(2): 12:1-12:48 (2014) - [j70]Pablo Barceló, Leonid Libkin
, Miguel Romero:
Efficient Approximations of Conjunctive Queries. SIAM J. Comput. 43(3): 1085-1130 (2014) - [j69]Amélie Gheerbrant, Leonid Libkin
, Cristina Sirangelo:
Naïve Evaluation of Queries over Incomplete Databases. ACM Trans. Database Syst. 39(4): 31:1-31:42 (2014) - [c100]Diego Figueira, Leonid Libkin
:
Pattern logics and auxiliary relations. CSL-LICS 2014: 40:1-40:10 - [c99]Leonid Libkin:
Certain Answers as Objects and Knowledge. KR 2014 - [c98]Leonid Libkin:
Incomplete data: what went wrong, and how to fix it. PODS 2014: 1-13 - [c97]Wenfei Fan
, Floris Geerts
, Leonid Libkin:
On scale independence for querying big data. PODS 2014: 51-62 - [c96]Diego Figueira, Leonid Libkin
:
Synchronizing Relations on Words. STACS 2014: 518-529 - 2013
- [j68]Pablo Barceló, Diego Figueira, Leonid Libkin
:
Graph Logics with Rational Relations. Log. Methods Comput. Sci. 9(3) (2013) - [j67]Marcelo Arenas, Pablo Barceló
, Ronald Fagin, Leonid Libkin
:
Solutions and query rewriting in data exchange. Inf. Comput. 228: 28-61 (2013) - [j66]Ting Deng, Wenfei Fan
, Leonid Libkin
, Yinghui Wu:
On the aggregation problem for synthesized Web services. J. Comput. Syst. Sci. 79(6): 873-891 (2013) - [j65]Pablo Barceló, Juan L. Reutter, Leonid Libkin
:
Parameterized regular expressions and their languages. Theor. Comput. Sci. 474: 21-45 (2013) - [c95]Amélie Gheerbrant, Leonid Libkin
, Juan L. Reutter:
Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In Search of Elegance in the Theory and Practice of Computation 2013: 273-290 - [c94]Leonid Libkin
, Tony Tan, Domagoj Vrgoc:
Regular Expressions with Binding over Data Words for Querying Graph Databases. Developments in Language Theory 2013: 325-337 - [c93]Leonid Libkin
, Wim Martens, Domagoj Vrgoc:
Querying graph databases with XPath. ICDT 2013: 129-140 - [c92]Claire David, Amélie Gheerbrant, Leonid Libkin
, Wim Martens:
Containment of pattern-based queries over data trees. ICDT 2013: 201-212 - [c91]Amélie Gheerbrant, Leonid Libkin
, Cristina Sirangelo:
When is naive evaluation possible? PODS 2013: 75-86 - [c90]Leonid Libkin
, Juan L. Reutter, Domagoj Vrgoc:
Trial for RDF: adapting graph query languages for RDF data. PODS 2013: 201-212 - [c89]Amélie Gheerbrant, Leonid Libkin
, Cristina Sirangelo:
Reasoning About Pattern-Based XML Queries. RR 2013: 4-18 - [e6]Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan
, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents] - [e5]Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8071, Springer 2013, ISBN 978-3-642-39991-6 [contents] - 2012
- [j64]Rada Chirkova, Leonid Libkin
, Juan L. Reutter:
Tractable XML data exchange via relations. Frontiers Comput. Sci. 6(3): 243-263 (2012) - [j63]Claire David, Leonid Libkin
, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37(3): 19:1-19:28 (2012) - [j62]Pablo Barceló, Leonid Libkin
, Anthony Widjaja Lin, Peter T. Wood:
Expressive Languages for Path Queries over Graph-Structured Data. ACM Trans. Database Syst. 37(4): 31:1-31:46 (2012) - [c88]Pablo Barceló, Leonid Libkin, Miguel Romero:
On Low Treewidth Approximations of Conjunctive Queries. AMW 2012: 91-101 - [c87]Leonid Libkin
, Domagoj Vrgoc:
Regular path queries on graphs with data. ICDT 2012: 74-85 - [c86]Amélie Gheerbrant, Leonid Libkin
, Tony Tan:
On the complexity of query answering over incomplete XML documents. ICDT 2012: 169-181 - [c85]Pablo Barceló, Diego Figueira, Leonid Libkin
:
Graph Logics with Rational Relations and the Generalized Intersection Problem. LICS 2012: 115-124 - [c84]Leonid Libkin
, Domagoj Vrgoc:
Regular Expressions for Data Words. LPAR 2012: 274-288 - [c83]Pablo Barceló
, Leonid Libkin
, Miguel Romero:
Efficient approximations of conjunctive queries. PODS 2012: 249-260 - 2011
- [j61]Leonid Libkin
, Cristina Sirangelo:
Data exchange and schema mappings in open and closed worlds. J. Comput. Syst. Sci. 77(3): 542-571 (2011) - [j60]Marcelo Arenas, Pablo Barceló, Leonid Libkin
:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011) - [j59]André Hernich, Leonid Libkin
, Nicole Schweikardt:
Closed world data exchange. ACM Trans. Database Syst. 36(2): 14:1-14:40 (2011) - [c82]Nadime Francis, Claire David, Leonid Libkin:
A Direct Translation from XPath to Nondeterministic Automata. AMW 2011 - [c81]Rada Chirkova, Leonid Libkin
, Juan L. Reutter:
Tractable XML data exchange via relations. CIKM 2011: 1629-1638 - [c80]Pablo Barceló, Leonid Libkin
, Juan L. Reutter:
Parameterized Regular Expressions and Their Languages. FSTTCS 2011: 351-362 - [c79]Claire David, Leonid Libkin
, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29 - [c78]Leonid Libkin
:
Incomplete information and certain answers in general data models. PODS 2011: 59-70 - [c77]Pablo Barceló, Leonid Libkin
, Juan L. Reutter:
Querying graph patterns. PODS 2011: 199-210 - [i4]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and their Languages. CoRR abs/1107.0577 (2011) - 2010
- [b3]Marcelo Arenas, Pablo Barceló
, Leonid Libkin
, Filip Murlak:
Relational and XML Data Exchange. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2010 - [j58]Leonid Libkin
, Cristina Sirangelo:
Disjoint pattern matching and implication in strings. Inf. Process. Lett. 110(4): 143-147 (2010) - [j57]Pablo Barceló, Leonid Libkin
, Antonella Poggi
, Cristina Sirangelo:
XML with incomplete information. J. ACM 58(1): 4:1-4:62 (2010) - [j56]Leonid Libkin
, Cristina Sirangelo:
Reasoning about XML with temporal logics and automata. J. Appl. Log. 8(2): 210-232 (2010) - [j55]Solmaz Kolahi, Leonid Libkin
:
An information-theoretic analysis of worst-case redundancy in database design. ACM Trans. Database Syst. 35(1): 5:1-5:32 (2010) - [c76]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
On Incomplete XML Documents with Integrity Constraints. AMW 2010 - [c75]Anthony Widjaja To, Leonid Libkin:
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. FoSSaCS 2010: 221-236 - [c74]Shun'ichi Amano, Claire David, Leonid Libkin
, Filip Murlak:
On the tradeoff between mapping and querying power in XML data exchange. ICDT 2010: 155-164 - [c73]Ting Deng, Wenfei Fan
, Leonid Libkin
, Yinghui Wu:
On the aggregation problem for synthesized web services. ICDT 2010: 242-251 - [c72]Claire David, Leonid Libkin
, Tony Tan:
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262 - [c71]Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood:
Expressive languages for path queries over graph-structured data. PODS 2010: 3-14 - [c70]Claire David, Leonid Libkin, Filip Murlak:
Certain answers for XML queries. PODS 2010: 191-202
2000 – 2009
- 2009
- [j54]Leonid Libkin, Victor Vianu:
Introduction to PODS 2007 special section. J. ACM 56(6): 29:1 (2009) - [c69]Leonid Libkin, Cristina Sirangelo:
Open and Closed World Assumptions in Data Exchange. Description Logics 2009 - [c68]Shun'ichi Amano, Leonid Libkin
, Filip Murlak:
XML schema mappings. PODS 2009: 33-42 - [c67]Leonid Libkin
:
The finite model theory toolbox of a database theoretician. PODS 2009: 65-76 - [c66]Pablo Barceló, Leonid Libkin
, Antonella Poggi
, Cristina Sirangelo:
XML with incomplete information: models, properties, and query answering. PODS 2009: 237-246 - [r1]Leonid Libkin
:
Expressive Power of Query Languages. Encyclopedia of Database Systems 2009: 1081-1083 - [i3]Anthony Widjaja To, Leonid Libkin:
Algorithmic metatheorems for decidable LTL model checking over infinite systems. CoRR abs/0910.4932 (2009) - 2008
- [j53]Marcelo Arenas, Pablo Barceló, Leonid Libkin
:
Game-based notions of locality over finite models. Ann. Pure Appl. Log. 152(1-3): 3-30 (2008) - [j52]Marcelo Arenas, Leonid Libkin
:
XML data exchange: Consistency and query answering. J. ACM 55(2): 7:1-7:72 (2008) - [j51]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
:
First-Order and Temporal Logics for Nested Words. Log. Methods Comput. Sci. 4(4) (2008) - [j50]Marcelo Arenas, Wenfei Fan
, Leonid Libkin
:
On the Complexity of Verifying Consistency of XML Specifications. SIAM J. Comput. 38(3): 841-880 (2008) - [j49]Leonid Libkin
:
Introduction to the PODS 2007 special section. ACM Trans. Database Syst. 33(4): 24:1 (2008) - [c65]Leonid Libkin
, Cristina Sirangelo:
Reasoning about XML with Temporal Logics and Automata. LPAR 2008: 97-112 - [c64]Anthony Widjaja To, Leonid Libkin
:
Recurrent Reachability Analysis in Regular Model Checking. LPAR 2008: 198-213 - [c63]Leonid Libkin
, Cristina Sirangelo:
Data exchange and schema mappings in open and closed worlds. PODS 2008: 139-148 - [i2]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. CoRR abs/0811.0537 (2008) - 2007
- [b2]Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437 - [j48]Thomas Eiter, Leonid Libkin:
Preface. Theor. Comput. Sci. 371(3): 147 (2007) - [j47]Michael Benedikt
, Leonid Libkin
, Frank Neven:
Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): 11 (2007) - [c62]Marcelo Arenas, Pablo Barceló, Leonid Libkin
:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900 - [c61]Marcelo Arenas, Pablo Barceló
, Leonid Libkin
:
Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373 - [c60]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
:
First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160 - [c59]