Leonid Libkin

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 71

Top Venues

PODS

CoRR

IJCAI

Publications

Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings. Theory Pract. Log. Program. 24 (2) (2024)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
A Researcher's Digest of GQL (Invited Talk). ICDT (2023)
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. CoRR (2023)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
GPC: A Pattern Calculus for Property Graphs. PODS (2023)
Gábor Szárnyas, Brad Bebee, Altan Birler, Alin Deutsch, George Fletcher, Henry A. Gabb, Denise Gosnell, Alastair Green, Zhihui Guo, Keith W. Hare, Jan Hidders, Alexandru Iosup, Atanas Kiryakov, Tomas Kovatchev, Xinsheng Li, Leonid Libkin, Heng Lin, Xiaojian Luo, Arnau Prat-Pérez, David Püroja, Shipeng Qi, Oskar van Rest, Benjamin A. Steer, Dávid Szakállas, Bing Tong, Jack Waudby, Mingxi Wu, Bin Yang, Wenyuan Yu, Chen Zhang, Jason Zhang, Yan Zhou, Peter A. Boncz
The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space. CoRR (2023)
Marco Console, Leonid Libkin, Liat Peterfreund
Querying Incomplete Numerical Data: Between Certain and Possibile Answers. PODS (2023)
Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
PG-Schema: Schemas for Property Graphs. Proc. ACM Manag. Data 1 (2) (2023)
Leonid Libkin
Technical Perspective: Query Answers - Fewer is Faster. SIGMOD Rec. 52 (1) (2023)
Leonid Libkin, Liat Peterfreund
SQL Nulls and Two-Valued Logic. PODS (2023)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
GPC: A Pattern Calculus for Property Graphs. CoRR (2022)
Marco Console, Leonid Libkin, Liat Peterfreund
Querying Incomplete Numerical Data: Between Certain and Possible Answers. CoRR (2022)
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda
Troubles with Nulls, Views from the Users. Proc. VLDB Endow. 15 (11) (2022)
Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
PG-Schema: Schemas for Property Graphs. CoRR (2022)
Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD Conference (2022)
Marco Console, Paolo Guagliardo, Leonid Libkin
Propositional and predicate logics of incomplete information. Artif. Intell. 302 (2022)
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog (2022)
Marco Console, Paolo Guagliardo, Leonid Libkin
Fragments of bag relational algebra: Expressiveness and certain answers. Inf. Syst. 105 (2022)
Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
Graph Pattern Matching in GQL and SQL/PGQ. CoRR (2021)
Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savkovic, Michael Schmidt, Juan F. Sequeda, Slawek Staworko, Dominik Tomaszuk
PG-Keys: Keys for Property Graphs. SIGMOD Conference (2021)
Martin Koehler, Edward Abel, Alex Bogatu, Cristina Civili, Lacramioara Mazilu, Nikolaos Konstantinou, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton
Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling. IEEE Trans. Big Data 7 (1) (2021)
Marco Console, Matthias F. J. Hofer, Leonid Libkin
Queries with Arithmetic on Incomplete Databases. PODS (2020)
Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint
Coping with Incomplete Data: Recent Advances. PODS (2020)
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin
Knowledge-Preserving Certain Answers for SQL-like Queries. KR (2020)
Marco Console, Matthias F. J. Hofer, Leonid Libkin
Reasoning about Measures of Unmeasurable Sets. KR (2020)
Leonid Libkin, Liat Peterfreund
Handling SQL Nulls with Two-Valued Logic. CoRR (2020)
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) (2019)
Marco Console, Matthias F. J. Hofer, Leonid Libkin
Measuring the Likelihood of Numerical Constraints. IJCAI (2019)
Paolo Guagliardo, Leonid Libkin
On the Codd semantics of SQL nulls. Inf. Syst. 86 (2019)
Leonid Libkin
Research Highlights: Bridging Theory and Practice with Query Log Analysis. SIGMOD Rec. 48 (1) (2019)
Marco Console, Paolo Guagliardo, Leonid Libkin
Do We Need Many-valued Logics for Incomplete Information?. IJCAI (2019)
Marco Console, Paolo Guagliardo, Leonid Libkin
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers. ICDT (2019)
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)
Paolo Guagliardo, Leonid Libkin
How Standard is the SQL Standard? AMW (2018)
Cristina Civili, Leonid Libkin
Approximating Certainty in Querying Data and Metadata. KR (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Marco Console, Paolo Guagliardo, Leonid Libkin
Propositional and Predicate Logics of Incomplete Information. KR (2018)
Leonid Libkin, Juan L. Reutter, Adrián Soto, Domagoj Vrgoc
TriAL: A Navigational Algebra for RDF Triplestores. ACM Trans. Database Syst. 43 (1) (2018)
Marco Calautti, Leonid Libkin, Andreas Pieris
An Operational Approach to Consistent Query Answering. PODS (2018)
Giovanni Amendola, Leonid Libkin
Explainable Certain Answers. IJCAI (2018)
Marco Calautti, Leonid Libkin, Andreas Pieris
An Operational Approach to Consistent Query Answering. AMW (2018)
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 (2018)
Leonid Libkin
Certain Answers Meet Zero-One Laws. PODS (2018)
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 (2018)
Nadime Francis, Leonid Libkin
Schema Mappings for Data Graphs. PODS (2017)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Leonid Libkin
Technical Perspective: Data distribution for fast joins. Commun. ACM 60 (3) (2017)
Leonid Libkin, Moshe Y. Vardi
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS (2017)
Paolo Guagliardo, Leonid Libkin
On the Codd Semantics of SQL Nulls. AMW (2017)
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)
Paolo Guagliardo, Leonid Libkin
Correctness of SQL Queries on Databases with Nulls. SIGMOD Rec. 46 (3) (2017)
Marco Console, Paolo Guagliardo, Leonid Libkin
On Querying Incomplete Information in Databases under Bag Semantics. IJCAI (2017)
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. IEEE BigData (2017)
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 (2017)
Paolo Guagliardo, Leonid Libkin
A Formal Semantics of SQL Queries, Its Validation, and Applications. Proc. VLDB Endow. 11 (1) (2017)
Leonid Libkin, Wim Martens, Domagoj Vrgoc
Querying Graphs with Data. J. ACM 63 (2) (2016)
Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton
Data Wrangling for Big Data: Challenges and Opportunities. EDBT (2016)
Leonid Libkin
SQL's Three-Valued Logic and Certain Answers. ACM Trans. Database Syst. 41 (1) (2016)
Marco Console, Paolo Guagliardo, Leonid Libkin
Approximations and Refinements of Certain Answers via Many-Valued Logics. KR (2016)
Paolo Guagliardo, Leonid Libkin
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study. PODS (2016)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Leonid Libkin
Technical Perspective: Data Distribution for Fast Joins. SIGMOD Rec. 45 (1) (2016)
Leonid Libkin
Negative Knowledge for Certain Query Answers. RR (2016)
Pablo Barceló, Leonid Libkin
Order-Invariant Types and Their Applications. Log. Methods Comput. Sci. 12 (1) (2016)
Leonid Libkin
Certain answers as objects and knowledge. Artif. Intell. 232 (2016)
Leonid Libkin
SQL's Three-Valued Logic and Certain Answers. ICDT (2015)
Amélie Gheerbrant, Leonid Libkin
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory Comput. Syst. 57 (4) (2015)
Diego Figueira, Leonid Libkin
Synchronizing Relations on Words. Theory Comput. Syst. 57 (2) (2015)
Leonid Libkin
How to Define Certain Answers. IJCAI (2015)
Leonid Libkin
SQL's Handling of Nulls: Can It Be Fixed? SEBD (2015)
Leonid Libkin, Tony Tan, Domagoj Vrgoc
Regular expressions for data words. J. Comput. Syst. Sci. 81 (7) (2015)
Diego Figueira, Leonid Libkin
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. LICS (2015)
Leonid Libkin
Incomplete data: what went wrong, and how to fix it. PODS (2014)
Wenfei Fan, Floris Geerts, Leonid Libkin
On scale independence for querying big data. PODS (2014)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
Naïve Evaluation of Queries over Incomplete Databases. ACM Trans. Database Syst. 39 (4) (2014)
Pablo Barceló, Leonid Libkin, Juan L. Reutter
Querying Regular Graph Patterns. J. ACM 61 (1) (2014)
Diego Figueira, Leonid Libkin
Pattern logics and auxiliary relations. CSL-LICS (2014)
Diego Figueira, Leonid Libkin
Synchronizing Relations on Words. STACS (2014)
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61 (2) (2014)
Pablo Barceló, Leonid Libkin, Miguel Romero
Efficient Approximations of Conjunctive Queries. SIAM J. Comput. 43 (3) (2014)
Leonid Libkin
Certain Answers as Objects and Knowledge. KR (2014)
Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc
Trial for RDF: adapting graph query languages for RDF data. PODS (2013)
Leonid Libkin, Wim Martens, Domagoj Vrgoc
Querying graph databases with XPath. ICDT (2013)
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
Solutions and query rewriting in data exchange. Inf. Comput. 228 (2013)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
Reasoning About Pattern-Based XML Queries. RR (2013)
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu
On the aggregation problem for synthesized Web services. J. Comput. Syst. Sci. 79 (6) (2013)
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
Containment of pattern-based queries over data trees. ICDT (2013)
Leonid Libkin, Tony Tan, Domagoj Vrgoc
Regular Expressions with Binding over Data Words for Querying Graph Databases. Developments in Language Theory (2013)
Pablo Barceló, Diego Figueira, Leonid Libkin
Graph Logics with Rational Relations Log. Methods Comput. Sci. 9 (3) (2013)
Pablo Barceló, Juan L. Reutter, Leonid Libkin
Parameterized regular expressions and their languages. Theor. Comput. Sci. 474 (2013)
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)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
When is naive evaluation possible? PODS (2013)
Leonid Libkin, Domagoj Vrgoc
Regular path queries on graphs with data. ICDT (2012)
Leonid Libkin, Domagoj Vrgoc
Regular Expressions for Data Words. LPAR (2012)
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) (2012)
Amélie Gheerbrant, Leonid Libkin, Tony Tan
On the complexity of query answering over incomplete XML documents. ICDT (2012)
Claire David, Leonid Libkin, Tony Tan
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37 (3) (2012)
Pablo Barceló, Leonid Libkin, Miguel Romero
Efficient approximations of conjunctive queries. PODS (2012)
Pablo Barceló, Diego Figueira, Leonid Libkin
Graph Logics with Rational Relations and the Generalized Intersection Problem. LICS (2012)
Pablo Barceló, Leonid Libkin, Miguel Romero
On Low Treewidth Approximations of Conjunctive Queries. AMW (2012)
Rada Chirkova, Leonid Libkin, Juan L. Reutter
Tractable XML data exchange via relations. Frontiers Comput. Sci. 6 (3) (2012)

Leonid Libkin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leonid Libkin