Leonid Libkin Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolmaz Kolahi, Leonid Libkin: An information-theoretic analysis of worst-case redundancy in database design. ACM Trans. Database Syst. 35(1): (2010)
2009
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Cristina Sirangelo: Open and Closed World Assumptions in Data Exchange. Description Logics 2009
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo: XML with incomplete information: models, properties, and query answering. PODS 2009: 237-246
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShun'ichi Amano, Leonid Libkin, Filip Murlak: XML schema mappings. PODS 2009: 33-42
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: The finite model theory toolbox of a database theoretician. PODS 2009: 65-76
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Expressive Power of Query Languages. Encyclopedia of Database Systems 2009: 1081-1083
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Widjaja To, Leonid Libkin: Algorithmic metatheorems for decidable LTL model checking over infinite systems CoRR abs/0910.4932: (2009)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Victor Vianu: Introduction to PODS 2007 special section. J. ACM 56(6): (2009)
2008
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Widjaja To, Leonid Libkin: Recurrent Reachability Analysis in Regular Model Checking. LPAR 2008: 198-213
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Cristina Sirangelo: Reasoning about XML with Temporal Logics and Automata. LPAR 2008: 97-112
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Cristina Sirangelo: Data exchange and schema mappings in open and closed worlds. PODS 2008: 139-148
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Introduction to the PODS 2007 special section. ACM Trans. Database Syst. 33(4): (2008)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Pablo Barceló, Leonid Libkin: Game-based notions of locality over finite models. Ann. Pure Appl. Logic 152(1-3): 3-30 (2008)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words CoRR abs/0811.0537: (2008)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: XML data exchange: Consistency and query answering. J. ACM 55(2): (2008)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science 4(4): (2008)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Wenfei Fan, Leonid Libkin: On the Complexity of Verifying Consistency of XML Specifications. SIAM J. Comput. 38(3): 841-880 (2008)
2007
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China ACM 2007
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolmaz Kolahi, Leonid Libkin: XML design for relational storage. WWW 2007: 1083-1092
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Normalization Theory for XML. XSym 2007: 1-13
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin, Frank Neven: Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): (2007)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Preface. Theor. Comput. Sci. 371(3): 147 (2007)
2006
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolmaz Kolahi, Leonid Libkin: On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF. PODS 2006: 114-123
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Data exchange and incomplete information. PODS 2006: 60-69
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Introduction to special ICDT section. ACM Trans. Database Syst. 31(3): 769 (2006)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics for Unranked Trees: An Overview CoRR abs/cs/0606062: (2006)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Locality of Queries and Transformations. Electr. Notes Theor. Comput. Sci. 143: 115-127 (2006)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics for Unranked Trees: An Overview. Logical Methods in Computer Science 2(3): (2006)
2005
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Leonid Libkin: Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings Springer 2005
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics for Unranked Trees: An Overview. ICALP 2005: 35-50
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Wenfei Fan, Leonid Libkin: Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Barceló, Leonid Libkin: Temporal Logics over Unranked Trees. LICS 2005: 31-40
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: XML data exchange: consistency and query answering. PODS 2005: 13-24
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005)
2004
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Elements of Finite Model Theory Springer 2004
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Pablo Barceló, Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas: Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004)
2003
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Frank Neven: Logical Definability and Query Languages over Unranked Trees. LICS 2003: 178-187
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Variable independence for first-order definable constraints. ACM Trans. Comput. Log. 4(4): 431-451 (2003)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuozhu Dong, Leonid Libkin, Limsoon Wong: Incremental recomputation in local languages. Inf. Comput. 181(2): 88-98 (2003)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: A collapse result for constraint queries over structures of small degree. Inf. Process. Lett. 86(5): 277-281 (2003)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: Definable relations and first-order query languages over strings. J. ACM 50(5): 694-751 (2003)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66(1): 169-206 (2003)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Expressive power of SQL. Theor. Comput. Sci. 296(3): 379-404 (2003)
2002
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Wenfei Fan, Leonid Libkin: What's Hard about XML Schema Constraints? DEXA 2002: 269-278
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002: 203-
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Wenfei Fan, Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002: 259-270
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Arenas, Leonid Libkin: A Normal Form for XML Documents. PODS 2002: 85-96
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Leonid Libkin, Frank Pfenning: Editorial. ACM Trans. Comput. Log. 3(3): 335-335 (2002)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenfei Fan, Leonid Libkin: On XML integrity constraints in the presence of DTDs. J. ACM 49(3): 368-406 (2002)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64(3): 628-654 (2002)
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Lower bounds for invariant queries in logics with counting. Theor. Comput. Sci. 288(1): 153-180 (2002)
2001
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Expressive Power of SQL. ICDT 2001: 1-21
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: A Model-Theoretic Approach to Regular String Relations. LICS 2001: 431-
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenfei Fan, Leonid Libkin: On XML Integrity Constraints in the Presence of DTDs. PODS 2001
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: String Operations in Query Languages. PODS 2001
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics capturing local properties. ACM Trans. Comput. Log. 2(1): 135-153 (2001)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin: On the orthographic dimension of definable sets. Inf. Process. Lett. 79(3): 141-145 (2001)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong: Logics with aggregate operators. J. ACM 48(4): 880-907 (2001)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth A. Ross, Stefano Ceri, Luis Gravano, Per-Åke Larson, Leonid Libkin, Tova Milo: Reminiscences on Influential Papers. SIGMOD Record 30(1): 55-57 (2001)
2000
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Leonid Libkin, Jan Paredaens: Constraint Databases Springer 2000
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Leonid Libkin, Jan Paredaens: Introduction. Constraint Databases 2000: 1-16
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Query Safety with Constraints. Constraint Databases 2000: 109-129
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, Leonid Libkin: Aggregate Languages for Constraint Databases. Constraint Databases 2000: 131-154
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Expressive Power: The Finite Case. Constraint Databases 2000: 55-87
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Variable Independence, Quantifier Elimination, and Constraint Representations. ICALP 2000: 260-271
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics Capturing Local Properties. STACS 2000: 217-229
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics with counting and local properties. ACM Trans. Comput. Log. 1(1): 33-59 (2000)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Relational queries over interpreted structures. J. ACM 47(4): 644-680 (2000)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Safe Constraint Queries. SIAM J. Comput. 29(5): 1652-1682 (2000)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuozhu Dong, Leonid Libkin, Limsoon Wong: Local properties of query languages. Theor. Comput. Sci. 239(2): 277-308 (2000)
1999
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: On the Power of Incremental Evaluation in SQL-Like Languages. DBPL 1999: 17-30
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. LICS 1999: 316-325
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong: Logics with Aggregate Operators. LICS 1999: 35-44
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Exact and Approximate Aggregation in Constraint Query. PODS 1999: 102-113
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: 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 1999: 425
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLauri Hella, Leonid Libkin, Juha Nurmonen: Notions of Locality and Their Logical Characterizations over Finite Models. J. Symb. Log. 64(4): 1751-1773 (1999)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Query languages with arithmetic and constraint databases. SIGACT News 30(4): 41-50 (1999)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases. SIGMOD Record 28(4): 24-28 (1999)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Database Principles Column - Introduction. SIGMOD Record 28(4): 29 (1999)
1998
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Bernhard Thalheim: Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995 Springer 1998
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: On Counting Logics and Local Properties. LICS 1998: 501-512
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Safe Constraint Queries. PODS 1998: 99-108
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Unary Quantifiers, Transitive Closure, and Relations of Large Degree. STACS 1998: 183-193
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. Inf. Comput. 147(1): 57-88 (1998)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. J. ACM 45(1): 1-34 (1998)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Models of Approximation in Databases. Theor. Comput. Sci. 190(2): 167-210 (1998)
1997
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. DBPL 1997: 222-238
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: On the Power of Aggregation in Relational Query Languages. DBPL 1997: 260-280
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Juha Nurmonen: Counting and Locality over Finite Structures: A Survey. ESSLLI 1997: 18-50
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuozhu Dong, Leonid Libkin, Limsoon Wong: Local Properties of Query Languages. ICDT 1997: 140-154
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLatha S. Colby, Leonid Libkin: Tractable Iteration Mechanisms for Bag Languages. ICDT 1997: 461-475
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: On the Forms of Locality over Finite Models. LICS 1997: 204-215
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: Languages for Relational Databases over Interpreted Structures. PODS 1997: 87-98
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Griffin, Leonid Libkin, Howard Trickey: An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 9(3): 508-511 (1997)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Query Languages for Bags and Aggregate Functions. J. Comput. Syst. Sci. 55(2): 241-272 (1997)
1996
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Leonid Libkin: On the Structure of Queries in Constraint Query Languages. LICS 1996: 25-34
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. PODS 1996: 5-16
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Rona Machlin, Limsoon Wong: A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques. SIGMOD Conference 1996: 228-239
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLatha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey: Algorithms for Deferred View Maintenance. SIGMOD Conference 1996: 469-480
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Semantic Representations and Query Labguages for Or-Sets. J. Comput. Syst. Sci. 52(1): 125-142 (1996)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong: Query languages for bags: expressive power and complexity. SIGACT News 27(2): 30-44 (1996)
1995
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Query Language Primitives for Programming with Incomplete Databases. DBPL 1995: 6
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuozhu Dong, Leonid Libkin, Limsoon Wong: On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. DBPL 1995: 7
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Approximation in Databases. ICDT 1995: 411-424
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Normalizing Incomplete Databases. PODS 1995: 219-230
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Griffin, Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: A Semantics-based Approach to Design of Query Languages for Partial Information. Semantics in Databases 1995: 170-208
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElsa L. Gunter, Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Vladimir Gurvich: Trees as semilattices. Discrete Mathematics 145(1-3): 321-327 (1995)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: On Representation and Querying Incomplete Information in Databases with Bags. Inf. Process. Lett. 56(4): 209-214 (1995)
1994
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElsa L. Gunter, Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. PODS 1994: 155-166
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Conservativity of Nested Relational Calculi with Internal Generic Functions. Inf. Process. Lett. 49(6): 273-280 (1994)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong: Comprehension Syntax. SIGMOD Record 23(1): 87-96 (1994)
1993
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Aggregate Functions, Conservative Extensions, and Linear Orders. DBPL 1993: 282-294
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Some Properties of Query Languages for Bags. DBPL 1993: 97-114
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin, Limsoon Wong: Semantic Representations and Query Languages for Or-sets. PODS 1993: 37-48
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: Direct product decompositions of lattices, closures and relation schemes. Discrete Mathematics 112(1-3): 119-138 (1993)
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJános Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik: On the Interaction Between Closure Operations and Choice Functions with Applications to Relational Database. Acta Cybern. 10(3): 129-140 (1992)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJános Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik: Normal Form Relation Schemes: A New Characterization. Acta Cybern. 10(3): 141-164 (1992)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: An elementary proof that upper and lower powerdomain constructions commute. Bulletin of the EATCS 48: 175-177 (1992)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJános Demetrovics, Leonid Libkin, Ilya B. Muchnik: Functional Dependencies in Relational Databases: A Lattice Point of View. Discrete Applied Mathematics 40(2): 155-185 (1992)
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonid Libkin: A Relational Algebra for Complex Objects Based on Partial Information. MFDBS 1991: 29-43
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAchim Jung, Leonid Libkin, Hermann Puhlmann: Decomposition of Domains. MFPS 1991: 235-258
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, János Demetrovics, Leonid Libkin, Ilya B. Muchnik: On Relational Database Schemes Having Unique Minimal Key. Elektronische Informationsverarbeitung und Kybernetik 27(4): 217-225 (1991)
1990
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Gottlob, Leonid Libkin: Investigation on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9(4): 385-402 (1990)
1989
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJános Demetrovics, Leonid Libkin, Ilya B. Muchnik: Functional Dependencies and the Semilattice of Closed Classes. MFDBS 1989: 136-147

Coauthor Index

1Martín Abadi [82]
2Rajeev Alur [116] [121] [123]
3Shun'ichi Amano [133]
4Marcelo Arenas [83] [84] [86] [93] [95] [96] [97] [98] [100] [101] [103] [116] [117] [118] [120] [121] [122] [123] [124]
5Denilson Barbosa [97]
6Pablo Barceló [96] [98] [102] [116] [117] [118] [121] [123] [124] [134]
7Michael Benedikt [31] [32] [33] [36] [44] [45] [47] [55] [60] [61] [64] [66] [68] [75] [77] [80] [85] [88] [89] [113]
8Joachim Biskup [3]
9Peter Buneman [14]
10Stefano Ceri [71]
11Jan Chomicki [67]
12Latha S. Colby [29] [38]
13Stavros S. Cosmadakis [73]
14János Demetrovics [1] [3] [6] [8] [9]
15Guozhu Dong [25] [31] [39] [44] [59] [91]
16Thomas Eiter [105] [109] [112]
17Kousha Etessami [116] [121] [123]
18Ronald Fagin [96]
19Wenfei Fan [76] [81] [84] [86] [103] [120]
20Georg Gottlob [2]
21Luis Gravano [71]
22Timothy G. Griffin (Timothy Griffin) [22] [29] [32] [35] [45]
23Martin Grohe [64] [88]
24Stéphane Grumbach [27]
25Elsa L. Gunter [17] [20]
26Vladimir Gurvich [19]
27Lauri Hella [53] [56] [72]
28G. Hencsey [8] [9]
29Neil Immerman [116] [121] [123]
30Achim Jung [4]
31Solmaz Kolahi [111] [115] [136]
32Gabriel M. Kuper [69] [70] [73]
33Per-Åke Larson (Paul Larson) [71]
34Rona Machlin [30]
35Alberto O. Mendelzon [97]
36Laurent Mignet [97]
37Tova Milo [27] [71]
38Ilya B. Muchnik [1] [3] [6] [8] [9]
39Inderpal Singh Mumick [29]
40Filip Murlak [133]
41Frank Neven [94] [113]
42Juha Nurmonen [40] [53] [56] [72]
43Jan Paredaens [69] [70]
44Frank Pfenning [82]
45Antonella Poggi [134]
46Hermann Puhlmann [4]
47Kenneth A. Ross [71]
48Thomas Schwentick [75] [77] [89]
49Luc Segoufin [64] [75] [77] [88] [89]
50Cristina Sirangelo [126] [127] [134] [135]
51Dan Suciu [14]
52Val Tannen (Valeriu Breazu, Val Breazu-Tannen) [14]
53Bernhard Thalheim [49]
54Anthony Widjaja To [128] [130]
55Howard Trickey [29] [35]
56Victor Vianu [129]
57Limsoon Wong [11] [12] [13] [14] [15] [16] [18] [25] [27] [28] [30] [31] [34] [39] [41] [42] [44] [46] [56] [58] [59] [72] [79] [91]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)