| 2026 | KR | Almost Certain Query Answering over Incomplete Relational and Graph Data. | Heng Liu, Leonid Libkin, Eugenia Ternovska |
| 2025 | ICDT | Database Theory in Action: Cypher, GQL, and Regular Path Queries. | Amlie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova |
| 2025 | ICDT | Queries with External Predicates. | Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo |
| 2025 | PODS | The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025. | Diego Calvanese, Graham Cormode, Leonid Libkin |
| 2025 | PODS | Querying Graph Data: Where We Are and Where To Go. | Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Domagoj Vrgoc |
| 2025 | SIGMOD | Rel: A Programming Language for Relational Data. | Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika |
| 2025 | SIGMOD | Reproducibility Report for ACM SIGMOD 2025 Paper: 'Dangers of List Processing in Querying Property Graphs'. | Georgiy Lebedev, Alexis Schlomer, Amlie Gheerbrant, Leonid Libkin, Alexandra Rogova |
| 2023 | ICDT | A Researcher's Digest of GQL (Invited Talk). | Nadime Francis, Amlie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc |
| 2023 | PODS | Querying Incomplete Numerical Data: Between Certain and Possibile Answers. | Marco Console, Leonid Libkin, Liat Peterfreund |
| 2023 | PODS | GPC: A Pattern Calculus for Property Graphs. | Nadime Francis, Amlie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc |
| 2023 | PODS | SQL Nulls and Two-Valued Logic. | Leonid Libkin, Liat Peterfreund |
| 2022 | SIGMOD | Graph Pattern Matching in GQL and SQL/PGQ. | Alin Deutsch, Nadime Francis, Alastair Green, Keith W. 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 |
| 2021 | SIGMOD | PG-Keys: Keys for Property Graphs. | 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 |
| 2020 | KR | Reasoning about Measures of Unmeasurable Sets. | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
| 2020 | KR | Knowledge-Preserving Certain Answers for SQL-like Queries. | Etienne Toussaint, Paolo Guagliardo, Leonid Libkin |
| 2020 | PODS | Coping with Incomplete Data: Recent Advances. | Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint |
| 2020 | PODS | Queries with Arithmetic on Incomplete Databases. | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
| 2019 | ICDT | Fragments of Bag Relational Algebra: Expressiveness and Certain Answers. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2019 | IJCAI | Do We Need Many-valued Logics for Incomplete Information?. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2019 | IJCAI | Measuring the Likelihood of Numerical Constraints. | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
| 2018 | IJCAI | Explainable Certain Answers. | Giovanni Amendola, Leonid Libkin |
| 2018 | KR | Approximating Certainty in Querying Data and Metadata. | Cristina Civili, Leonid Libkin |
| 2018 | KR | Propositional and Predicate Logics of Incomplete Information. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2018 | PODS | An Operational Approach to Consistent Query Answering. | Marco Calautti, Leonid Libkin, Andreas Pieris |
| 2018 | PODS | Certain Answers Meet Zero-One Laws. | Leonid Libkin |
| 2018 | SIGMOD | Cypher: An Evolving Query Language for Property Graphs. | Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrs Taylor |
| 2017 | IJCAI | On Querying Incomplete Information in Databases under Bag Semantics. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2017 | PODS | Schema Mappings for Data Graphs. | Nadime Francis, Leonid Libkin |
| 2017 | PODS | 2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. | Leonid Libkin, Moshe Y. Vardi |
| 2017 | SIGMOD | The VADA Architecture for Cost-Effective Data Wrangling. | 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 |
| 2016 | EDBT | Data Wrangling for Big Data: Challenges and Opportunities. | Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton |
| 2016 | KR | Approximations and Refinements of Certain Answers via Many-Valued Logics. | Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2016 | PODS | Making SQL Queries Correct on Incomplete Databases: A Feasibility Study. | Paolo Guagliardo, Leonid Libkin |
| 2015 | ICDT | SQL's Three-Valued Logic and Certain Answers. | Leonid Libkin |
| 2015 | IJCAI | How to Define Certain Answers. | Leonid Libkin |
| 2015 | LICS | Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. | Diego Figueira, Leonid Libkin |
| 2014 | CSL | Pattern logics and auxiliary relations. | Diego Figueira, Leonid Libkin |
| 2014 | KR | Certain Answers as Objects and Knowledge. | Leonid Libkin |
| 2014 | PODS | On scale independence for querying big data. | Wenfei Fan, Floris Geerts, Leonid Libkin |
| 2014 | PODS | Incomplete data: what went wrong, and how to fix it. | Leonid Libkin |
| 2014 | STACS | Synchronizing Relations on Words. | Diego Figueira, Leonid Libkin |
| 2013 | DLT | Regular Expressions with Binding over Data Words for Querying Graph Databases. | Leonid Libkin, Tony Tan, Domagoj Vrgoc |
| 2013 | ICDT | Containment of pattern-based queries over data trees. | Claire David, Amlie Gheerbrant, Leonid Libkin, Wim Martens |
| 2013 | ICDT | Querying graph databases with XPath. | Leonid Libkin, Wim Martens, Domagoj Vrgoc |
| 2013 | PODS | When is naive evaluation possible? | Amlie Gheerbrant, Leonid Libkin, Cristina Sirangelo |
| 2013 | PODS | Trial for RDF: adapting graph query languages for RDF data. | Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc |
| 2012 | ICDT | On the complexity of query answering over incomplete XML documents. | Amlie Gheerbrant, Leonid Libkin, Tony Tan |
| 2012 | ICDT | Regular path queries on graphs with data. | Leonid Libkin, Domagoj Vrgoc |
| 2012 | LICS | Graph Logics with Rational Relations and the Generalized Intersection Problem. | Pablo Barcel, Diego Figueira, Leonid Libkin |
| 2012 | LPAR | Regular Expressions for Data Words. | Leonid Libkin, Domagoj Vrgoc |
| 2012 | PODS | Efficient approximations of conjunctive queries. | Pablo Barcel, Leonid Libkin, Miguel Romero |
| 2011 | CIKM | Tractable XML data exchange via relations. | Rada Chirkova, Leonid Libkin, Juan L. Reutter |
| 2011 | ICDT | Efficient reasoning about data trees via integer linear programming. | Claire David, Leonid Libkin, Tony Tan |
| 2011 | PODS | Querying graph patterns. | Pablo Barcel, Leonid Libkin, Juan L. Reutter |
| 2011 | PODS | Incomplete information and certain answers in general data models. | Leonid Libkin |
| 2010 | FOSSACS | Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. | Anthony Widjaja To, Leonid Libkin |
| 2010 | ICDT | On the tradeoff between mapping and querying power in XML data exchange. | Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak |
| 2010 | ICDT | On the aggregation problem for synthesized web services. | Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu |
| 2010 | LPAR | On the Satisfiability of Two-Variable Logic over Data Words. | Claire David, Leonid Libkin, Tony Tan |
| 2010 | PODS | Expressive languages for path queries over graph-structured data. | Pablo Barcel, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood |
| 2010 | PODS | Certain answers for XML queries. | Claire David, Leonid Libkin, Filip Murlak |
| 2009 | PODS | XML schema mappings. | Shun'ichi Amano, Leonid Libkin, Filip Murlak |
| 2009 | PODS | XML with incomplete information: models, properties, and query answering. | Pablo Barcel, Leonid Libkin, Antonella Poggi, Cristina Sirangelo |
| 2009 | PODS | The finite model theory toolbox of a database theoretician. | Leonid Libkin |
| 2008 | LPAR | Reasoning about XML with Temporal Logics and Automata. | Leonid Libkin, Cristina Sirangelo |
| 2008 | LPAR | Recurrent Reachability Analysis in Regular Model Checking. | Anthony Widjaja To, Leonid Libkin |
| 2008 | PODS | Data exchange and schema mappings in open and closed worlds. | Leonid Libkin, Cristina Sirangelo |
| 2007 | ICALP | Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | ICDT | Combining Temporal Logics for Querying XML Documents. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | LICS | First-Order and Temporal Logics for Nested Words. | Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2007 | WWW | XML design for relational storage. | Solmaz Kolahi, Leonid Libkin |
| 2006 | PODS | On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF. | Solmaz Kolahi, Leonid Libkin |
| 2006 | PODS | Data exchange and incomplete information. | Leonid Libkin |
| 2005 | ICALP | Logics for Unranked Trees: An Overview. | Leonid Libkin |
| 2005 | LICS | Temporal Logics over Unranked Trees. | Pablo Barcel, Leonid Libkin |
| 2005 | PODS | XML data exchange: consistency and query answering. | Marcelo Arenas, Leonid Libkin |
| 2004 | CSL | Game-Based Notions of Locality Over Finite Models. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2004 | ICDE | Efficient Incremental Validation of XML Documents. | Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas |
| 2004 | PODS | Locally Consistent Transformations and Query Answering in Data Exchange. | Marcelo Arenas, Pablo Barcel, Ronald Fagin, Leonid Libkin |
| 2003 | LICS | Logical Definability and Query Languages over Unranked Trees. | Leonid Libkin, Frank Neven |
| 2003 | PODS | An information-theoretic approach to normal forms for relational and XML data. | Marcelo Arenas, Leonid Libkin |
| 2002 | DEXA | What's Hard about XML Schema Constraints? | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
| 2002 | LICS | Tree Extension Algebras: Logics, Automata, and Query Languages. | Michael Benedikt, Leonid Libkin |
| 2002 | PODS | On Verifying Consistency of XML Specifications. | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
| 2002 | PODS | A Normal Form for XML Documents. | Marcelo Arenas, Leonid Libkin |
| 2001 | ICDT | Expressive Power of SQL. | Leonid Libkin |
| 2001 | LICS | A Model-Theoretic Approach to Regular String Relations. | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
| 2001 | PODS | String Operations in Query Languages. | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
| 2001 | PODS | On XML Integrity Constraints in the Presence of DTDs. | Wenfei Fan, Leonid Libkin |
| 2000 | ICALP | Variable Independence, Quantifier Elimination, and Constraint Representations. | Leonid Libkin |
| 2000 | PODS | Reachability and Connectivity Queries in Constraint Databases. | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
| 2000 | STACS | Logics Capturing Local Properties. | Leonid Libkin |
| 1999 | LICS | Logics with Aggregate Operators. | Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong |
| 1999 | LICS | Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. | Leonid Libkin |
| 1999 | PODS | Exact and Approximate Aggregation in Constraint Query. | Michael Benedikt, Leonid Libkin |
| 1998 | LICS | On Counting Logics and Local Properties. | Leonid Libkin |
| 1998 | PODS | Safe Constraint Queries. | Michael Benedikt, Leonid Libkin |
| 1998 | STACS | Unary Quantifiers, Transitive Closure, and Relations of Large Degree. | Leonid Libkin, Limsoon Wong |
| 1997 | ICDT | Tractable Iteration Mechanisms for Bag Languages. | Latha S. Colby, Leonid Libkin |
| 1997 | ICDT | Local Properties of Query Languages. | Guozhu Dong, Leonid Libkin, Limsoon Wong |
| 1997 | LICS | On the Forms of Locality over Finite Models. | Leonid Libkin |
| 1997 | PODS | Languages for Relational Databases over Interpreted Structures. | Michael Benedikt, Leonid Libkin |
| 1996 | LICS | On the Structure of Queries in Constraint Query Languages. | Michael Benedikt, Leonid Libkin |
| 1996 | PODS | Relational Expressive Power of Constraint Query Languages. | Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong |
| 1996 | PODS | Verifiable Properties of Database Transactions. | Michael Benedikt, Timothy Griffin, Leonid Libkin |
| 1996 | SIGMOD | Algorithms for Deferred View Maintenance. | Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey |
| 1996 | SIGMOD | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques. | Leonid Libkin, Rona Machlin, Limsoon Wong |
| 1995 | ICDT | Approximation in Databases. | Leonid Libkin |
| 1995 | PODS | Normalizing Incomplete Databases. | Leonid Libkin |
| 1995 | SIGMOD | Incremental Maintenance of Views with Duplicates. | Timothy Griffin, Leonid Libkin |
| 1994 | DEXA | OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. | Elsa L. Gunter, Leonid Libkin |
| 1994 | PODS | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. | Leonid Libkin, Limsoon Wong |
| 1993 | PODS | Semantic Representations and Query Languages for Or-sets. | Leonid Libkin, Limsoon Wong |
| 1991 | MFPS | Decomposition of Domains. | Achim Jung, Leonid Libkin, Hermann Puhlmann |