Edit Profile Libkin, Leonid O. Compute Distance To: Compute Author ID: libkin.leonid-o Published as: Libkin, L.; Libkin, L. O.; Libkin, Leonid; Libkin, Leonid O. External Links: MGP · Wikidata · dblp · GND Documents Indexed: 117 Publications since 1988, including 9 Books all top 5 Co-Authors 27 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 5 Reutter, Juan L. 5 Sirangelo, Cristina 4 Demetrovics, János 4 Gurvich, Vladimir A. 4 Vrgoč, Domagoj 3 De Queiroz, Ruy José Guerra Barretto 3 Dong, Guozhu 3 Kohlenbach, Ulrich Wilhelm 3 Nurmonen, Juha 3 Tan, Tony 2 David, Claire 2 Eiter, Thomas 2 Gheerbrant, Amélie 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 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 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 Spencer, Joel H. 1 Tan, Wang-Chiew 1 Tannen, Val 1 Thalheim, Bernhard 1 Vardi, Moshe Y. 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 Acta Cybernetica 3 Algebra Universalis 3 SIAM Journal on Computing 3 Information and Computation 3 Theory of Computing Systems 2 Discrete Mathematics 2 Texts in Theoretical Computer Science. An EATCS Series 1 Artificial Intelligence 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 95 Computer science (68-XX) 37 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 91 Publications have been cited 612 times in 420 Documents Cited by ▼ Year ▼ Elements of finite model theory. Zbl 1060.03002Libkin, Leonid 140 2004 On XML integrity constraints in the presence of DTDs. Zbl 1326.68120Fan, Wenfei; Libkin, Leonid 25 2002 Relational expressive power of constraint query languages. Zbl 0902.68047Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon 25 1998 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 23 2007 Constraint databases. Zbl 0935.00022Kuper, Gabriel (ed.); Libkin, Leonid (ed.); Paredaens, Jan (ed.) 22 2000 First-order and temporal logics for nested words. Zbl 1159.03018Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 21 2008 Relational and XML data exchange. Zbl 1216.68003Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip 17 2010 Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B. 17 1992 XML data exchange: consistency and query answering. Zbl 1326.68116Arenas, Marcelo; Libkin, Leonid 16 2008 Query languages for bags and aggregate functions. Zbl 0887.68022Libkin, Leonid; Wong, Limsoon 14 1997 On the complexity of verifying consistency of XML specifications. Zbl 1186.68156Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 11 2008 Querying regular graph patterns. Zbl 1295.68125Barceló, Pablo; Libkin, Leonid; Reutter, Juan L. 10 2014 XML with incomplete information. Zbl 1327.68088Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina 10 2010 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 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 9 2005 Definable relations and first-order query languages over strings. Zbl 1325.03031Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc 9 2003 Logics with counting and local properties. Zbl 1365.03025Libkin, Leonid 9 2000 Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 8 2007 Logics with aggregate operators. Zbl 1127.68367Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon 8 2001 Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004Libkin, L. 8 1995 Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416To, Anthony Widjaja; Libkin, Leonid 7 2010 Relational queries over interpreted structures. Zbl 1327.68089Benedikt, Michael; Libkin, Leonid 7 2000 Safe constraint queries. Zbl 0949.68061Benedikt, Michael; Libkin, Leonid 7 2000 Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093Libkin, Leonid; Sirangelo, Cristina 6 2011 Consistency of XML specifications. Zbl 1111.68662Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 6 2004 Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061Figueira, Diego; Libkin, Leonid 5 2015 SQL’s three-valued logic and certain answers. Zbl 1365.68213Libkin, Leonid 5 2015 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 What’s hard about XML schema constraints? Zbl 1017.68566Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 5 2002 Certain answers as objects and knowledge. Zbl 1351.68090Libkin, Leonid 4 2016 Regular expressions for data words. Zbl 1320.68113Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 4 2015 Graph logics with rational relations. Zbl 1272.03147Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2013 Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063Barceló, Pablo; Figueira, Diego; Libkin, Leonid 4 2012 Reasoning about XML with temporal logics and automata. Zbl 1182.68123Libkin, Leonid; Sirangelo, Cristina 4 2008 Local properties of query languages. Zbl 0945.68045Dong, G.; Libkin, L.; Wong, L. 4 2000 Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027Libkin, Leonid; Wong, Limsoon 4 1994 Absolutely determined matrices. Zbl 0712.15025Gurvich, Vladimir A.; Libkin, Leonid O. 4 1990 Querying graphs with data. Zbl 1426.68080Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj 3 2016 Efficient approximations of conjunctive queries. Zbl 1308.68052Barceló, Pablo; Libkin, Leonid; Romero, Miguel 3 2014 Regular expressions for data words. Zbl 1352.68136Libkin, Leonid; Vrgoč, Domagoj 3 2012 On the satisfiability of two-variable logic over data words. Zbl 1307.03020David, Claire; Libkin, Leonid; Tan, Tony 3 2010 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 1084.68028Libkin, Leonid 3 2005 On representation and querying incomplete information in databases with bags. Zbl 0875.68354Libkin, Leonid; Wong, Limsoon 3 1995 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 Parallel axiom in convexity lattices. Zbl 0768.06008Libkin, L. O. 3 1992 On relational database schemes having unique minimal key. Zbl 0731.68029Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B. 3 1991 On a subsemilattice-lattice of a semilattice. Zbl 0676.06012Libkin, L. O.; Muchnik, I. B. 3 1988 Separatory subsemilattices and their properties. Zbl 0676.06011Libkin, L. O.; Muchnik, I. B. 3 1988 Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081Gheerbrant, Amélie; Libkin, Leonid 2 2015 Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 2 2013 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 2 2012 Reasoning about XML with temporal logics and automata. Zbl 1192.68435Libkin, Leonid; Sirangelo, Cristina 2 2010 Reachability and connectivity queries in constraint databases. Zbl 1026.68036Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc 2 2003 Aggregate operators in constraint query languages. Zbl 1052.68024Benedikt, Michael; Libkin, Leonid 2 2002 On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583Libkin, Leonid; Wong, Limsoon 2 2000 Verifiable properties of database transactions. Zbl 0927.68032Benedikt, Michael; Griffin, Timothy; Libkin, Leonid 2 1998 Models of approximation in databases. Zbl 0903.68059Libkin, Leonid 2 1998 Semantic representations and query languages for or-sets. Zbl 0846.68028Libkin, Leonid; Wong, Limsoon 2 1996 \(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010Libkin, L. 2 1995 Trees as semilattices. Zbl 0829.06004Libkin, Leonid; Gurvich, Vladimir 2 1995 Separatory sublattices and subsemilattices. Zbl 0741.06004Libkin, L.; Muchnik, I. 2 1992 Quasilinear monotone systems. Zbl 0718.90097Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V. 2 1989 Quasilinear set functions and absolute definite matrices. Zbl 0713.90097Gurvich, V. A.; Libkin, L. O. 2 1989 Minimal sets of choice functions generating the basic classes. Zbl 0798.90008Libkin, L. O. 2 1988 Synchronizing relations on words. Zbl 1335.68118Figueira, Diego; Libkin, Leonid 1 2015 Pattern logics and auxiliary relations. Zbl 1394.68095Figueira, Diego; Libkin, Leonid 1 2014 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 Solutions and query rewriting in data exchange. Zbl 1358.68156Arenas, Marcelo; Barceló, Pablo; Fagin, Ronald; Libkin, Leonid 1 2013 Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2011 Disjoint pattern matching and implication in strings. Zbl 1209.68175Libkin, Leonid; Sirangelo, Cristina 1 2010 Recurrent reachability analysis in regular model checking. Zbl 1182.68125To, Anthony Widjaja; Libkin, Leonid 1 2008 Embedded finite models. Zbl 1169.68388Libkin, Leonid 1 2006 Game-based notions of locality over finite models. Zbl 1095.03020Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid 1 2004 A collapse result for constraint queries over structures of small degree. Zbl 1162.68418Libkin, Leonid 1 2003 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 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 Logics capturing local properties. Zbl 0953.03040Libkin, Leonid 1 2000 On counting logics and local properties. Zbl 0945.03547Libkin, Leonid 1 1998 Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012Libkin, Leonid; Wong, Limsoon 1 1998 Semantics in databases. Zbl 0885.68006Thalheim, Bernhard (ed.); Libkin, Leonid (ed.) 1 1998 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 Normal form relation schemes: A new characterization. Zbl 0787.68033Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya 1 1992 Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084Gurvich, V. A.; Libkin, L. O. 1 1991 Certain answers as objects and knowledge. Zbl 1351.68090Libkin, Leonid 4 2016 Querying graphs with data. Zbl 1426.68080Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj 3 2016 Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061Figueira, Diego; Libkin, Leonid 5 2015 SQL’s three-valued logic and certain answers. Zbl 1365.68213Libkin, Leonid 5 2015 Regular expressions for data words. Zbl 1320.68113Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj 4 2015 Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081Gheerbrant, Amélie; Libkin, Leonid 2 2015 Synchronizing relations on words. Zbl 1335.68118Figueira, Diego; Libkin, Leonid 1 2015 Querying regular graph patterns. Zbl 1295.68125Barceló, Pablo; Libkin, Leonid; Reutter, Juan L. 10 2014 Efficient approximations of conjunctive queries. Zbl 1308.68052Barceló, Pablo; Libkin, Leonid; Romero, Miguel 3 2014 Pattern logics and auxiliary relations. Zbl 1394.68095Figueira, Diego; Libkin, Leonid 1 2014 Synchronizing relations on words. Zbl 1359.68240Figueira, 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 Solutions and query rewriting in data exchange. Zbl 1358.68156Arenas, Marcelo; Barceló, Pablo; Fagin, Ronald; Libkin, Leonid 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 3 2012 Tractable XML data exchange via relations. Zbl 1251.68083Chirkova, Rada; Libkin, Leonid; Reutter, Juan L. 2 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 17 2010 XML with incomplete information. Zbl 1327.68088Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina 10 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 21 2008 XML data exchange: consistency and query answering. Zbl 1326.68116Arenas, Marcelo; Libkin, Leonid 16 2008 On the complexity of verifying consistency of XML specifications. Zbl 1186.68156Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid 11 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 23 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 Embedded finite models. Zbl 1169.68388Libkin, Leonid 1 2006 An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021Arenas, Marcelo; Libkin, Leonid 9 2005 Logics for unranked trees: An overview. Zbl 1084.68028Libkin, Leonid 3 2005 Elements of finite model theory. Zbl 1060.03002Libkin, Leonid 140 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 9 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 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 25 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 8 2001 Logics capturing local properties. Zbl 1365.03026Libkin, Leonid 1 2001 Constraint databases. Zbl 0935.00022Kuper, Gabriel (ed.); Libkin, Leonid (ed.); Paredaens, Jan (ed.) 22 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 7 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 Logics capturing local properties. Zbl 0953.03040Libkin, 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 25 1998 Verifiable properties of database transactions. Zbl 0927.68032Benedikt, Michael; Griffin, Timothy; Libkin, Leonid 2 1998 Models of approximation in databases. Zbl 0903.68059Libkin, Leonid 2 1998 On counting logics and local properties. Zbl 0945.03547Libkin, Leonid 1 1998 Unary quantifiers, transitive closure, and relations of large degree. Zbl 0893.03012Libkin, Leonid; Wong, Limsoon 1 1998 Semantics in databases. Zbl 0885.68006Thalheim, Bernhard (ed.); Libkin, Leonid (ed.) 1 1998 Query languages for bags and aggregate functions. Zbl 0887.68022Libkin, Leonid; Wong, Limsoon 14 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 On representation and querying incomplete information in databases with bags. Zbl 0875.68354Libkin, Leonid; Wong, Limsoon 3 1995 \(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010Libkin, L. 2 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. 17 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 Parallel axiom in convexity lattices. Zbl 0768.06008Libkin, L. O. 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. 4 1990 Quasilinear monotone systems. Zbl 0718.90097Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V. 2 1989 Quasilinear set functions and absolute definite matrices. Zbl 0713.90097Gurvich, V. A.; Libkin, L. O. 2 1989 On a subsemilattice-lattice of a semilattice. Zbl 0676.06012Libkin, L. O.; Muchnik, I. B. 3 1988 Separatory subsemilattices and their properties. Zbl 0676.06011Libkin, 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 617 Authors 32 Libkin, Leonid O. 12 Link, Sebastian 10 Barceló, Pablo 9 Grohe, Martin 9 Hartmann, Sven 9 Schwentick, Thomas 9 Van den Bussche, Jan 8 Van Gucht, Dirk 7 Arenas, Marcelo 7 Bollig, Benedikt 7 Makowsky, Johann-Andreas 7 Reutter, Juan L. 7 Zhukovskii, Maxim Evgenievich 6 Benedikt, Michael A. 6 Dawar, Anuj 6 Demetrovics, János 6 Gurvich, Vladimir A. 6 Gyssens, Marc 6 Kuske, Dietrich 6 Schweikardt, Nicole 6 Wong, Limsoon 5 Courcelle, Bruno 5 Kuijpers, Bart H. M. 5 Lohrey, Markus 5 Martins, Ana Teresa 5 Salomaa, Kai T. 5 Segoufin, Luc 5 Vrgoč, Domagoj 5 Zeume, Thomas 4 Biskup, Joachim 4 Bozzelli, Laura 4 Ferrarotti, Flavio Antonio 4 Filiot, Emmanuel 4 Geerts, Floris 4 Kotek, Tomer 4 Lin, Anthony Widjaja 4 Makino, Kazuhisa 4 Mandrioli, Dino 4 Pradella, Matteo 4 Szeider, Stefan 4 Vianu, Victor 4 Zapata, Octavio 3 Abiteboul, Serge 3 Abramsky, Samson 3 Asher, Nicholas M. 3 Björklund, Henrik 3 Boros, Endre 3 Chirkova, Rada 3 Choffrut, Christian 3 David, Claire 3 Durand, Arnaud 3 Fagin, Ronald 3 Fan, Wenfei 3 Ganian, Robert 3 Göller, Stefan 3 Grigorieff, Serge 3 Grimson, Rafael 3 Gurov, Dilian 3 Huisman, Marieke 3 Köhler, Henning 3 Kolaitis, Phokion G. 3 Kostylev, Egor V. 3 Krebs, Andreas 3 Kuusisto, Antti 3 Liu, Jiamou 3 Liu, Jixue 3 Martens, Wim 3 Mauá, Denis Deratani 3 Muchnik, Ilya B. 3 Murlak, Filip 3 Niehren, Joachim 3 Paredaens, Jan 3 Paul, Soumya 3 Pichler, Reinhard 3 Raskin, Jean-François 3 Schewe, Klaus-Dieter 3 Severini, Simone 3 Su, Jianwen 3 Taĭtslin, Mikhail Abramovich 3 Tan, Tony 3 Turull Torres, Jose Maria 3 Tyszkiewicz, Jerzy 3 Vandeurzen, Luc 3 Vardi, Moshe Y. 3 Veith, Helmut 3 Verbitsky, Oleg 3 Vincent, Millist W. 3 Zeitoun, Marc 2 Adaricheva, Kira Vladislavovna 2 Amano, Shun’ichi 2 Aminof, Benjamin 2 Atserias, Albert 2 Becerra-Terón, Antonio 2 Berghammer, Rudolf 2 Blumensath, Achim 2 Botoeva, Elena 2 Calvanese, Diego 2 Chapuis, Olivier 2 Chomicki, Jan 2 Colomb, Pierre ...and 517 more Authors all top 5 Cited in 74 Serials 51 Journal of Computer and System Sciences 41 Theoretical Computer Science 24 Theory of Computing Systems 20 Information and Computation 15 Annals of Mathematics and Artificial Intelligence 13 Discrete Applied Mathematics 13 Information Processing Letters 13 Logical Methods in Computer Science 12 Annals of Pure and Applied Logic 10 Artificial Intelligence 9 ACM Transactions on Computational Logic 8 Discrete Mathematics 7 Acta Informatica 7 Journal of Applied Logic 6 The Journal of Symbolic Logic 5 SIAM Journal on Computing 4 Information Sciences 4 Studia Logica 4 Doklady Mathematics 3 Mathematical Social Sciences 3 Journal of Automated Reasoning 3 International Journal of Approximate Reasoning 3 International Journal of Foundations of Computer Science 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 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 Advances in Mathematics 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 Computer Mathematics 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 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 27 Fields 347 Computer science (68-XX) 174 Mathematical logic and foundations (03-XX) 35 Combinatorics (05-XX) 22 Order, lattices, ordered algebraic structures (06-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 General algebraic systems (08-XX) 5 Convex and discrete geometry (52-XX) 5 Statistics (62-XX) 4 Operations research, mathematical programming (90-XX) 3 History and biography (01-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Geometry (51-XX) 3 General topology (54-XX) 3 Probability theory and stochastic processes (60-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Category theory; homological algebra (18-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 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-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.