dblp.uni-trier.dewww.uni-trier.de

Leonid Libkin Vis

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

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)