Leonid Libkin

280 papers A* 72A 22B 7C 5Journal 115Unranked 45
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dangers of List Processing in Querying Property Graphs.
Proc. ACM Manag. Data
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova
2025 A conf
Database Theory in Action: Cypher, GQL, and Regular Path Queries.
ICDT
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2025 J jnl
Exploring Exploratory Querying.
Proc. VLDB Endow.
Marcelo Arenas, Enrico Franconi, Janik Hammerer, Olaf Hartig, Katja Hose, Laura Koesten, George Konstantinidis, Leonid Libkin, Wim Martens, Yuya Sasaki, Stefanie Scherzinger, Katherine Thornton, Hsiang-Yun Wu
2025 — conf
Extending Pattern Matching Queries in Property Graphs with Interpreted Predicates.
GRADES/NDA
Leonid Libkin, Cristina Sirangelo, Deniz Yilmaz
2025 J jnl
GQL and SQL/PGQ: Theoretical Models and Expressive Power.
Proc. VLDB Endow.
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2025 — conf
GQL in Academia: a Progress Report.
GRADES/NDA
Leonid Libkin
2025 A conf
Queries with External Predicates.
ICDT
Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo
2025 — conf
Querying Graph Data: Where We Are and Where To Go.
PODS Companion
Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Domagoj Vrgoc
2025 — conf
Rel: A Programming Language for Relational Data.
SIGMOD Conference Companion
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 J jnl
Rel: A Programming Language for Relational Data.
CoRR
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 — conf
Reproducibility Report for ACM SIGMOD 2025 Paper: 'Dangers of List Processing in Querying Property Graphs'.
SIGMOD ARI Reports
Georgiy Lebedev, Alexis Schlomer, Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova
2025 — conf
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025.
PODS Companion
Diego Calvanese, Graham Cormode, Leonid Libkin
2024 J jnl
GQL and SQL/PGQ: Theoretical Models and Expressive Power.
CoRR
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2024 J jnl
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings.
Theory Pract. Log. Program.
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2023 A conf
A Researcher's Digest of GQL (Invited Talk).
ICDT
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 A* conf
GPC: A Pattern Calculus for Property Graphs.
PODS
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 J jnl
PG-Schema: Schemas for Property Graphs.
Proc. ACM Manag. Data
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
2023 J jnl
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings.
CoRR
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2023 A* conf
Querying Incomplete Numerical Data: Between Certain and Possibile Answers.
PODS
Marco Console, Leonid Libkin, Liat Peterfreund
2023 A* conf
SQL Nulls and Two-Valued Logic.
PODS
Leonid Libkin, Liat Peterfreund
2023 J jnl
Technical Perspective: Query Answers - Fewer is Faster.
SIGMOD Rec.
Leonid Libkin
2023 — conf
The Linked Data Benchmark Council (LDBC): Driving Competition and Collaboration in the Graph Data Management Space.
TPCTC
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 Boncz
2023 J jnl
The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space.
CoRR
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 Boncz
2022 — conf
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting.
Datalog
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2022 J jnl
Fragments of bag relational algebra: Expressiveness and certain answers.
Inf. Syst.
Marco Console, Paolo Guagliardo, Leonid Libkin
2022 J jnl
GPC: A Pattern Calculus for Property Graphs.
CoRR
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2022 — conf
Graph Pattern Matching in GQL and SQL/PGQ.
SIGMOD Conference
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
2022 J jnl
PG-Schema: Schemas for Property Graphs.
CoRR
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
2022 A* ed.
PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022
PODS
Leonid Libkin, Pablo Barceló
2022 J jnl
Propositional and predicate logics of incomplete information.
Artif. Intell.
Marco Console, Paolo Guagliardo, Leonid Libkin
2022 J jnl
Querying Incomplete Numerical Data: Between Certain and Possible Answers.
CoRR
Marco Console, Leonid Libkin, Liat Peterfreund
2022 J jnl
Troubles with Nulls, Views from the Users.
Proc. VLDB Endow.
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda
2021 J jnl
Graph Pattern Matching in GQL and SQL/PGQ.
CoRR
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, Hannes Voigt, Oskar van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
2021 J jnl
Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling.
IEEE Trans. Big Data
Martin Koehler, Edward Abel, Alex Bogatu, Cristina Civili, Lacramioara Mazilu, Nikolaos Konstantinou, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton
2021 — conf
PG-Keys: Keys for Property Graphs.
SIGMOD Conference
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
2021 A* ed.
PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021.
PODS
Leonid Libkin, Reinhard Pichler, Paolo Guagliardo
2020 A* conf
Coping with Incomplete Data: Recent Advances.
PODS
Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint
2020 J jnl
Handling SQL Nulls with Two-Valued Logic.
CoRR
Leonid Libkin, Liat Peterfreund
2020 A* conf
Knowledge-Preserving Certain Answers for SQL-like Queries.
KR
Etienne Toussaint, Paolo Guagliardo, Leonid Libkin
2020 A* conf
Queries with Arithmetic on Incomplete Databases.
PODS
Marco Console, Matthias F. J. Hofer, Leonid Libkin
2020 A* conf
Reasoning about Measures of Unmeasurable Sets.
KR
Marco Console, Matthias F. J. Hofer, Leonid Libkin
2019 A* conf
Do We Need Many-valued Logics for Incomplete Information?.
IJCAI
Marco Console, Paolo Guagliardo, Leonid Libkin
2019 A conf
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers.
ICDT
Marco Console, Paolo Guagliardo, Leonid Libkin
2019 — ch.
Graph Path Navigation.
Encyclopedia of Big Data Technologies
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2019 A* conf
Measuring the Likelihood of Numerical Constraints.
IJCAI
Marco Console, Matthias F. J. Hofer, Leonid Libkin
2019 J jnl
On the Codd semantics of SQL nulls.
Inf. Syst.
Paolo Guagliardo, Leonid Libkin
2019 J jnl
Research Highlights: Bridging Theory and Practice with Query Log Analysis.
SIGMOD Rec.
Leonid Libkin
2019 J jnl
Updating Graph Databases with Cypher.
Proc. VLDB Endow.
Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Martin Schuster, Petra Selmer, Hannes Voigt
2018 — conf
An Operational Approach to Consistent Query Answering.
AMW
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 A* conf
An Operational Approach to Consistent Query Answering.
PODS
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 A* conf
Approximating Certainty in Querying Data and Metadata.
KR
Cristina Civili, Leonid Libkin
2018 A* conf
Certain Answers Meet Zero-One Laws.
PODS
Leonid Libkin
2018 — conf
Cypher: An Evolving Query Language for Property Graphs.
SIGMOD Conference
Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor
2018 J jnl
Data Context Informed Data Wrangling.
CoRR
Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton
2018 A* conf
Explainable Certain Answers.
IJCAI
Giovanni Amendola, Leonid Libkin
2018 — ch.
Expressive Power of Query Languages.
Encyclopedia of Database Systems (2nd ed.)
Leonid Libkin
2018 J jnl
Formal Semantics of the Language Cypher.
CoRR
Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor
2018 — conf
How Standard is the SQL Standard?
AMW
Paolo Guagliardo, Leonid Libkin
2018 A* conf
Propositional and Predicate Logics of Incomplete Information.
KR
Marco Console, Paolo Guagliardo, Leonid Libkin
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
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
2018 J jnl
TriAL: A Navigational Algebra for RDF Triplestores.
ACM Trans. Database Syst.
Leonid Libkin, Juan L. Reutter, Adrián Soto, Domagoj Vrgoc
2017 A* conf
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
PODS
Leonid Libkin, Moshe Y. Vardi
2017 J jnl
20th workshop on logic, language, information and computation - WoLLIC 2013.
J. Comput. Syst. Sci.
Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2017 J jnl
A Formal Semantics of SQL Queries, Its Validation, and Applications.
Proc. VLDB Endow.
Paolo Guagliardo, Leonid Libkin
2017 J jnl
Correctness of SQL Queries on Databases with Nulls.
SIGMOD Rec.
Paolo Guagliardo, Leonid Libkin
2017 — conf
Data context informed data wrangling.
IEEE BigData
Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton
2017 A* conf
On Querying Incomplete Information in Databases under Bag Semantics.
IJCAI
Marco Console, Paolo Guagliardo, Leonid Libkin
2017 — conf
On the Codd Semantics of SQL Nulls.
AMW
Paolo Guagliardo, Leonid Libkin
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
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
2017 A* conf
Schema Mappings for Data Graphs.
PODS
Nadime Francis, Leonid Libkin
2017 J jnl
Technical Perspective: Data distribution for fast joins.
Commun. ACM
Leonid Libkin
2017 — conf
The VADA Architecture for Cost-Effective Data Wrangling.
SIGMOD Conference
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 A* conf
Approximations and Refinements of Certain Answers via Many-Valued Logics.
KR
Marco Console, Paolo Guagliardo, Leonid Libkin
2016 J jnl
Certain answers as objects and knowledge.
Artif. Intell.
Leonid Libkin
2016 B conf
Data Wrangling for Big Data: Challenges and Opportunities.
EDBT
Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton
2016 A* conf
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study.
PODS
Paolo Guagliardo, Leonid Libkin
2016 — conf
Negative Knowledge for Certain Query Answers.
RR
Leonid Libkin
2016 J jnl
Order-Invariant Types and Their Applications.
Log. Methods Comput. Sci.
Pablo Barceló, Leonid Libkin
2016 J jnl
Querying Graphs with Data.
J. ACM
Leonid Libkin, Wim Martens, Domagoj Vrgoc
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
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
2016 J jnl
SQL's Three-Valued Logic and Certain Answers.
ACM Trans. Database Syst.
Leonid Libkin
2016 J jnl
Technical Perspective: Data Distribution for Fast Joins.
SIGMOD Rec.
Leonid Libkin
2015 J jnl
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary.
Theory Comput. Syst.
Amélie Gheerbrant, Leonid Libkin
2015 A* conf
How to Define Certain Answers.
IJCAI
Leonid Libkin
2015 A* conf
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency.
LICS
Diego Figueira, Leonid Libkin
2015 J jnl
Regular expressions for data words.
J. Comput. Syst. Sci.
Leonid Libkin, Tony Tan, Domagoj Vrgoc
2015 — conf
SQL's Handling of Nulls: Can It Be Fixed?
SEBD
Leonid Libkin
2015 A conf
SQL's Three-Valued Logic and Certain Answers.
ICDT
Leonid Libkin
2015 J jnl
Synchronizing Relations on Words.
Theory Comput. Syst.
Diego Figueira, Leonid Libkin
2014 A* conf
Certain Answers as Objects and Knowledge.
KR
Leonid Libkin
2014 J jnl
Efficient Approximations of Conjunctive Queries.
SIAM J. Comput.
Pablo Barceló, Leonid Libkin, Miguel Romero
2014 — book
Foundations of Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2014 A* conf
Incomplete data: what went wrong, and how to fix it.
PODS
Leonid Libkin
2014 J jnl
Naïve Evaluation of Queries over Incomplete Databases.
ACM Trans. Database Syst.
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2014 A* conf
On scale independence for querying big data.
PODS
Wenfei Fan, Floris Geerts, Leonid Libkin
2014 — conf
Pattern logics and auxiliary relations.
CSL-LICS
Diego Figueira, Leonid Libkin
2014 J jnl
Querying Regular Graph Patterns.
J. ACM
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2014 A conf
Synchronizing Relations on Words.
STACS
Diego Figueira, Leonid Libkin
2014 J jnl
XML Schema Mappings: Data Exchange and Metadata Management.
J. ACM
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2013 A conf
Containment of pattern-based queries over data trees.
ICDT
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
2013 J jnl
Graph Logics with Rational Relations
Log. Methods Comput. Sci.
Pablo Barceló, Diego Figueira, Leonid Libkin
2013 — ed.
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation
Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman
2013 C ed.
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
WoLLIC
Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
2013 J jnl
On the aggregation problem for synthesized Web services.
J. Comput. Syst. Sci.
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu
2013 J jnl
Parameterized regular expressions and their languages.
Theor. Comput. Sci.
Pablo Barceló, Juan L. Reutter, Leonid Libkin
2013 A conf
Querying graph databases with XPath.
ICDT
Leonid Libkin, Wim Martens, Domagoj Vrgoc
2013 — conf
Reasoning About Pattern-Based XML Queries.
RR
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2013 C conf
Regular Expressions with Binding over Data Words for Querying Graph Databases.
Developments in Language Theory
Leonid Libkin, Tony Tan, Domagoj Vrgoc
2013 J jnl
Solutions and query rewriting in data exchange.
Inf. Comput.
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2013 — conf
Static Analysis and Query Answering for Incomplete Data Trees with Constraints.
In Search of Elegance in the Theory and Practice of Computation
Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter
2013 A* conf
Trial for RDF: adapting graph query languages for RDF data.
PODS
Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc
2013 A* conf
When is naive evaluation possible?
PODS
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2012 A* conf
Efficient approximations of conjunctive queries.
PODS
Pablo Barceló, Leonid Libkin, Miguel Romero
2012 J jnl
Efficient reasoning about data trees via integer linear programming.
ACM Trans. Database Syst.
Claire David, Leonid Libkin, Tony Tan
2012 J jnl
Expressive Languages for Path Queries over Graph-Structured Data.
ACM Trans. Database Syst.
Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood
2012 A* conf
Graph Logics with Rational Relations and the Generalized Intersection Problem.
LICS
Pablo Barceló, Diego Figueira, Leonid Libkin
2012 — conf
On Low Treewidth Approximations of Conjunctive Queries.
AMW
Pablo Barceló, Leonid Libkin, Miguel Romero
2012 A conf
On the complexity of query answering over incomplete XML documents.
ICDT
Amélie Gheerbrant, Leonid Libkin, Tony Tan
2012 B conf
Regular Expressions for Data Words.
LPAR
Leonid Libkin, Domagoj Vrgoc
2012 A conf
Regular path queries on graphs with data.
ICDT
Leonid Libkin, Domagoj Vrgoc
2012 J jnl
Tractable XML data exchange via relations.
Frontiers Comput. Sci.
Rada Chirkova, Leonid Libkin, Juan L. Reutter
2011 — conf
A Direct Translation from XPath to Nondeterministic Automata.
AMW
Nadime Francis, Claire David, Leonid Libkin
2011 J jnl
Closed world data exchange.
ACM Trans. Database Syst.
André Hernich, Leonid Libkin, Nicole Schweikardt
2011 J jnl
Data exchange and schema mappings in open and closed worlds.
J. Comput. Syst. Sci.
Leonid Libkin, Cristina Sirangelo
2011 A conf
Efficient reasoning about data trees via integer linear programming.
ICDT
Claire David, Leonid Libkin, Tony Tan
2011 A* conf
Incomplete information and certain answers in general data models.
PODS
Leonid Libkin
2011 — conf
Parameterized Regular Expressions and Their Languages.
FSTTCS
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 J jnl
Parameterized Regular Expressions and their Languages
CoRR
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 A* conf
Querying graph patterns.
PODS
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 J jnl
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Theory Comput. Syst.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2011 A conf
Tractable XML data exchange via relations.
CIKM
Rada Chirkova, Leonid Libkin, Juan L. Reutter
2010 B conf
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems.
FoSSaCS
Anthony Widjaja To, Leonid Libkin
2010 J jnl
An information-theoretic analysis of worst-case redundancy in database design.
ACM Trans. Database Syst.
Solmaz Kolahi, Leonid Libkin
2010 A* conf
Certain answers for XML queries.
PODS
Claire David, Leonid Libkin, Filip Murlak
2010 J jnl
Disjoint pattern matching and implication in strings.
Inf. Process. Lett.
Leonid Libkin, Cristina Sirangelo
2010 A* conf
Expressive languages for path queries over graph-structured data.
PODS
Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood
2010 — conf
On Incomplete XML Documents with Integrity Constraints.
AMW
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2010 — conf
On the Satisfiability of Two-Variable Logic over Data Words.
LPAR (Yogyakarta)
Claire David, Leonid Libkin, Tony Tan
2010 A conf
On the aggregation problem for synthesized web services.
ICDT
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu
2010 A conf
On the tradeoff between mapping and querying power in XML data exchange.
ICDT
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2010 J jnl
Reasoning about XML with temporal logics and automata.
J. Appl. Log.
Leonid Libkin, Cristina Sirangelo
2010 — book
Relational and XML Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2010 J jnl
XML with incomplete information.
J. ACM
Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo
2009 J jnl
Algorithmic metatheorems for decidable LTL model checking over infinite systems
CoRR
Anthony Widjaja To, Leonid Libkin
2009 — ch.
Expressive Power of Query Languages.
Encyclopedia of Database Systems
Leonid Libkin
2009 J jnl
Introduction to PODS 2007 special section.
J. ACM
Leonid Libkin, Victor Vianu
2009 — conf
Open and Closed World Assumptions in Data Exchange.
Description Logics
Leonid Libkin, Cristina Sirangelo
2009 A* conf
The finite model theory toolbox of a database theoretician.
PODS
Leonid Libkin
2009 A* conf
XML schema mappings.
PODS
Shun'ichi Amano, Leonid Libkin, Filip Murlak
2009 A* conf
XML with incomplete information: models, properties, and query answering.
PODS
Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo
2008 A* conf
Data exchange and schema mappings in open and closed worlds.
PODS
Leonid Libkin, Cristina Sirangelo
2008 J jnl
First-Order and Temporal Logics for Nested Words
CoRR
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
First-Order and Temporal Logics for Nested Words.
Log. Methods Comput. Sci.
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
Game-based notions of locality over finite models.
Ann. Pure Appl. Log.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2008 J jnl
Introduction to the PODS 2007 special section.
ACM Trans. Database Syst.
Leonid Libkin
2008 J jnl
On the Complexity of Verifying Consistency of XML Specifications.
SIAM J. Comput.
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2008 B conf
Reasoning about XML with Temporal Logics and Automata.
LPAR
Leonid Libkin, Cristina Sirangelo
2008 B conf
Recurrent Reachability Analysis in Regular Model Checking.
LPAR
Anthony Widjaja To, Leonid Libkin
2008 J jnl
XML data exchange: Consistency and query answering.
J. ACM
Marcelo Arenas, Leonid Libkin
2007 A conf
Combining Temporal Logics for Querying XML Documents.
ICDT
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2007 — book
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2007 A* conf
First-Order and Temporal Logics for Nested Words.
LICS
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2007 J jnl
Logical definability and query languages over ranked and unranked trees.
ACM Trans. Comput. Log.
Michael Benedikt, Leonid Libkin, Frank Neven
2007 — conf
Normalization Theory for XML.
XSym
Leonid Libkin
2007 J jnl
Preface.
Theor. Comput. Sci.
Thomas Eiter, Leonid Libkin
2007 A* ed.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China
PODS
Leonid Libkin
2007 A* conf
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
ICALP
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2007 A* conf
XML design for relational storage.
WWW
Solmaz Kolahi, Leonid Libkin
2006 A* conf
Data exchange and incomplete information.
PODS
Leonid Libkin
2006 J jnl
Embedded Finite Models.
Bull. EATCS
Leonid Libkin
2006 J jnl
Introduction to special ICDT section.
ACM Trans. Database Syst.
Thomas Eiter, Leonid Libkin
2006 J jnl
Logics for Unranked Trees: An Overview
CoRR
Leonid Libkin
2006 J jnl
Logics for Unranked Trees: An Overview.
Log. Methods Comput. Sci.
Leonid Libkin
2006 A* conf
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF.
PODS
Solmaz Kolahi, Leonid Libkin
2005 J jnl
An information-theoretic approach to normal forms for relational and XML data.
J. ACM
Marcelo Arenas, Leonid Libkin
2005 — conf
Consistency of XML Specifications.
Inconsistency Tolerance
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2005 A ed.
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings
ICDT
Thomas Eiter, Leonid Libkin
2005 C conf
Locality of Queries and Transformations.
WoLLIC
Leonid Libkin
2005 A* conf
Logics for Unranked Trees: An Overview.
ICALP
Leonid Libkin
2005 A* conf
Temporal Logics over Unranked Trees.
LICS
Pablo Barceló, Leonid Libkin
2005 A* conf
XML data exchange: consistency and query answering.
PODS
Marcelo Arenas, Leonid Libkin
2004 J jnl
A normal form for XML documents.
ACM Trans. Database Syst.
Marcelo Arenas, Leonid Libkin
2004 A* conf
Efficient Incremental Validation of XML Documents.
ICDE
Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas
2004 — book
Elements of Finite Model Theory
Leonid Libkin
2004 B conf
Game-Based Notions of Locality Over Finite Models.
CSL
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2004 A* conf
Locally Consistent Transformations and Query Answering in Data Exchange.
PODS
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2003 J jnl
A collapse result for constraint queries over structures of small degree.
Inf. Process. Lett.
Leonid Libkin
2003 A* conf
An information-theoretic approach to normal forms for relational and XML data.
PODS
Marcelo Arenas, Leonid Libkin
2003 J jnl
Definable relations and first-order query languages over strings.
J. ACM
Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
2003 J jnl
Expressive power of SQL.
Theor. Comput. Sci.
Leonid Libkin
2003 J jnl
Incremental recomputation in local languages.
Inf. Comput.
Guozhu Dong, Leonid Libkin, Limsoon Wong
2003 A* conf
Logical Definability and Query Languages over Unranked Trees.
LICS
Leonid Libkin, Frank Neven
2003 J jnl
Reachability and connectivity queries in constraint databases.
J. Comput. Syst. Sci.
Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin
2003 J jnl
Variable independence for first-order definable constraints.
ACM Trans. Comput. Log.
Leonid Libkin
2002 A* conf
A Normal Form for XML Documents.
PODS
Marcelo Arenas, Leonid Libkin
2002 J jnl
Aggregate Operators in Constraint Query Languages.
J. Comput. Syst. Sci.
Michael Benedikt, Leonid Libkin
2002 J jnl
Editorial.
ACM Trans. Comput. Log.
Martín Abadi, Leonid Libkin, Frank Pfenning
2002 J jnl
Lower bounds for invariant queries in logics with counting.
Theor. Comput. Sci.
Leonid Libkin, Limsoon Wong
2002 A* conf
On Verifying Consistency of XML Specifications.
PODS
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2002 J jnl
On XML integrity constraints in the presence of DTDs.
J. ACM
Wenfei Fan, Leonid Libkin
2002 A* conf
Tree Extension Algebras: Logics, Automata, and Query Languages.
LICS
Michael Benedikt, Leonid Libkin
2002 C conf
What's Hard about XML Schema Constraints?
DEXA
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2001 A* conf
A Model-Theoretic Approach to Regular String Relations.
LICS
Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
2001 A conf
Expressive Power of SQL.
ICDT
Leonid Libkin
2001 J jnl
Logics capturing local properties.
ACM Trans. Comput. Log.
Leonid Libkin
2001 J jnl
Logics with aggregate operators.
J. ACM
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
2001 A* conf
On XML Integrity Constraints in the Presence of DTDs.
PODS
Wenfei Fan, Leonid Libkin
2001 J jnl
On the orthographic dimension of definable sets.
Inf. Process. Lett.
Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin
2001 J jnl
Reminiscences on Influential Papers.
SIGMOD Rec.
Kenneth A. Ross, Stefano Ceri, Luis Gravano, Per-Åke Larson, Leonid Libkin, Tova Milo
2001 A* conf
String Operations in Query Languages.
PODS
Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
2000 — ch.
Aggregate Languages for Constraint Databases.
Constraint Databases
Jan Chomicki, Leonid Libkin
2000 — book
Constraint Databases
Gabriel M. Kuper, Leonid Libkin, Jan Paredaens
2000 — ch.
Expressive Power: The Finite Case.
Constraint Databases
Michael Benedikt, Leonid Libkin
2000 — ch.
Introduction.
Constraint Databases
Gabriel M. Kuper, Leonid Libkin, Jan Paredaens
2000 J jnl
Local properties of query languages.
Theor. Comput. Sci.
Guozhu Dong, Leonid Libkin, Limsoon Wong
2000 A conf
Logics Capturing Local Properties.
STACS
Leonid Libkin
2000 J jnl
Logics with counting and local properties.
ACM Trans. Comput. Log.
Leonid Libkin
2000 — ch.
Query Safety with Constraints.
Constraint Databases
Michael Benedikt, Leonid Libkin
2000 A* conf
Reachability and Connectivity Queries in Constraint Databases.
PODS
Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin
2000 J jnl
Relational queries over interpreted structures.
J. ACM
Michael Benedikt, Leonid Libkin
2000 J jnl
Safe Constraint Queries.
SIAM J. Comput.
Michael Benedikt, Leonid Libkin
2000 A* conf
Variable Independence, Quantifier Elimination, and Constraint Representations.
ICALP
Leonid Libkin
1999 J jnl
Database Principles Column - Introduction.
SIGMOD Rec.
Leonid Libkin
1999 A* conf
Exact and Approximate Aggregation in Constraint Query.
PODS
Michael Benedikt, Leonid Libkin
1999 A* conf
Logics with Aggregate Operators.
LICS
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
1999 A* conf
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries.
LICS
Leonid Libkin
1999 J jnl
Notions of Locality and Their Logical Characterizations over Finite Models.
J. Symb. Log.
Lauri Hella, Leonid Libkin, Juha Nurmonen
1999 — conf
On the Power of Incremental Evaluation in SQL-Like Languages.
DBPL
Leonid Libkin, Limsoon Wong
1999 J jnl
Query languages with arithmetic and constraint databases.
SIGACT News
Leonid Libkin
1999 J jnl
Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases.
SIGMOD Rec.
Leonid Libkin
1999 — conf
What you can and cannot say in SQL or proving folk theorems in database theory.
Proc. 15èmes Journées Bases de Données Avancées, BDA
Leonid Libkin
1998 J jnl
Models of Approximation in Databases.
Theor. Comput. Sci.
Leonid Libkin
1998 A* conf
On Counting Logics and Local Properties.
LICS
Leonid Libkin
1998 J jnl
Relational Expressive Power of Constraint Query Languages.
J. ACM
Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong
1998 A* conf
Safe Constraint Queries.
PODS
Michael Benedikt, Leonid Libkin
1998 — ed.
Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995
Semantics in Databases
Leonid Libkin, Bernhard Thalheim
1998 A conf
Unary Quantifiers, Transitive Closure, and Relations of Large Degree.
STACS
Leonid Libkin, Limsoon Wong
1998 J jnl
Verifiable Properties of Database Transactions.
Inf. Comput.
Michael Benedikt, Timothy Griffin, Leonid Libkin
1997 J jnl
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng.
Timothy Griffin, Leonid Libkin, Howard Trickey
1997 — conf
Counting and Locality over Finite Structures: A Survey.
ESSLLI
Leonid Libkin, Juha Nurmonen
1997 — conf
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions.
DBPL
Leonid Libkin, Limsoon Wong
1997 A* conf
Languages for Relational Databases over Interpreted Structures.
PODS
Michael Benedikt, Leonid Libkin
1997 A conf
Local Properties of Query Languages.
ICDT
Guozhu Dong, Leonid Libkin, Limsoon Wong
1997 A* conf
On the Forms of Locality over Finite Models.
LICS
Leonid Libkin
1997 — conf
On the Power of Aggregation in Relational Query Languages.
DBPL
Leonid Libkin, Limsoon Wong
1997 J jnl
Query Languages for Bags and Aggregate Functions.
J. Comput. Syst. Sci.
Leonid Libkin, Limsoon Wong
1997 A conf
Tractable Iteration Mechanisms for Bag Languages.
ICDT
Latha S. Colby, Leonid Libkin
1996 — conf
A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques.
SIGMOD Conference
Leonid Libkin, Rona Machlin, Limsoon Wong
1996 — conf
Algorithms for Deferred View Maintenance.
SIGMOD Conference
Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey
1996 A* conf
On the Structure of Queries in Constraint Query Languages.
LICS
Michael Benedikt, Leonid Libkin
1996 J jnl
Query languages for bags: expressive power and complexity.
SIGACT News
Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong
1996 A* conf
Relational Expressive Power of Constraint Query Languages.
PODS
Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong
1996 J jnl
Semantic Representations and Query Labguages for Or-Sets.
J. Comput. Syst. Sci.
Leonid Libkin, Limsoon Wong
1996 A* conf
Verifiable Properties of Database Transactions.
PODS
Michael Benedikt, Timothy Griffin, Leonid Libkin
1995 — conf
A Semantics-based Approach to Design of Query Languages for Partial Information.
Semantics in Databases
Leonid Libkin
1995 A conf
Approximation in Databases.
ICDT
Leonid Libkin
1995 — conf
Incremental Maintenance of Views with Duplicates.
SIGMOD Conference
Timothy Griffin, Leonid Libkin
1995 — conf
Interfacing HOL90 with a Functional Database Query Language.
TPHOLs
Elsa L. Gunter, Leonid Libkin
1995 A* conf
Normalizing Incomplete Databases.
PODS
Leonid Libkin
1995 — conf
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL.
DBPL
Guozhu Dong, Leonid Libkin, Limsoon Wong
1995 J jnl
On Representation and Querying Incomplete Information in Databases with Bags.
Inf. Process. Lett.
Leonid Libkin, Limsoon Wong
1995 — conf
Query Language Primitives for Programming with Incomplete Databases.
DBPL
Leonid Libkin
1995 J jnl
Trees as semilattices.
Discret. Math.
Leonid Libkin, Vladimir Gurvich
1994 J jnl
Comprehension Syntax.
SIGMOD Rec.
Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong
1994 J jnl
Conservativity of Nested Relational Calculi with Internal Generic Functions.
Inf. Process. Lett.
Leonid Libkin, Limsoon Wong
1994 A* conf
New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions.
PODS
Leonid Libkin, Limsoon Wong
1994 C conf
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.
DEXA
Elsa L. Gunter, Leonid Libkin
1993 — conf
Aggregate Functions, Conservative Extensions, and Linear Orders.
DBPL
Leonid Libkin, Limsoon Wong
1993 J jnl
Direct product decompositions of lattices, closures and relation schemes.
Discret. Math.
Leonid Libkin
1993 A* conf
Semantic Representations and Query Languages for Or-sets.
PODS
Leonid Libkin, Limsoon Wong
1993 — conf
Some Properties of Query Languages for Bags.
DBPL
Leonid Libkin, Limsoon Wong
1992 J jnl
An elementary proof that upper and lower powerdomain constructions commute.
Bull. EATCS
Leonid Libkin
1992 J jnl
Functional Dependencies in Relational Databases: A Lattice Point of View.
Discret. Appl. Math.
János Demetrovics, Leonid Libkin, Ilya B. Muchnik
1992 J jnl
Normal Form Relation Schemes: A New Characterization.
Acta Cybern.
János Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik
1992 J jnl
On the Interaction Between Closure Operations and Choice Functions with Applications to Relational Database.
Acta Cybern.
János Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik
1991 — conf
A Relational Algebra for Complex Objects Based on Partial Information.
MFDBS
Leonid Libkin
1991 B conf
Decomposition of Domains.
MFPS
Achim Jung, Leonid Libkin, Hermann Puhlmann
1991 J jnl
On Relational Database Schemes Having Unique Minimal Key.
J. Inf. Process. Cybern.
Joachim Biskup, János Demetrovics, Leonid Libkin, Ilya B. Muchnik
1990 J jnl
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies.
Acta Cybern.
Georg Gottlob, Leonid Libkin
1989 — conf
Functional Dependencies and the Semilattice of Closed Classes.
MFDBS
János Demetrovics, Leonid Libkin, Ilya B. Muchnik