| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leonid Libkin, Domagoj Vrgoc |
Regular Expressions for Data Words.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Miguel Romero |
Efficient approximations of conjunctive queries. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich, Leonid Libkin, Nicole Schweikardt |
Closed world data exchange. |
ACM Trans. Database Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
Parameterized Regular Expressions and their Languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Data exchange and schema mappings in open and closed worlds. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadime Francis, Claire David, Leonid Libkin |
A Direct Translation from XPath to Nondeterministic Automata. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claire David, Leonid Libkin, Tony Tan |
Efficient reasoning about data trees via integer linear programming. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Incomplete information and certain answers in general data models. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
Querying graph patterns. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
Parameterized Regular Expressions and Their Languages. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rada Chirkova, Leonid Libkin, Juan L. Reutter |
Tractable XML data exchange via relations. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Disjoint pattern matching and implication in strings. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Solmaz Kolahi, Leonid Libkin |
An information-theoretic analysis of worst-case redundancy in database design. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Reasoning about XML with temporal logics and automata. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo |
XML with incomplete information. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak |
Relational and XML Data Exchange |
|
2010 |
DOI RDF |
|
| 1 | Claire David, Leonid Libkin, Tony Tan |
On the Satisfiability of Two-Variable Logic over Data Words. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Juan L. Reutter |
On Incomplete XML Documents with Integrity Constraints. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu |
On the aggregation problem for synthesized web services. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
web services artifacts synthesis problem static analysis transducers, Delphi theory |
| 1 | Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak |
On the tradeoff between mapping and querying power in XML data exchange. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire David, Leonid Libkin, Filip Murlak |
Certain answers for XML queries. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
queries returning trees, data exchange, incomplete information, certain answers |
| 1 | Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood |
Expressive languages for path queries over graph-structured data. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
regular relations, conjunctive queries, graph databases, regular path queries |
| 1 | Anthony Widjaja To, Leonid Libkin |
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Victor Vianu |
Introduction to PODS 2007 special section. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Widjaja To, Leonid Libkin |
Algorithmic metatheorems for decidable LTL model checking over infinite systems |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leonid Libkin |
Expressive Power of Query Languages. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Open and Closed World Assumptions in Data Exchange. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo |
XML with incomplete information: models, properties, and query answering. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
consistency, xml, incomplete information, membership, query answering, certain answers |
| 1 | Shun'ichi Amano, Leonid Libkin, Filip Murlak |
XML schema mappings. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
complexity, composition, mappings, consistency, xml, schemas |
| 1 | Leonid Libkin |
The finite model theory toolbox of a database theoretician. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
complexity, games, query languages, logics, types, order, expressive power, finite models |
| 1 | Leonid Libkin |
Introduction to the PODS 2007 special section. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Game-based notions of locality over finite models. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Leonid Libkin |
XML data exchange: Consistency and query answering. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
computing certain answers, XML, consistency, Data exchange |
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
On the Complexity of Verifying Consistency of XML Specifications. |
SIAM J. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Reasoning about XML with Temporal Logics and Automata. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Query automata, XML, static analysis, temporal logics |
| 1 | Anthony Widjaja To, Leonid Libkin |
Recurrent Reachability Analysis in Regular Model Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin, Cristina Sirangelo |
Data exchange and schema mappings in open and closed worlds. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
open world assumption, data exchange, incomplete information, schema mappings, closed world assumption |
| 1 | Thomas Eiter, Leonid Libkin |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Frank Neven |
Logical definability and query languages over ranked and unranked trees. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Ranked trees, unranked trees, query languages, tree automata, model theory |
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Solmaz Kolahi, Leonid Libkin |
XML design for relational storage. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
equality-generating dependencies, relational storage, design, information theory, functional dependencies, XML data |
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Combining Temporal Logics for Querying XML Documents. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Normalization Theory for XML. |
XSym |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
First-Order and Temporal Logics for Nested Words. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin (eds.) |
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China |
PODS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Leonid Libkin |
Introduction to special ICDT section. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Logics for Unranked Trees: An Overview. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Locality of Queries and Transformations. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Logics for Unranked Trees: An Overview |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Leonid Libkin |
Embedded Finite Models. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Solmaz Kolahi, Leonid Libkin |
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Data exchange and incomplete information. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
canonical solution, maybe answers, data exchange, core, null values, certain answers |
| 1 | Marcelo Arenas, Leonid Libkin |
An information-theoretic approach to normal forms for relational and XML data. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
normalization algorithms, XML, design, relational databases, Information theory, normal forms |
| 1 | Leonid Libkin |
Logics for Unranked Trees: An Overview. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
Consistency of XML Specifications. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Leonid Libkin (eds.) |
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings |
ICDT |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pablo Barceló, Leonid Libkin |
Temporal Logics over Unranked Trees. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Leonid Libkin |
XML data exchange: consistency and query answering. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Leonid Libkin |
A normal form for XML documents. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
design, functional dependencies, normal form, DTDs, XML data |
| 1 | Leonid Libkin |
Elements of Finite Model Theory |
|
2004 |
RDF |
|
| 1 | Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas |
Efficient Incremental Validation of XML Documents. |
ICDE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Game-Based Notions of Locality Over Finite Models. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin |
Locally Consistent Transformations and Query Answering in Data Exchange. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
A collapse result for constraint queries over structures of small degree. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Expressive power of SQL. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guozhu Dong, Leonid Libkin, Limsoon Wong |
Incremental recomputation in local languages. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
Definable relations and first-order query languages over strings. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
first-order definability, query languages, Strings, expressive power, quantifier elimination |
| 1 | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
Reachability and connectivity queries in constraint databases. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Libkin |
Variable independence for first-order definable constraints. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints |
| 1 | Leonid Libkin, Frank Neven |
Logical Definability and Query Languages over Unranked Trees. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Leonid Libkin |
An information-theoretic approach to normal forms for relational and XML data. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Leonid Libkin, Limsoon Wong |
Lower bounds for invariant queries in logics with counting. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfei Fan, Leonid Libkin |
On XML integrity constraints in the presence of DTDs. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, Consistency, integrity constraints, DTDs, implication |
| 1 | Michael Benedikt, Leonid Libkin |
Aggregate Operators in Constraint Query Languages. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Leonid Libkin, Frank Pfenning |
Editorial. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Tree Extension Algebras: Logics, Automata, and Query Languages. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
What's Hard about XML Schema Constraints? |
DEXA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
On Verifying Consistency of XML Specifications. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Marcelo Arenas, Leonid Libkin |
A Normal Form for XML Documents. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin |
On the orthographic dimension of definable sets. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth A. Ross, Stefano Ceri, Luis Gravano, Per-Åke Larson, Leonid Libkin, Tova Milo |
Reminiscences on Influential Papers. |
SIGMOD Record |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong |
Logics with aggregate operators. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
database, locality, Aggregation, expressive power, relational calculus |
| 1 | Leonid Libkin |
Logics capturing local properties. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
locality, logic, counting |
| 1 | Leonid Libkin |
Expressive Power of SQL. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
A Model-Theoretic Approach to Regular String Relations. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfei Fan, Leonid Libkin |
On XML Integrity Constraints in the Presence of DTDs. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
String Operations in Query Languages. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Guozhu Dong, Leonid Libkin, Limsoon Wong |
Local properties of query languages. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
| 1 | Leonid Libkin |
Logics with counting and local properties. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
locality, first-order logic, counting, infinitary logic |
| 1 | Michael Benedikt, Leonid Libkin |
Safe Constraint Queries. |
SIAM J. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Leonid Libkin, Jan Paredaens (eds.) |
Constraint Databases |
|
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Query Safety with Constraints. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Leonid Libkin |
Aggregate Languages for Constraint Databases. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Leonid Libkin, Jan Paredaens |
Introduction. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin |
Expressive Power: The Finite Case. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Leonid Libkin |
Variable Independence, Quantifier Elimination, and Constraint Representations. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")