×

Kolaitis, Phokion G.

Compute Distance To:
Author ID: kolaitis.phokion-g Recent zbMATH articles by "Kolaitis, Phokion G."
Published as: Kolaitis, Phokion G.; Kolaitis, Ph. G.; Kolaitis, Phokion
External Links: MGP · dblp
all top 5

Co-Authors

11 single-authored
12 Vardi, Moshe Ya’akov
9 Hermann, Miki
8 Fagin, Ronald
7 Kirousis, Lefteris Miltiades
7 Popa, Lucian
5 Tan, Wang-Chiew
4 Atserias, Albert
4 Burdick, Douglas
4 Hella, Lauri T.
4 Papadimitriou, Christos Harilaos
4 ten Cate, Balder David
3 Dalmau, Víctor
3 Livieratos, John
3 Thakur, Madhukar N.
3 Väänänen, Jouko Antero
2 Afrati, Foto N.
2 Bailey, Delbert D.
2 Baldwin, John T.
2 Barwise, Kenneth Jon
2 Baudisch, Andreas
2 Creignou, Nadia
2 Dawar, Anuj
2 Dickmann, Max A.
2 Durand, Arnaud
2 Ebbinghaus, Heinz-Dieter
2 Eklof, Paul C.
2 Feferman, Solomon
2 Flum, Jörg
2 Gopalan, Parikshit
2 Grädel, Erich
2 Horty, John F.
2 Immerman, Neil
2 Kaufmann, Matt
2 Keisler, Howard Jerome
2 Kimelfeld, Benny
2 Kopparty, Swastik
2 Luosto, Kerkko
2 Makowsky, Johann-Andreas
2 Maneva, Elitza N.
2 McCarty, David Charles
2 Miller, Renée J.
2 Mundici, Daniele
2 Nadel, Mark E.
2 Pichler, Reinhard
2 Prömel, Hans Jürgen
2 Rothschild, Bruce L.
2 Sallinger, Emanuel
2 Savenkov, Vadim
2 Schmerl, James H.
2 Seese, Detlef G.
2 Severini, Simone
2 Steinhorn, Charles I.
2 Tuschik, Hans-Peter
2 Weese, Martin
2 Ziegler, Martin
1 Barland, Ian
1 Chaudhuri, Surajit
1 Cheng, Zehui
1 Dixit, Akhil A.
1 Fontaine, Gaëlle
1 Gottlob, Georg
1 Halpern, Joseph Yehuda
1 Harper, Robert
1 Hernich, André
1 Horrocks, Ian
1 Juban, Laurent
1 Koubarakis, Manolis
1 Lausen, Georg
1 Libkin, Leonid O.
1 Maarten, Marx
1 Otto, Martin
1 Panttaja, Jonathan
1 Pema, Enela
1 Qian, Kun
1 Raffill, Thomas
1 Schwentick, Thomas
1 Spencer, Joel H.
1 Stamou, Giorgos B.
1 Stoilos, Giorgos
1 Venema, Yde
1 Vianu, Victor
1 Vollmer, Heribert
1 Weikum, Gerhard
1 Weinstein, Scott
1 Zanuttini, Bruno

Publications by Year

Citations contained in zbMATH Open

62 Publications have been cited 802 times in 588 Documents Cited by Year
Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059
Kolaitis, Phokion G.; Vardi, Moshe Y.
72
2000
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
65
2005
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H.
51
2009
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
49
1997
\(K_{\ell +1}\)-free graphs: Asymptotic structure and a 0-1 law. Zbl 0641.05025
Kolaitis, Ph. G.; Prömel, H. J.; Rothschild, B. L.
45
1987
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
44
1992
The expressive power of stratified logic programs. Zbl 0727.68016
Kolaitis, Phokion G.
27
1991
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
Why not negation by fixpoint? Zbl 0753.68028
Kolaitis, Phokion G.; Papadimitriou, Christos H.
25
1991
Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
24
2005
Data exchange: getting to the core. Zbl 1326.68119
Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian
22
2005
Logical definability of NP optimization problems. Zbl 0820.68048
Kolaitis, Phokion G.; Thakur, Madhukar N.
18
1994
Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017
Kolaitis, Phokion G.; Väänänen, Jouko A.
18
1995
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
18
1990
Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020
Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno
17
2008
Data exchange: Semantics and query answering. Zbl 1022.68510
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
15
2003
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
14
1996
On the expressive power of Datalog: tools and a case study. Zbl 1360.68397
Kolaitis, Phokion G.; Vardi, Moshe Y.
14
1995
Approximation properties of NP minimization classes. Zbl 0837.68028
Kolaitis, Phokion G.; Thakur, Madhukar N.
13
1995
Complexity of constraints. An overview of current research themes. Zbl 1154.68008
12
2008
Some computational aspects of circumscription. Zbl 0697.68085
Kolaitis, Phokion G.; Papadimitriou, Christos H.
12
1990
On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117
Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G.
12
2006
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
11
2004
The complexity of minimal satisfiability problems. Zbl 1082.68036
Kirousis, Lefteris M.; Kolaitis, Phokion G.
9
2003
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H.
7
2006
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
How to define a linear order on finite models. Zbl 0884.03034
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
6
1997
On the complexity of existential pebble games. Zbl 1116.68474
Kolaitis, Phokion G.; Panttaja, Jonathan
5
2003
A dichotomy in the complexity of consistent query answering for queries with two atoms. Zbl 1233.68133
Kolaitis, Phokion G.; Pema, Enela
5
2012
Asymptotic enumeration and a 0-1 law for m-clique free graphs. Zbl 0584.05041
Kolaitis, Ph. G.; Prömel, H.-J.; Rothschild, B. L.
4
1985
On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631
Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G.
4
1999
The complexity of counting problems in equational matching. Zbl 0854.68043
Hermann, Miki; Kolaitis, Phokion G.
4
1995
0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024
Kolaitis, Phokion G.; Vardi, Moshe Y.
4
2000
Random graphs and the parity quantifier. Zbl 1280.03040
Kolaitis, Phokion G.; Kopparty, Swastik
4
2013
Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041
Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G.
3
1995
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
A dichotomy in the complexity of propositional circumscription. Zbl 1061.68075
Kirousis, Lefteris M.; Kolaitis, Phokion G.
3
2004
Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117
Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G.
3
2007
Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
3
2000
Limits of schema mappings. Zbl 1392.68170
Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim
2
2018
On the computational complexity of non-dictatorial aggregation. Zbl 06975219
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
2
2018
0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
1992
The complexity of minimal satisfiability problems. Zbl 0976.68078
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
Integer programming as a framework for optimization and approximability. Zbl 0915.90212
Barland, Ian; Kolaitis, Phokion G.; Thakur, Madhukar N.
2
1998
Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027
Hermann, Miki; Kolaitis, Phokion G.
2
1995
Probabilistic data exchange. Zbl 1281.68096
Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G.
2
2011
On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
On the data complexity of consistent query answering. Zbl 1352.68082
ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G.
2
2015
Aggregation of votes with multiple positions on each issue. Zbl 06750824
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
2
2017
Expressive power of entity-linking frameworks. Zbl 1402.68043
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2017
Generalized satisfiability problems via operator assignments. Zbl 06810944
Atserias, Albert; Kolaitis, Phokion G.; Severini, Simone
1
2017
Learning schema mappings. Zbl 1321.68249
ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G.
1
2013
On the boundedness problem for two-variable first-order logic. Zbl 0945.03548
Kolaitis, Phokion G.; Otto, Martin
1
1998
Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547
Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G.
1
2001
Can datalog be approximated? Zbl 0887.68027
Chaudhuri, Surajit; Kolaitis, Phokion G.
1
1997
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
1
2008
Random graphs and the parity quantifier. Zbl 1304.03074
Kolaitis, Phokion G.; Kopparty, Swastik
1
2009
A declarative framework for linking entities. Zbl 1365.68198
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2015
Dependence logic vs. constraint satisfaction. Zbl 1370.03045
Hella, Lauri; Kolaitis, Phokion G.
1
2016
A SAT-based system for consistent query answering. Zbl 1441.68029
Dixit, Akhil A.; Kolaitis, Phokion G.
1
2019
A SAT-based system for consistent query answering. Zbl 1441.68029
Dixit, Akhil A.; Kolaitis, Phokion G.
1
2019
Limits of schema mappings. Zbl 1392.68170
Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim
2
2018
On the computational complexity of non-dictatorial aggregation. Zbl 06975219
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
2
2018
Aggregation of votes with multiple positions on each issue. Zbl 06750824
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
2
2017
Expressive power of entity-linking frameworks. Zbl 1402.68043
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2017
Generalized satisfiability problems via operator assignments. Zbl 06810944
Atserias, Albert; Kolaitis, Phokion G.; Severini, Simone
1
2017
Dependence logic vs. constraint satisfaction. Zbl 1370.03045
Hella, Lauri; Kolaitis, Phokion G.
1
2016
On the data complexity of consistent query answering. Zbl 1352.68082
ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G.
2
2015
A declarative framework for linking entities. Zbl 1365.68198
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2015
Random graphs and the parity quantifier. Zbl 1280.03040
Kolaitis, Phokion G.; Kopparty, Swastik
4
2013
Learning schema mappings. Zbl 1321.68249
ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G.
1
2013
A dichotomy in the complexity of consistent query answering for queries with two atoms. Zbl 1233.68133
Kolaitis, Phokion G.; Pema, Enela
5
2012
Probabilistic data exchange. Zbl 1281.68096
Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G.
2
2011
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H.
51
2009
Random graphs and the parity quantifier. Zbl 1304.03074
Kolaitis, Phokion G.; Kopparty, Swastik
1
2009
Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020
Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno
17
2008
Complexity of constraints. An overview of current research themes. Zbl 1154.68008
12
2008
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
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
Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117
Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G.
3
2007
On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117
Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G.
12
2006
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H.
7
2006
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
65
2005
Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
24
2005
Data exchange: getting to the core. Zbl 1326.68119
Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian
22
2005
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
11
2004
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
A dichotomy in the complexity of propositional circumscription. Zbl 1061.68075
Kirousis, Lefteris M.; Kolaitis, Phokion G.
3
2004
Data exchange: Semantics and query answering. Zbl 1022.68510
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
15
2003
The complexity of minimal satisfiability problems. Zbl 1082.68036
Kirousis, Lefteris M.; Kolaitis, Phokion G.
9
2003
On the complexity of existential pebble games. Zbl 1116.68474
Kolaitis, Phokion G.; Panttaja, Jonathan
5
2003
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
The complexity of minimal satisfiability problems. Zbl 0976.68078
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547
Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G.
1
2001
Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059
Kolaitis, Phokion G.; Vardi, Moshe Y.
72
2000
0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024
Kolaitis, Phokion G.; Vardi, Moshe Y.
4
2000
Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
3
2000
On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631
Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G.
4
1999
Integer programming as a framework for optimization and approximability. Zbl 0915.90212
Barland, Ian; Kolaitis, Phokion G.; Thakur, Madhukar N.
2
1998
On the boundedness problem for two-variable first-order logic. Zbl 0945.03548
Kolaitis, Phokion G.; Otto, Martin
1
1998
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
49
1997
How to define a linear order on finite models. Zbl 0884.03034
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
6
1997
Can datalog be approximated? Zbl 0887.68027
Chaudhuri, Surajit; Kolaitis, Phokion G.
1
1997
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
14
1996
Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017
Kolaitis, Phokion G.; Väänänen, Jouko A.
18
1995
On the expressive power of Datalog: tools and a case study. Zbl 1360.68397
Kolaitis, Phokion G.; Vardi, Moshe Y.
14
1995
Approximation properties of NP minimization classes. Zbl 0837.68028
Kolaitis, Phokion G.; Thakur, Madhukar N.
13
1995
The complexity of counting problems in equational matching. Zbl 0854.68043
Hermann, Miki; Kolaitis, Phokion G.
4
1995
Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041
Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G.
3
1995
Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027
Hermann, Miki; Kolaitis, Phokion G.
2
1995
Logical definability of NP optimization problems. Zbl 0820.68048
Kolaitis, Phokion G.; Thakur, Madhukar N.
18
1994
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
44
1992
0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
1992
The expressive power of stratified logic programs. Zbl 0727.68016
Kolaitis, Phokion G.
27
1991
Why not negation by fixpoint? Zbl 0753.68028
Kolaitis, Phokion G.; Papadimitriou, Christos H.
25
1991
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
18
1990
Some computational aspects of circumscription. Zbl 0697.68085
Kolaitis, Phokion G.; Papadimitriou, Christos H.
12
1990
\(K_{\ell +1}\)-free graphs: Asymptotic structure and a 0-1 law. Zbl 0641.05025
Kolaitis, Ph. G.; Prömel, H. J.; Rothschild, B. L.
45
1987
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Asymptotic enumeration and a 0-1 law for m-clique free graphs. Zbl 0584.05041
Kolaitis, Ph. G.; Prömel, H.-J.; Rothschild, B. L.
4
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
all top 5

Cited by 760 Authors

22 Gottlob, Georg
19 Kolaitis, Phokion G.
13 Krokhin, Andrei A.
11 Hermann, Miki
11 Ito, Takehiro
11 Leone, Nicola
10 Balogh, József
10 Pichler, Reinhard
10 Scarcello, Francesco
9 Barceló, Pablo
9 Dawar, Anuj
9 Libkin, Leonid O.
8 Dalmau, Víctor
8 Greco, Gianluigi
8 Mouawad, Amer E.
8 Vardi, Moshe Ya’akov
7 Bonsma, Paul S.
7 Creignou, Nadia
7 Demaine, Erik D.
7 Durand, Arnaud
7 Eiter, Thomas
7 Goldberg, Leslie Ann
7 Grädel, Erich
7 Nešetřil, Jaroslav
7 Pieris, Andreas
7 Vollmer, Heribert
6 Arenas, Marcelo
6 Bousquet, Nicolas
6 Bulatov, Andrei A.
6 Chen, Hubie
6 Greco, Sergio
6 Hella, Lauri T.
6 Larose, Benoit
6 Nishimura, Naomi
6 Otto, Martin
6 Živný, Stanislav
5 Abiteboul, Serge
5 Bonamy, Marthe
5 Grohe, Martin
5 Kamiński, Marcin Marek
5 Manna, Marco
5 Morris, Robert D.
5 Saccà, Domenico
5 Samotij, Wojciech
5 Vianu, Victor
4 Atserias, Albert
4 Benedikt, Michael A.
4 Cadoli, Marco
4 Calvanese, Diego
4 Demri, Stéphane P.
4 Fagin, Ronald
4 Johnson, Matthew
4 Jonsson, Peter A.
4 Kratsch, Stefan
4 Lozin, Vadim Vladislavovich
4 Luosto, Kerkko
4 Mengel, Stefan
4 Palopoli, Luigi
4 Paulusma, Daniël
4 Pratt-Hartmann, Ian
4 Prömel, Hans Jürgen
4 Reutter, Juan L.
4 Suzuki, Akira
4 Szeider, Stefan
4 Uehara, Ryuhei
4 Valeriote, Matthew A.
4 Van den Bussche, Jan
4 Zamaraev, Victor A.
4 Zapata, Octavio
4 Zhukovskiĭ, Maksim Evgen’evich
3 Ahlman, Ove
3 Alon, Noga M.
3 Ben-Eliyahu-Zohary, Rachel
3 Bollobás, Béla
3 Bova, Simone
3 Calì, Andrea
3 Chen, Jian-er
3 Crescenzi, Pierluigi
3 Deters, Morgan
3 Deutsch, Alin
3 Fan, Wenfei
3 Ferrarotti, Flavio Antonio
3 Fontaine, Gaëlle
3 Gagliardi Cozman, Fabio
3 Gurevich, Yuri
3 Itsykson, Dmitry M.
3 Jerrum, Mark R.
3 Kieroński, Emanuel
3 Kirousis, Lefteris Miltiades
3 Kolmogorov, Vladimir
3 Kontinen, Juha
3 Koponen, Vera
3 Kröll, Markus
3 Kurucz, Agi
3 Lefmann, Hanno
3 Lenzerini, Maurizio
3 Lokshtanov, Daniel
3 Lotfallah, Wafik Boulos
3 Marx, Maarten
3 Mauá, Denis Deratani
...and 660 more Authors
all top 5

Cited in 86 Serials

67 Theoretical Computer Science
59 Journal of Computer and System Sciences
28 Information and Computation
26 Theory of Computing Systems
22 The Journal of Symbolic Logic
21 Annals of Pure and Applied Logic
19 Artificial Intelligence
14 ACM Transactions on Computational Logic
13 Information Processing Letters
13 European Journal of Combinatorics
13 Annals of Mathematics and Artificial Intelligence
13 Theory and Practice of Logic Programming
10 Discrete Applied Mathematics
10 SIAM Journal on Computing
7 Acta Informatica
7 Journal of Combinatorial Theory. Series B
7 Algorithmica
7 Logical Methods in Computer Science
6 Studia Logica
6 Journal of Applied Non-Classical Logics
5 Algebra Universalis
5 Journal of Graph Theory
5 SIAM Journal on Discrete Mathematics
5 Random Structures & Algorithms
5 Archive for Mathematical Logic
5 Combinatorics, Probability and Computing
5 The Bulletin of Symbolic Logic
4 Journal of Symbolic Computation
4 Journal of Logic, Language and Information
4 Journal of Combinatorial Optimization
4 Journal of Applied Logic
3 Discrete Mathematics
3 International Journal of Approximate Reasoning
3 International Journal of Algebra and Computation
2 Information Sciences
2 Journal of Combinatorial Theory. Series A
2 Journal of Philosophical Logic
2 Transactions of the American Mathematical Society
2 Combinatorica
2 Graphs and Combinatorics
2 New Generation Computing
2 Journal of Automated Reasoning
2 Mathematical Logic Quarterly (MLQ)
2 The Electronic Journal of Combinatorics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Constraints
2 Doklady Mathematics
2 Journal of the ACM
2 Journal of Discrete Algorithms
2 Algorithms
2 Computer Science Review
1 Israel Journal of Mathematics
1 Journal of Statistical Physics
1 ACM Transactions on Database Systems
1 Advances in Mathematics
1 The Annals of Probability
1 Automatica
1 Fuzzy Sets and Systems
1 Proceedings of the American Mathematical Society
1 Semigroup Forum
1 Synthese
1 Operations Research Letters
1 Optimization
1 Journal of Computer Science and Technology
1 Discrete & Computational Geometry
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Indagationes Mathematicae. New Series
1 The Australasian Journal of Combinatorics
1 Cybernetics and Systems Analysis
1 Computational Complexity
1 Formal Methods in System Design
1 Journal of Functional Programming
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Journal of Machine Learning Research (JMLR)
1 4OR
1 Journal of Satisfiability, Boolean Modeling and Computation
1 International Journal of Semantic Computing
1 Journal of Logic and Analysis
1 The Review of Symbolic Logic
1 Frontiers of Computer Science
1 ACM Transactions on Computation Theory
1 Journal of Logical and Algebraic Methods in Programming
1 Discrete Analysis
1 Bulletin of the Hellenic Mathematical Society

Citations by Year