Edit Profile (opens in new tab) Libkin, Leonid O. Compute Distance To: Compute Author ID: libkin.leonid-o Published as: Libkin, Leonid; Libkin, L. O.; Libkin, L.; Libkin, Leonid O. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 111 Publications since 1988, including 3 Books 10 Contributions as Editor Co-Authors: 65 Co-Authors with 93 Joint Publications 1,683 Co-Co-Authors all top 5 Co-Authors 28 single-authored 15 Barceló, Pablo 12 Arenas, Marcelo 12 Wong, Limsoon 9 Benedikt, Michael A. 9 Muchnik, Ilya B. 6 Fan, Wenfei 6 Figueira, Diego 6 Reutter, Juan L. 6 Sirangelo, Cristina 5 Vrgoč, Domagoj 4 Demetrovics, János 4 Gurvich, Vladimir A. 3 De Queiroz, Ruy José Guerra Barretto 3 Dong, Guozhu 3 Gheerbrant, Amélie 3 Kohlenbach, Ulrich Wilhelm 3 Nurmonen, Juha 3 Tan, Tony 2 David, Claire 2 Eiter, Thomas 2 Hella, Lauri T. 2 Hencsey, Gusztáv 2 Kuper, Gabriel M. 2 Murlak, Filip 2 Segoufin, Luc 2 To, Anthony Widjaja 1 Abadi, Martín 1 Alur, Rajeev 1 Amano, Shun’ichi 1 Biskup, Joachim 1 Chirkova, Rada 1 Chomicki, Jan 1 Console, Marco 1 Cosmadakis, Stavros S. 1 Deng, Ting 1 Etessami, Kousha 1 Fagin, Ronald 1 Fourman, Michael Paul 1 Gottlob, Georg 1 Grädel, Erich 1 Griffin, Timothy G. 1 Grohe, Martin 1 Guagliardo, Paolo 1 Gunter, Elsa L. 1 Immerman, Neil 1 Kolaitis, Phokion G. 1 Maarten, Marx 1 Martens, Wim 1 Neven, Frank 1 Paredaens, Jan 1 Pfenning, Frank 1 Poggi, Antonella 1 Romero, Miguel 1 Schwentick, Thomas 1 Shvartser, L. V. 1 Soto, Adrián 1 Spencer, Joel H. 1 Tan, Wang-Chiew 1 Tannen, Val 1 Thalheim, Bernhard 1 Vardi, Moshe Ya’akov 1 Venema, Yde 1 Vianu, Victor 1 Weinstein, Scott 1 Wu, Yinghui all top 5 Serials 12 Journal of the ACM 8 Journal of Computer and System Sciences 6 Theoretical Computer Science 5 Information Processing Letters 5 ACM Transactions on Computational Logic 4 Automation and Remote Control 4 Lecture Notes in Computer Science 4 Logical Methods in Computer Science 3 ACM Transactions on Database Systems 3 Acta Cybernetica 3 Algebra Universalis 3 SIAM Journal on Computing 3 Information and Computation 3 Theory of Computing Systems 2 Artificial Intelligence 2 Discrete Mathematics 2 Texts in Theoretical Computer Science. An EATCS Series 1 Discrete Applied Mathematics 1 Periodica Mathematica Hungarica 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Soviet Mathematics. Doklady 1 Studia Scientiarum Mathematicarum Hungarica 1 Mathematical Social Sciences 1 Annals of Pure and Applied Logic 1 Journal of Information Processing and Cybernetics 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Logic Journal of the IGPL 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Applied Logic 1 Uporyadochennye Mnozhestva i Reshetki. Ordered Sets and Lattices 1 Frontiers of Computer Science 1 Synthesis Lectures on Data Management all top 5 Fields 99 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 10 General and overarching topics; collections (00-XX) 4 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Operator theory (47-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 90 Publications have been cited 645 times in 457 Documents Cited by ▼ Year ▼ Elements of finite model theory. Zbl 1060.03002Libkin, Leonid 163 2004 On XML integrity constraints in the presence of DTDs. Zbl 1326.68120Fan, Wenfei; Libkin, Leonid 26 2002 Finite model theory and its applications. Zbl 1133.03001Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott 26 2007 Relational expressive power of constraint query languages. Zbl 0902.68047Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon 21 1998 First-order and temporal logics for nested words. Zbl 1159.03018Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 20 2008 Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B. 19 1992 Constraint databases. Zbl 0935.00022 18 2000 Query languages for bags and aggregate functions. Zbl 0887.68022Libkin, Leonid; Wong, Limsoon 17 1997 XML data exchange: consistency and query answering. Zbl 1326.68116Arenas, Marcelo; Libkin, Leonid 17 2008 Relational and XML data exchange. Zbl 1216.68003Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip 15 2010 On the complexity of verifying consistency of XML specifications. Zbl 1186.68156Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 12 2008 Logics with aggregate operators. Zbl 1127.68367Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon 11 2001 Definable relations and first-order query languages over strings. Zbl 1325.03031Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc 10 2003 Notions of locality and their logical characterizations over finite models. Zbl 0946.03012Hella, Lauri; Libkin, Leonid; Nurmonen, Juha 10 1999 Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026Gottlob, G.; Libkin, L. 10 1990 Logics with counting and local properties. Zbl 1365.03025Libkin, Leonid 9 2000 Regular expressions for data words. Zbl 1320.68113Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 9 2015 Logics for unranked trees: an overview. Zbl 1126.03039Libkin, Leonid 9 2006 Querying regular graph patterns. Zbl 1295.68125Barceló, Pablo; Libkin, Leonid; Reutter, Juan L. 9 2014 Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004Libkin, L. 8 1995 XML with incomplete information. Zbl 1327.68088Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina 8 2010 Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061Figueira, Diego; Libkin, Leonid 8 2015 An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021Arenas, Marcelo; Libkin, Leonid 8 2005 Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 8 2007 Relational queries over interpreted structures. Zbl 1327.68089Benedikt, Michael; Libkin, Leonid 7 2000 Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416To, Anthony Widjaja; Libkin, Leonid 7 2010 Consistency of XML specifications. Zbl 1111.68662Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 6 2004 Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093Libkin, Leonid; Sirangelo, Cristina 6 2011 Safe constraint queries. Zbl 0949.68061Benedikt, Michael; Libkin, Leonid 6 2000 SQL’s three-valued logic and certain answers. Zbl 1365.68213Libkin, Leonid 5 2015 What’s hard about XML schema constraints? Zbl 1017.68566Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 5 2002 Parameterized regular expressions and their languages. Zbl 1259.68104Barceló, Pablo; Reutter, Juan; Libkin, Leonid 5 2013 Incremental recomputation in local languages. Zbl 1054.68085Dong, Guozhu; Libkin, Leonid; Wong, Limsoon 5 2003 Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027Libkin, Leonid; Wong, Limsoon 4 1994 Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2012 Certain answers as objects and knowledge. Zbl 1351.68090Libkin, Leonid 4 2016 Local properties of query languages. Zbl 0945.68045Dong, G.; Libkin, L.; Wong, L. 4 2000 Graph logics with rational relations. Zbl 1272.03147Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2013 Reasoning about XML with temporal logics and automata. Zbl 1182.68123Libkin, Leonid; Sirangelo, Cristina 4 2008 Regular expressions for data words. Zbl 1352.68136Libkin, Leonid; Vrgoč, Domagoj 4 2012 Querying graphs with data. Zbl 1426.68080Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj 4 2016 Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050Benedikt, Michael; Libkin, Leonid; Neven, Frank 3 2007 Parallel axiom in convexity lattices. Zbl 0768.06008Libkin, L. O. 3 1992 On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya 3 1992 \(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010Libkin, L. 3 1995 On representation and querying incomplete information in databases with bags. Zbl 0875.68354Libkin, Leonid; Wong, Limsoon 3 1995 Separatory subsemilattices and their properties. Zbl 0676.06011Libkin, L. O.; Muchnik, I. B. 3 1988 On a subsemilattice-lattice of a semilattice. Zbl 0676.06012Libkin, L. O.; Muchnik, I. B. 3 1988 Reachability and connectivity queries in constraint databases. Zbl 1026.68036Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc 3 2003 On the satisfiability of two-variable logic over data words. Zbl 1307.03020David, Claire; Libkin, Leonid; Tan, Tony 3 2010 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 3 2012 Logics for unranked trees: An overview. Zbl 1084.68028Libkin, Leonid 3 2005 On relational database schemes having unique minimal key. Zbl 0731.68029Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B. 3 1991 Absolutely determined matrices. Zbl 0712.15025Gurvich, Vladimir A.; Libkin, Leonid O. 3 1990 Minimal sets of choice functions generating the basic classes. Zbl 0798.90008Libkin, L. O. 2 1988 Trees as semilattices. Zbl 0829.06004Libkin, Leonid; Gurvich, Vladimir 2 1995 Semantic representations and query languages for or-sets. Zbl 0846.68028Libkin, Leonid; Wong, Limsoon 2 1996 Aggregate operators in constraint query languages. Zbl 1052.68024Benedikt, Michael; Libkin, Leonid 2 2002 Synchronizing relations on words. Zbl 1335.68118Figueira, Diego; Libkin, Leonid 2 2015 Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081Gheerbrant, Amélie; Libkin, Leonid 2 2015 On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583Libkin, Leonid; Wong, Limsoon 2 2000 Models of approximation in databases. Zbl 0903.68059Libkin, Leonid 2 1998 Reasoning about XML with temporal logics and automata. Zbl 1192.68435Libkin, Leonid; Sirangelo, Cristina 2 2010 Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 2 2013 Efficient approximations of conjunctive queries. Zbl 1308.68052Barceló, Pablo; Libkin, Leonid; Romero, Miguel 2 2014 Quasilinear set functions and absolute definite matrices. Zbl 0713.90097Gurvich, V. A.; Libkin, L. O. 2 1989 Quasilinear monotone systems. Zbl 0718.90097Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V. 2 1989 Separatory sublattices and subsemilattices. Zbl 0741.06004Libkin, L.; Muchnik, I. 2 1992 Expressive power of SQL. Zbl 1045.68053Libkin, Leonid 2 2003 SQL’s three-valued logic and certain answers. Zbl 1474.68108Libkin, Leonid 1 2016 Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084Gurvich, V. A.; Libkin, L. O. 1 1991 The lattice of subsemilattices of a semilattice. Zbl 0797.06003Libkin, Leonid; Muchnik, Ilya 1 1994 Normal form relation schemes: A new characterization. Zbl 0787.68033Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya 1 1992 Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003Libkin, Leonid 1 1993 Lower bounds for invariant queries in logics with counting. Zbl 1058.03030Libkin, Leonid; Wong, Limsoon 1 2002 Logics capturing local properties. Zbl 1365.03026Libkin, Leonid 1 2001 A collapse result for constraint queries over structures of small degree. Zbl 1162.68418Libkin, Leonid 1 2003 Synchronizing relations on words. Zbl 1359.68240Figueira, Diego; Libkin, Leonid 1 2014 On the aggregation problem for synthesized web services. Zbl 1408.68029Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui 1 2013 On counting logics and local properties. Zbl 0945.03547Libkin, Leonid 1 1998 Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083Libkin, Leonid 1 2000 Query safety with constraints. Zbl 0989.68045Benedikt, Michael; Libkin, Leonid 1 2000 Game-based notions of locality over finite models. Zbl 1095.03020Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2004 Verifiable properties of database transactions. Zbl 0927.68032Benedikt, Michael; Griffin, Timothy; Libkin, Leonid 1 1998 Semantics in databases. Zbl 0885.68006 1 1998 Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012Libkin, Leonid; Wong, Limsoon 1 1998 Disjoint pattern matching and implication in strings. Zbl 1209.68175Libkin, Leonid; Sirangelo, Cristina 1 2010 Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2011 Pattern logics and auxiliary relations. Zbl 1394.68095Figueira, Diego; Libkin, Leonid 1 2014 Recurrent reachability analysis in regular model checking. Zbl 1182.68125To, Anthony Widjaja; Libkin, Leonid 1 2008 Certain answers as objects and knowledge. Zbl 1351.68090Libkin, Leonid 4 2016 Querying graphs with data. Zbl 1426.68080Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj 4 2016 SQL’s three-valued logic and certain answers. Zbl 1474.68108Libkin, Leonid 1 2016 Regular expressions for data words. Zbl 1320.68113Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 9 2015 Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061Figueira, Diego; Libkin, Leonid 8 2015 SQL’s three-valued logic and certain answers. Zbl 1365.68213Libkin, Leonid 5 2015 Synchronizing relations on words. Zbl 1335.68118Figueira, Diego; Libkin, Leonid 2 2015 Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081Gheerbrant, Amélie; Libkin, Leonid 2 2015 Querying regular graph patterns. Zbl 1295.68125Barceló, Pablo; Libkin, Leonid; Reutter, Juan L. 9 2014 Efficient approximations of conjunctive queries. Zbl 1308.68052Barceló, Pablo; Libkin, Leonid; Romero, Miguel 2 2014 Synchronizing relations on words. Zbl 1359.68240Figueira, Diego; Libkin, Leonid 1 2014 Pattern logics and auxiliary relations. Zbl 1394.68095Figueira, Diego; Libkin, Leonid 1 2014 Parameterized regular expressions and their languages. Zbl 1259.68104Barceló, Pablo; Reutter, Juan; Libkin, Leonid 5 2013 Graph logics with rational relations. Zbl 1272.03147Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2013 Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 2 2013 On the aggregation problem for synthesized web services. Zbl 1408.68029Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui 1 2013 Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2012 Regular expressions for data words. Zbl 1352.68136Libkin, Leonid; Vrgoč, Domagoj 4 2012 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 3 2012 Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093Libkin, Leonid; Sirangelo, Cristina 6 2011 Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2011 Relational and XML data exchange. Zbl 1216.68003Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip 15 2010 XML with incomplete information. Zbl 1327.68088Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina 8 2010 Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416To, Anthony Widjaja; Libkin, Leonid 7 2010 On the satisfiability of two-variable logic over data words. Zbl 1307.03020David, Claire; Libkin, Leonid; Tan, Tony 3 2010 Reasoning about XML with temporal logics and automata. Zbl 1192.68435Libkin, Leonid; Sirangelo, Cristina 2 2010 Disjoint pattern matching and implication in strings. Zbl 1209.68175Libkin, Leonid; Sirangelo, Cristina 1 2010 First-order and temporal logics for nested words. Zbl 1159.03018Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 20 2008 XML data exchange: consistency and query answering. Zbl 1326.68116Arenas, Marcelo; Libkin, Leonid 17 2008 On the complexity of verifying consistency of XML specifications. Zbl 1186.68156Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 12 2008 Reasoning about XML with temporal logics and automata. Zbl 1182.68123Libkin, Leonid; Sirangelo, Cristina 4 2008 Recurrent reachability analysis in regular model checking. Zbl 1182.68125To, Anthony Widjaja; Libkin, Leonid 1 2008 Finite model theory and its applications. Zbl 1133.03001Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott 26 2007 Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 8 2007 Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050Benedikt, Michael; Libkin, Leonid; Neven, Frank 3 2007 Logics for unranked trees: an overview. Zbl 1126.03039Libkin, Leonid 9 2006 An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021Arenas, Marcelo; Libkin, Leonid 8 2005 Logics for unranked trees: An overview. Zbl 1084.68028Libkin, Leonid 3 2005 Elements of finite model theory. Zbl 1060.03002Libkin, Leonid 163 2004 Consistency of XML specifications. Zbl 1111.68662Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 6 2004 Game-based notions of locality over finite models. Zbl 1095.03020Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2004 Definable relations and first-order query languages over strings. Zbl 1325.03031Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc 10 2003 Incremental recomputation in local languages. Zbl 1054.68085Dong, Guozhu; Libkin, Leonid; Wong, Limsoon 5 2003 Reachability and connectivity queries in constraint databases. Zbl 1026.68036Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc 3 2003 Expressive power of SQL. Zbl 1045.68053Libkin, Leonid 2 2003 A collapse result for constraint queries over structures of small degree. Zbl 1162.68418Libkin, Leonid 1 2003 On XML integrity constraints in the presence of DTDs. Zbl 1326.68120Fan, Wenfei; Libkin, Leonid 26 2002 What’s hard about XML schema constraints? Zbl 1017.68566Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 5 2002 Aggregate operators in constraint query languages. Zbl 1052.68024Benedikt, Michael; Libkin, Leonid 2 2002 Lower bounds for invariant queries in logics with counting. Zbl 1058.03030Libkin, Leonid; Wong, Limsoon 1 2002 Logics with aggregate operators. Zbl 1127.68367Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon 11 2001 Logics capturing local properties. Zbl 1365.03026Libkin, Leonid 1 2001 Constraint databases. Zbl 0935.00022 18 2000 Logics with counting and local properties. Zbl 1365.03025Libkin, Leonid 9 2000 Relational queries over interpreted structures. Zbl 1327.68089Benedikt, Michael; Libkin, Leonid 7 2000 Safe constraint queries. Zbl 0949.68061Benedikt, Michael; Libkin, Leonid 6 2000 Local properties of query languages. Zbl 0945.68045Dong, G.; Libkin, L.; Wong, L. 4 2000 On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583Libkin, Leonid; Wong, Limsoon 2 2000 Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083Libkin, Leonid 1 2000 Query safety with constraints. Zbl 0989.68045Benedikt, Michael; Libkin, Leonid 1 2000 Notions of locality and their logical characterizations over finite models. Zbl 0946.03012Hella, Lauri; Libkin, Leonid; Nurmonen, Juha 10 1999 Relational expressive power of constraint query languages. Zbl 0902.68047Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon 21 1998 Models of approximation in databases. Zbl 0903.68059Libkin, Leonid 2 1998 On counting logics and local properties. Zbl 0945.03547Libkin, Leonid 1 1998 Verifiable properties of database transactions. Zbl 0927.68032Benedikt, Michael; Griffin, Timothy; Libkin, Leonid 1 1998 Semantics in databases. Zbl 0885.68006 1 1998 Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012Libkin, Leonid; Wong, Limsoon 1 1998 Query languages for bags and aggregate functions. Zbl 0887.68022Libkin, Leonid; Wong, Limsoon 17 1997 Semantic representations and query languages for or-sets. Zbl 0846.68028Libkin, Leonid; Wong, Limsoon 2 1996 Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004Libkin, L. 8 1995 \(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010Libkin, L. 3 1995 On representation and querying incomplete information in databases with bags. Zbl 0875.68354Libkin, Leonid; Wong, Limsoon 3 1995 Trees as semilattices. Zbl 0829.06004Libkin, Leonid; Gurvich, Vladimir 2 1995 Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027Libkin, Leonid; Wong, Limsoon 4 1994 The lattice of subsemilattices of a semilattice. Zbl 0797.06003Libkin, Leonid; Muchnik, Ilya 1 1994 Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003Libkin, Leonid 1 1993 Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B. 19 1992 Parallel axiom in convexity lattices. Zbl 0768.06008Libkin, L. O. 3 1992 On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya 3 1992 Separatory sublattices and subsemilattices. Zbl 0741.06004Libkin, L.; Muchnik, I. 2 1992 Normal form relation schemes: A new characterization. Zbl 0787.68033Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya 1 1992 On relational database schemes having unique minimal key. Zbl 0731.68029Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B. 3 1991 Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084Gurvich, V. A.; Libkin, L. O. 1 1991 Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026Gottlob, G.; Libkin, L. 10 1990 Absolutely determined matrices. Zbl 0712.15025Gurvich, Vladimir A.; Libkin, Leonid O. 3 1990 Quasilinear set functions and absolute definite matrices. Zbl 0713.90097Gurvich, V. A.; Libkin, L. O. 2 1989 Quasilinear monotone systems. Zbl 0718.90097Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V. 2 1989 Separatory subsemilattices and their properties. Zbl 0676.06011Libkin, L. O.; Muchnik, I. B. 3 1988 On a subsemilattice-lattice of a semilattice. Zbl 0676.06012Libkin, L. O.; Muchnik, I. B. 3 1988 Minimal sets of choice functions generating the basic classes. Zbl 0798.90008Libkin, L. O. 2 1988 all cited Publications top 5 cited Publications all top 5 Cited by 675 Authors 31 Libkin, Leonid O. 10 Link, Sebastian 10 Schwentick, Thomas 10 Zhukovskiĭ, Maksim Evgen’evich 9 Barceló, Pablo 9 Grohe, Martin 9 Van den Bussche, Jan 8 Hartmann, Sven 8 Van Gucht, Dirk 7 Arenas, Marcelo 7 Bollig, Benedikt 7 Gyssens, Marc 7 Makowsky, Johann-Andreas 7 Reutter, Juan L. 6 Benedikt, Michael A. 6 Demetrovics, János 6 Gurvich, Vladimir A. 6 Kuske, Dietrich 6 Schweikardt, Nicole 6 Wong, Limsoon 6 Zeume, Thomas 5 Courcelle, Bruno 5 Dawar, Anuj 5 Filiot, Emmanuel 5 Geerts, Floris 5 Kuijpers, Bart H. M. 5 Lohrey, Markus 5 Mandrioli, Dino 5 Pradella, Matteo 5 Salomaa, Kai T. 5 Segoufin, Luc 5 Vrgoč, Domagoj 4 Abramsky, Samson 4 Biskup, Joachim 4 Ferrarotti, Flavio Antonio 4 Kolaitis, Phokion G. 4 Kotek, Tomer 4 Lin, Anthony Widjaja 4 Makino, Kazuhisa 4 Martins, Ana Teresa 4 Vianu, Victor 3 Abiteboul, Serge 3 Asher, Nicholas M. 3 Björklund, Henrik 3 Boros, Endre 3 Bozzelli, Laura 3 Chirkova, Rada 3 Choffrut, Christian 3 Chomicki, Jan 3 Czédli, Gábor 3 Durand, Arnaud 3 Fagin, Ronald 3 Fan, Wenfei 3 Gagliardi Cozman, Fabio 3 Ganian, Robert 3 Göller, Stefan 3 Grigorieff, Serge 3 Grimson, Rafael 3 Hella, Lauri T. 3 Khoussainov, Bakhadyr M. 3 Köhler, Henning 3 Kostylev, Egor V. 3 Krebs, Andreas 3 Kuusisto, Antti 3 Liu, Jiamou 3 Liu, Jixue 3 Malyshkin, Yu. A. 3 Mauá, Denis Deratani 3 Michaliszyn, Jakub 3 Muchnik, Ilya B. 3 Murlak, Filip 3 Muscholl, Anca 3 Napoli, Amedeo 3 Niehren, Joachim 3 Paredaens, Jan 3 Paul, Soumya 3 Pichler, Reinhard 3 Raskin, Jean-François 3 Reynier, Pierre-Alain 3 Riveros, Cristian 3 Schewe, Klaus-Dieter 3 Seki, Hiroyuki 3 Szeider, Stefan 3 Takata, Yoshiaki 3 Tan, Tony 3 Turull Torres, Jose Maria 3 Tyszkiewicz, Jerzy 3 Vandeurzen, Luc 3 Veith, Helmut 3 Verbitsky, Oleg 3 Vincent, Millist W. 3 Vortmeier, Nils 3 Wijsen, Jef 3 Zapata, Octavio 3 Zeitoun, Marc 2 Adaricheva, Kira Vladislavovna 2 Aminof, Benjamin 2 Atig, Mohamed Faouzi 2 Atserias, Albert 2 Becerra-Terón, Antonio ...and 575 more Authors all top 5 Cited in 81 Serials 49 Journal of Computer and System Sciences 40 Theoretical Computer Science 26 Theory of Computing Systems 20 Information and Computation 18 Annals of Mathematics and Artificial Intelligence 17 Logical Methods in Computer Science 14 Discrete Applied Mathematics 13 Artificial Intelligence 11 Annals of Pure and Applied Logic 9 Discrete Mathematics 9 Information Processing Letters 9 ACM Transactions on Computational Logic 7 Acta Informatica 7 Journal of Applied Logic 6 The Journal of Symbolic Logic 5 SIAM Journal on Computing 5 International Journal of Approximate Reasoning 5 Doklady Mathematics 4 Information Sciences 4 Studia Logica 3 Mathematical Social Sciences 3 Journal of Automated Reasoning 3 Formal Methods in System Design 3 Mathematical Logic Quarterly (MLQ) 3 Journal of the ACM 2 Algebra Universalis 2 Fuzzy Sets and Systems 2 Transactions of the American Mathematical Society 2 New Generation Computing 2 Applied Mathematics Letters 2 MSCS. Mathematical Structures in Computer Science 2 International Journal of Foundations of Computer Science 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 The Journal of Logic and Algebraic Programming 2 Computer Science Review 1 Computers & Mathematics with Applications 1 Mathematical Notes 1 Acta Scientiarum Mathematicarum 1 Advances in Mathematics 1 Archivum Mathematicum 1 International Journal of Game Theory 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Notre Dame Journal of Formal Logic 1 Topology and its Applications 1 Combinatorica 1 Order 1 Journal of Complexity 1 Algorithmica 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Algebra and Computation 1 International Journal of Computer Mathematics 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Archive for Mathematical Logic 1 Applicable Algebra in Engineering, Communication and Computing 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 Constraints 1 Journal of Combinatorial Optimization 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Mathematical Logic 1 Lobachevskii Journal of Mathematics 1 Journal of the Australian Mathematical Society 1 Theory and Practice of Logic Programming 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Algebra and Discrete Mathematics 1 Proceedings of the Steklov Institute of Mathematics 1 Advances in Data Analysis and Classification. ADAC 1 Algorithms 1 Frontiers of Computer Science 1 ACM Transactions on Computation Theory 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 28 Fields 374 Computer science (68-XX) 190 Mathematical logic and foundations (03-XX) 41 Combinatorics (05-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General algebraic systems (08-XX) 6 Probability theory and stochastic processes (60-XX) 5 Convex and discrete geometry (52-XX) 5 Statistics (62-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Operations research, mathematical programming (90-XX) 3 History and biography (01-XX) 3 Category theory; homological algebra (18-XX) 3 Geometry (51-XX) 3 General topology (54-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 2 Mathematics education (97-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.