Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeonid 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
- 2023
[c134]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: 1:1-1:22- 2022
- [j93]Marco Console, Paolo Guagliardo
, Leonid Libkin:
Propositional and predicate logics of incomplete information. Artif. Intell. 302: 103603 (2022) - [j92]Marco Console, Paolo Guagliardo, Leonid Libkin:
Fragments of bag relational algebra: Expressiveness and certain answers. Inf. Syst. 105: 101604 (2022) - [j91]Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda:
Troubles with Nulls, Views from the Users. Proc. VLDB Endow. 15(11): 2613-2625 (2022) - [c133]Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog 2022: 14-26 - [c132]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: 2246-2258 - [e8]Leonid Libkin, Pablo Barceló:
PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. ACM 2022, ISBN 978-1-4503-9260-0 [contents] - [i12]Marco Console, Leonid Libkin, Liat Peterfreund:
Querying Incomplete Numerical Data: Between Certain and Possible Answers. CoRR abs/2210.15395 (2022) - [i11]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 abs/2210.16580 (2022) - [i10]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 abs/2211.10962 (2022) - 2021
- [j90]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): 169-186 (2021) - [c131]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: 2423-2436 - [e7]Leonid Libkin, Reinhard Pichler, Paolo Guagliardo:
PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021. ACM 2021, ISBN 978-1-4503-8381-3 [contents] - [i9]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 abs/2112.06217 (2021) - 2020
- [c130]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Reasoning about Measures of Unmeasurable Sets. KR 2020: 264-273 - [c129]Etienne Toussaint, Paolo Guagliardo, Leonid Libkin:
Knowledge-Preserving Certain Answers for SQL-like Queries. KR 2020: 758-767 - [c128]Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint:
Coping with Incomplete Data: Recent Advances. PODS 2020: 33-47 - [c127]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
- [j89]Paolo Guagliardo, Leonid Libkin:
On the Codd semantics of SQL nulls. Inf. Syst. 86: 46-60 (2019) - [j88]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) - [j87]Leonid Libkin:
Research Highlights: Bridging Theory and Practice with Query Log Analysis. SIGMOD Rec. 48(1): 5 (2019) - [c126]Marco Console, Paolo Guagliardo, Leonid Libkin:
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers. ICDT 2019: 8:1-8:16 - [c125]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Measuring the Likelihood of Numerical Constraints. IJCAI 2019: 1654-1660 - [c124]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
- [j86]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) - [j85]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) - [c123]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. AMW 2018 - [c122]Paolo Guagliardo, Leonid Libkin:
How Standard is the SQL Standard? AMW 2018 - [c121]Giovanni Amendola, Leonid Libkin:
Explainable Certain Answers. IJCAI 2018: 1683-1690 - [c120]Cristina Civili, Leonid Libkin:
Approximating Certainty in Querying Data and Metadata. KR 2018: 582-591 - [c119]Marco Console, Paolo Guagliardo, Leonid Libkin:
Propositional and Predicate Logics of Incomplete Information. KR 2018: 592-601 - [c118]Leonid Libkin:
Certain Answers Meet Zero-One Laws. PODS 2018: 195-207 - [c117]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. PODS 2018: 239-251 - [c116]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
- [j84]Leonid Libkin:
Technical Perspective: Data distribution for fast joins. Commun. ACM 60(3): 92 (2017) - [j83]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) - [j82]Paolo Guagliardo, Leonid Libkin:
A Formal Semantics of SQL Queries, Its Validation, and Applications. Proc. VLDB Endow. 11(1): 27-39 (2017) - [j81]Paolo Guagliardo, Leonid Libkin:
Correctness of SQL Queries on Databases with Nulls. SIGMOD Rec. 46(3): 5-16 (2017) - [c115]Paolo Guagliardo, Leonid Libkin:
On the Codd Semantics of SQL Nulls. AMW 2017 - [c114]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: 956-963 - [c113]Marco Console, Paolo Guagliardo, Leonid Libkin:
On Querying Incomplete Information in Databases under Bag Semantics. IJCAI 2017: 993-999 - [c112]Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91 - [c111]Nadime Francis, Leonid Libkin:
Schema Mappings for Data Graphs. PODS 2017: 389-401 - [c110]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
- [j80]Leonid Libkin:
Certain answers as objects and knowledge. Artif. Intell. 232: 1-19 (2016) - [j79]Pablo Barceló, Leonid Libkin:
Order-Invariant Types and Their Applications. Log. Methods Comput. Sci. 12(1) (2016) - [j78]Leonid Libkin, Wim Martens, Domagoj Vrgoc:
Querying Graphs with Data. J. ACM 63(2): 14:1-14:53 (2016) - [j77]Leonid Libkin:
Technical Perspective: Data Distribution for Fast Joins. SIGMOD Rec. 45(1): 32 (2016) - [j76]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) - [j75]Leonid Libkin:
SQL's Three-Valued Logic and Certain Answers. ACM Trans. Database Syst. 41(1): 1:1-1:28 (2016) - [c109]Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton:
Data Wrangling for Big Data: Challenges and Opportunities. EDBT 2016: 473-478 - [c108]Marco Console, Paolo Guagliardo, Leonid Libkin:
Approximations and Refinements of Certain Answers via Many-Valued Logics. KR 2016: 349-358 - [c107]Paolo Guagliardo, Leonid Libkin:
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study. PODS 2016: 211-223 - [c106]Leonid Libkin:
Negative Knowledge for Certain Query Answers. RR 2016: 111-127 - 2015
- [j74]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular expressions for data words. J. Comput. Syst. Sci. 81(7): 1278-1297 (2015) - [j73]Diego Figueira, Leonid Libkin:
Synchronizing Relations on Words. Theory Comput. Syst. 57(2): 287-318 (2015) - [j72]Amélie Gheerbrant, Leonid Libkin:
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory Comput. Syst. 57(4): 892-926 (2015) - [c105]Leonid Libkin:
SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 - [c104]Leonid Libkin:
How to Define Certain Answers. IJCAI 2015: 4282-4288 - [c103]Diego Figueira, Leonid Libkin:
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. LICS 2015: 329-340 - [c102]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 - [j71]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Querying Regular Graph Patterns. J. ACM 61(1): 8:1-8:54 (2014) - [j70]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) - [j69]Pablo Barceló, Leonid Libkin, Miguel Romero:
Efficient Approximations of Conjunctive Queries. SIAM J. Comput. 43(3): 1085-1130 (2014) - [j68]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) - [c101]Diego Figueira, Leonid Libkin:
Pattern logics and auxiliary relations. CSL-LICS 2014: 40:1-40:10 - [c100]Leonid Libkin:
Certain Answers as Objects and Knowledge. KR 2014 - [c99]Leonid Libkin:
Incomplete data: what went wrong, and how to fix it. PODS 2014: 1-13 - [c98]Wenfei Fan, Floris Geerts, Leonid Libkin:
On scale independence for querying big data. PODS 2014: 51-62 - [c97]Diego Figueira, Leonid Libkin:
Synchronizing Relations on Words. STACS 2014: 518-529 - 2013
- [j67]Pablo Barceló, Diego Figueira, Leonid Libkin:
Graph Logics with Rational Relations. Log. Methods Comput. Sci. 9(3) (2013) - [j66]Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin:
Solutions and query rewriting in data exchange. Inf. Comput. 228: 28-61 (2013) - [j65]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) - [j64]Pablo Barceló, Juan L. Reutter, Leonid Libkin:
Parameterized regular expressions and their languages. Theor. Comput. Sci. 474: 21-45 (2013) - [c96]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 - [c95]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular Expressions with Binding over Data Words for Querying Graph Databases. Developments in Language Theory 2013: 325-337 - [c94]Leonid Libkin, Wim Martens, Domagoj Vrgoc:
Querying graph databases with XPath. ICDT 2013: 129-140 - [c93]Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens:
Containment of pattern-based queries over data trees. ICDT 2013: 201-212 - [c92]Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo:
When is naive evaluation possible? PODS 2013: 75-86 - [c91]Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc:
Trial for RDF: adapting graph query languages for RDF data. PODS 2013: 201-212 - [c90]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
- [j63]Rada Chirkova, Leonid Libkin, Juan L. Reutter:
Tractable XML data exchange via relations. Frontiers Comput. Sci. 6(3): 243-263 (2012) - [j62]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) - [j61]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) - [c89]Pablo Barceló, Leonid Libkin, Miguel Romero:
On Low Treewidth Approximations of Conjunctive Queries. AMW 2012: 91-101 - [c88]Leonid Libkin, Domagoj Vrgoc:
Regular path queries on graphs with data. ICDT 2012: 74-85 - [c87]Amélie Gheerbrant, Leonid Libkin, Tony Tan:
On the complexity of query answering over incomplete XML documents. ICDT 2012: 169-181 - [c86]Pablo Barceló, Diego Figueira, Leonid Libkin:
Graph Logics with Rational Relations and the Generalized Intersection Problem. LICS 2012: 115-124 - [c85]Leonid Libkin, Domagoj Vrgoc:
Regular Expressions for Data Words. LPAR 2012: 274-288 - [c84]Pablo Barceló, Leonid Libkin, Miguel Romero:
Efficient approximations of conjunctive queries. PODS 2012: 249-260 - 2011
- [j60]Leonid Libkin, Cristina Sirangelo:
Data exchange and schema mappings in open and closed worlds. J. Comput. Syst. Sci. 77(3): 542-571 (2011) - [j59]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011) - [j58]André Hernich, Leonid Libkin, Nicole Schweikardt:
Closed world data exchange. ACM Trans. Database Syst. 36(2): 14:1-14:40 (2011) - [c83]Nadime Francis, Claire David, Leonid Libkin:
A Direct Translation from XPath to Nondeterministic Automata. AMW 2011 - [c82]Rada Chirkova, Leonid Libkin, Juan L. Reutter:
Tractable XML data exchange via relations. CIKM 2011: 1629-1638 - [c81]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and Their Languages. FSTTCS 2011: 351-362 - [c80]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29 - [c79]Leonid Libkin:
Incomplete information and certain answers in general data models. PODS 2011: 59-70 - [c78]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 - [j57]Leonid Libkin, Cristina Sirangelo:
Disjoint pattern matching and implication in strings. Inf. Process. Lett. 110(4): 143-147 (2010) - [j56]Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo:
XML with incomplete information. J. ACM 58(1): 4:1-4:62 (2010) - [j55]Leonid Libkin, Cristina Sirangelo:
Reasoning about XML with temporal logics and automata. J. Appl. Log. 8(2): 210-232 (2010) - [j54]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) - [c77]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
On Incomplete XML Documents with Integrity Constraints. AMW 2010 - [c76]Anthony Widjaja To, Leonid Libkin:
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. FoSSaCS 2010: 221-236 - [c75]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 - [c74]Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu:
On the aggregation problem for synthesized web services. ICDT 2010: 242-251 - [c73]