×
Compute Distance To:
Author ID: libkin.leonid-o Recent zbMATH articles by "Libkin, Leonid O."
Published as: Libkin, Leonid; Libkin, L. O.; Libkin, L.; Libkin, Leonid O.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

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.03002
Libkin, Leonid
163
2004
On XML integrity constraints in the presence of DTDs. Zbl 1326.68120
Fan, Wenfei; Libkin, Leonid
26
2002
Finite model theory and its applications. Zbl 1133.03001
Grä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.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
21
1998
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, 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.68029
Demetrovics, 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.68022
Libkin, Leonid; Wong, Limsoon
17
1997
XML data exchange: consistency and query answering. Zbl 1326.68116
Arenas, Marcelo; Libkin, Leonid
17
2008
Relational and XML data exchange. Zbl 1216.68003
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip
15
2010
On the complexity of verifying consistency of XML specifications. Zbl 1186.68156
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
12
2008
Logics with aggregate operators. Zbl 1127.68367
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
11
2001
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
10
2003
Notions of locality and their logical characterizations over finite models. Zbl 0946.03012
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha
10
1999
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
Regular expressions for data words. Zbl 1320.68113
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
9
2015
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
9
2006
Querying regular graph patterns. Zbl 1295.68125
Barceló, Pablo; Libkin, Leonid; Reutter, Juan L.
9
2014
Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004
Libkin, L.
8
1995
XML with incomplete information. Zbl 1327.68088
Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina
8
2010
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
8
2015
An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021
Arenas, Marcelo; Libkin, Leonid
8
2005
Regular languages of nested words: Fixed points, automata, and synchronization. Zbl 1171.68521
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
8
2007
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416
To, Anthony Widjaja; Libkin, Leonid
7
2010
Consistency of XML specifications. Zbl 1111.68662
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
6
2004
Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093
Libkin, Leonid; Sirangelo, Cristina
6
2011
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
6
2000
SQL’s three-valued logic and certain answers. Zbl 1365.68213
Libkin, Leonid
5
2015
What’s hard about XML schema constraints? Zbl 1017.68566
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
5
2002
Parameterized regular expressions and their languages. Zbl 1259.68104
Barceló, Pablo; Reutter, Juan; Libkin, Leonid
5
2013
Incremental recomputation in local languages. Zbl 1054.68085
Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
5
2003
Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027
Libkin, Leonid; Wong, Limsoon
4
1994
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
Certain answers as objects and knowledge. Zbl 1351.68090
Libkin, Leonid
4
2016
Local properties of query languages. Zbl 0945.68045
Dong, G.; Libkin, L.; Wong, L.
4
2000
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Reasoning about XML with temporal logics and automata. Zbl 1182.68123
Libkin, Leonid; Sirangelo, Cristina
4
2008
Regular expressions for data words. Zbl 1352.68136
Libkin, Leonid; Vrgoč, Domagoj
4
2012
Querying graphs with data. Zbl 1426.68080
Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj
4
2016
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Parallel axiom in convexity lattices. Zbl 0768.06008
Libkin, L. O.
3
1992
On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
3
1992
\(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010
Libkin, L.
3
1995
On representation and querying incomplete information in databases with bags. Zbl 0875.68354
Libkin, Leonid; Wong, Limsoon
3
1995
Separatory subsemilattices and their properties. Zbl 0676.06011
Libkin, L. O.; Muchnik, I. B.
3
1988
On a subsemilattice-lattice of a semilattice. Zbl 0676.06012
Libkin, L. O.; Muchnik, I. B.
3
1988
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
3
2003
On the satisfiability of two-variable logic over data words. Zbl 1307.03020
David, Claire; Libkin, Leonid; Tan, Tony
3
2010
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
3
2012
Logics for unranked trees: An overview. Zbl 1084.68028
Libkin, Leonid
3
2005
On relational database schemes having unique minimal key. Zbl 0731.68029
Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B.
3
1991
Absolutely determined matrices. Zbl 0712.15025
Gurvich, Vladimir A.; Libkin, Leonid O.
3
1990
Minimal sets of choice functions generating the basic classes. Zbl 0798.90008
Libkin, L. O.
2
1988
Trees as semilattices. Zbl 0829.06004
Libkin, Leonid; Gurvich, Vladimir
2
1995
Semantic representations and query languages for or-sets. Zbl 0846.68028
Libkin, Leonid; Wong, Limsoon
2
1996
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
2
2015
Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081
Gheerbrant, Amélie; Libkin, Leonid
2
2015
On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583
Libkin, Leonid; Wong, Limsoon
2
2000
Models of approximation in databases. Zbl 0903.68059
Libkin, Leonid
2
1998
Reasoning about XML with temporal logics and automata. Zbl 1192.68435
Libkin, Leonid; Sirangelo, Cristina
2
2010
Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
2
2013
Efficient approximations of conjunctive queries. Zbl 1308.68052
Barceló, Pablo; Libkin, Leonid; Romero, Miguel
2
2014
Quasilinear set functions and absolute definite matrices. Zbl 0713.90097
Gurvich, V. A.; Libkin, L. O.
2
1989
Quasilinear monotone systems. Zbl 0718.90097
Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V.
2
1989
Separatory sublattices and subsemilattices. Zbl 0741.06004
Libkin, L.; Muchnik, I.
2
1992
Expressive power of SQL. Zbl 1045.68053
Libkin, Leonid
2
2003
SQL’s three-valued logic and certain answers. Zbl 1474.68108
Libkin, Leonid
1
2016
Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084
Gurvich, V. A.; Libkin, L. O.
1
1991
The lattice of subsemilattices of a semilattice. Zbl 0797.06003
Libkin, Leonid; Muchnik, Ilya
1
1994
Normal form relation schemes: A new characterization. Zbl 0787.68033
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
1
1992
Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003
Libkin, Leonid
1
1993
Lower bounds for invariant queries in logics with counting. Zbl 1058.03030
Libkin, Leonid; Wong, Limsoon
1
2002
Logics capturing local properties. Zbl 1365.03026
Libkin, Leonid
1
2001
A collapse result for constraint queries over structures of small degree. Zbl 1162.68418
Libkin, Leonid
1
2003
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
On the aggregation problem for synthesized web services. Zbl 1408.68029
Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui
1
2013
On counting logics and local properties. Zbl 0945.03547
Libkin, Leonid
1
1998
Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083
Libkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Game-based notions of locality over finite models. Zbl 1095.03020
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2004
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, 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.03012
Libkin, Leonid; Wong, Limsoon
1
1998
Disjoint pattern matching and implication in strings. Zbl 1209.68175
Libkin, Leonid; Sirangelo, Cristina
1
2010
Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2011
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Recurrent reachability analysis in regular model checking. Zbl 1182.68125
To, Anthony Widjaja; Libkin, Leonid
1
2008
Certain answers as objects and knowledge. Zbl 1351.68090
Libkin, Leonid
4
2016
Querying graphs with data. Zbl 1426.68080
Libkin, Leonid; Martens, Wim; Vrgoč, Domagoj
4
2016
SQL’s three-valued logic and certain answers. Zbl 1474.68108
Libkin, Leonid
1
2016
Regular expressions for data words. Zbl 1320.68113
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
9
2015
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
8
2015
SQL’s three-valued logic and certain answers. Zbl 1365.68213
Libkin, Leonid
5
2015
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
2
2015
Certain answers over incomplete XML documents: extending tractability boundary. Zbl 1352.68081
Gheerbrant, Amélie; Libkin, Leonid
2
2015
Querying regular graph patterns. Zbl 1295.68125
Barceló, Pablo; Libkin, Leonid; Reutter, Juan L.
9
2014
Efficient approximations of conjunctive queries. Zbl 1308.68052
Barceló, Pablo; Libkin, Leonid; Romero, Miguel
2
2014
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Parameterized regular expressions and their languages. Zbl 1259.68104
Barceló, Pablo; Reutter, Juan; Libkin, Leonid
5
2013
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Regular expressions with binding over data words for querying graph databases. Zbl 1381.68126
Libkin, Leonid; Tan, Tony; Vrgoč, Domagoj
2
2013
On the aggregation problem for synthesized web services. Zbl 1408.68029
Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui
1
2013
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
Regular expressions for data words. Zbl 1352.68136
Libkin, Leonid; Vrgoč, Domagoj
4
2012
Tractable XML data exchange via relations. Zbl 1251.68083
Chirkova, Rada; Libkin, Leonid; Reutter, Juan L.
3
2012
Data exchange and schema mappings in open and closed worlds. Zbl 1215.68093
Libkin, Leonid; Sirangelo, Cristina
6
2011
Regular languages of nested words: fixed points, automata, and synchronization. Zbl 1236.68160
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2011
Relational and XML data exchange. Zbl 1216.68003
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip
15
2010
XML with incomplete information. Zbl 1327.68088
Barceló, Pablo; Libkin, Leonid; Poggi, Antonella; Sirangelo, Cristina
8
2010
Algorithmic metatheorems for decidable LTL model checking over infinite systems. Zbl 1284.68416
To, Anthony Widjaja; Libkin, Leonid
7
2010
On the satisfiability of two-variable logic over data words. Zbl 1307.03020
David, Claire; Libkin, Leonid; Tan, Tony
3
2010
Reasoning about XML with temporal logics and automata. Zbl 1192.68435
Libkin, Leonid; Sirangelo, Cristina
2
2010
Disjoint pattern matching and implication in strings. Zbl 1209.68175
Libkin, Leonid; Sirangelo, Cristina
1
2010
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
20
2008
XML data exchange: consistency and query answering. Zbl 1326.68116
Arenas, Marcelo; Libkin, Leonid
17
2008
On the complexity of verifying consistency of XML specifications. Zbl 1186.68156
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
12
2008
Reasoning about XML with temporal logics and automata. Zbl 1182.68123
Libkin, Leonid; Sirangelo, Cristina
4
2008
Recurrent reachability analysis in regular model checking. Zbl 1182.68125
To, Anthony Widjaja; Libkin, Leonid
1
2008
Finite model theory and its applications. Zbl 1133.03001
Grä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.68521
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
8
2007
Logical definability and query languages over ranked and unranked trees. Zbl 1367.03050
Benedikt, Michael; Libkin, Leonid; Neven, Frank
3
2007
Logics for unranked trees: an overview. Zbl 1126.03039
Libkin, Leonid
9
2006
An information-theoretic approach to normal forms for relational and XML data. Zbl 1311.94021
Arenas, Marcelo; Libkin, Leonid
8
2005
Logics for unranked trees: An overview. Zbl 1084.68028
Libkin, Leonid
3
2005
Elements of finite model theory. Zbl 1060.03002
Libkin, Leonid
163
2004
Consistency of XML specifications. Zbl 1111.68662
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
6
2004
Game-based notions of locality over finite models. Zbl 1095.03020
Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid
1
2004
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
10
2003
Incremental recomputation in local languages. Zbl 1054.68085
Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
5
2003
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
3
2003
Expressive power of SQL. Zbl 1045.68053
Libkin, Leonid
2
2003
A collapse result for constraint queries over structures of small degree. Zbl 1162.68418
Libkin, Leonid
1
2003
On XML integrity constraints in the presence of DTDs. Zbl 1326.68120
Fan, Wenfei; Libkin, Leonid
26
2002
What’s hard about XML schema constraints? Zbl 1017.68566
Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid
5
2002
Aggregate operators in constraint query languages. Zbl 1052.68024
Benedikt, Michael; Libkin, Leonid
2
2002
Lower bounds for invariant queries in logics with counting. Zbl 1058.03030
Libkin, Leonid; Wong, Limsoon
1
2002
Logics with aggregate operators. Zbl 1127.68367
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
11
2001
Logics capturing local properties. Zbl 1365.03026
Libkin, Leonid
1
2001
Constraint databases. Zbl 0935.00022
18
2000
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
Relational queries over interpreted structures. Zbl 1327.68089
Benedikt, Michael; Libkin, Leonid
7
2000
Safe constraint queries. Zbl 0949.68061
Benedikt, Michael; Libkin, Leonid
6
2000
Local properties of query languages. Zbl 0945.68045
Dong, G.; Libkin, L.; Wong, L.
4
2000
On the power of incremental evaluation in SQL-Like languages. Zbl 1044.68583
Libkin, Leonid; Wong, Limsoon
2
2000
Variable independence, quantifier elimination, and constraint representations. Zbl 0973.68083
Libkin, Leonid
1
2000
Query safety with constraints. Zbl 0989.68045
Benedikt, Michael; Libkin, Leonid
1
2000
Notions of locality and their logical characterizations over finite models. Zbl 0946.03012
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha
10
1999
Relational expressive power of constraint query languages. Zbl 0902.68047
Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon
21
1998
Models of approximation in databases. Zbl 0903.68059
Libkin, Leonid
2
1998
On counting logics and local properties. Zbl 0945.03547
Libkin, Leonid
1
1998
Verifiable properties of database transactions. Zbl 0927.68032
Benedikt, 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.03012
Libkin, Leonid; Wong, Limsoon
1
1998
Query languages for bags and aggregate functions. Zbl 0887.68022
Libkin, Leonid; Wong, Limsoon
17
1997
Semantic representations and query languages for or-sets. Zbl 0846.68028
Libkin, Leonid; Wong, Limsoon
2
1996
Direct decompositions of atomistic algebraic lattices. Zbl 0818.06004
Libkin, L.
8
1995
\(n\)-distributivity, dimension and Carathéodory’s theorem. Zbl 0832.06010
Libkin, L.
3
1995
On representation and querying incomplete information in databases with bags. Zbl 0875.68354
Libkin, Leonid; Wong, Limsoon
3
1995
Trees as semilattices. Zbl 0829.06004
Libkin, Leonid; Gurvich, Vladimir
2
1995
Conservativity of nested relational calculi with internal generic functions. Zbl 0803.68027
Libkin, Leonid; Wong, Limsoon
4
1994
The lattice of subsemilattices of a semilattice. Zbl 0797.06003
Libkin, Leonid; Muchnik, Ilya
1
1994
Direct product decompositions of lattices, closures and relation schemes. Zbl 0780.06003
Libkin, Leonid
1
1993
Functional dependencies in relational databases: A lattice point of view. Zbl 0767.68029
Demetrovics, János; Libkin, Leonid; Muchnik, Ilya B.
19
1992
Parallel axiom in convexity lattices. Zbl 0768.06008
Libkin, L. O.
3
1992
On the interaction between closure operations and choice functions with applications to relational databases. Zbl 0787.68032
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
3
1992
Separatory sublattices and subsemilattices. Zbl 0741.06004
Libkin, L.; Muchnik, I.
2
1992
Normal form relation schemes: A new characterization. Zbl 0787.68033
Demetrovics, János; Hencsey, Gusztáv; Libkin, Leonid; Muchnik, Ilya
1
1992
On relational database schemes having unique minimal key. Zbl 0731.68029
Biskup, Joachim; Demetrovics, János; Libkin, Leonid O.; Muchnik, Ilya B.
3
1991
Quasiconvex analysis on semilattices, and absolutely determined matrices. Zbl 0777.90084
Gurvich, V. A.; Libkin, L. O.
1
1991
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Absolutely determined matrices. Zbl 0712.15025
Gurvich, Vladimir A.; Libkin, Leonid O.
3
1990
Quasilinear set functions and absolute definite matrices. Zbl 0713.90097
Gurvich, V. A.; Libkin, L. O.
2
1989
Quasilinear monotone systems. Zbl 0718.90097
Libkin, L. O.; Muchnik, I. B.; Shvartser, L. V.
2
1989
Separatory subsemilattices and their properties. Zbl 0676.06011
Libkin, L. O.; Muchnik, I. B.
3
1988
On a subsemilattice-lattice of a semilattice. Zbl 0676.06012
Libkin, L. O.; Muchnik, I. B.
3
1988
Minimal sets of choice functions generating the basic classes. Zbl 0798.90008
Libkin, L. O.
2
1988
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.