×

zbMATH — the first resource for mathematics

Kolaitis, Phokion G.

Compute Distance To:
Author ID: kolaitis.phokion-g Recent zbMATH articles by "Kolaitis, Phokion G."
Published as: Kolaitis, Ph. G.; Kolaitis, Phokion; Kolaitis, Phokion G.
External Links: MGP · Wikidata · dblp
Documents Indexed: 85 Publications since 1978, including 5 Books

Publications by Year

Citations contained in zbMATH

59 Publications have been cited 698 times in 553 Documents Cited by Year
Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059
Kolaitis, Phokion G.; Vardi, Moshe Y.
67
2000
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
59
2005
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
45
1997
Infinitary logics and 0-1 laws. Zbl 0762.03016
Kolaitis, Phokion G.; Vardi, Moshe Y.
43
1992
\(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.
43
1987
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H.
41
2009
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.
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
23
2007
Data exchange: getting to the core. Zbl 1326.68119
Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian
22
2005
Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
22
2005
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
21
1990
Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017
Kolaitis, Phokion G.; Väänänen, Jouko A.
18
1995
Logical definability of NP optimization problems. Zbl 0820.68048
Kolaitis, Phokion G.; Thakur, Madhukar N.
18
1994
Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020
Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno
17
2008
On the expressive power of Datalog: tools and a case study. Zbl 1360.68397
Kolaitis, Phokion G.; Vardi, Moshe Y.
16
1995
Data exchange: Semantics and query answering. Zbl 1022.68510
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
14
2003
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko
14
1996
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
Creignou, Nadia (ed.); Kolaitis, Phokion G. (ed.); Vollmer, Heribert (ed.)
12
2008
On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117
Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G.
12
2006
Some computational aspects of circumscription. Zbl 0697.68085
Kolaitis, Phokion G.; Papadimitriou, Christos H.
12
1990
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
The complexity of minimal satisfiability problems. Zbl 1082.68036
Kirousis, Lefteris M.; Kolaitis, Phokion G.
9
2003
The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023
Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H.
8
2006
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
8
2004
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
A dichotomy in the complexity of consistent query answering for queries with two atoms. Zbl 1233.68133
Kolaitis, Phokion G.; Pema, Enela
5
2012
On the complexity of existential pebble games. Zbl 1116.68474
Kolaitis, Phokion G.; Panttaja, Jonathan
4
2003
The complexity of counting problems in equational matching. Zbl 0854.68043
Hermann, Miki; Kolaitis, Phokion G.
4
1995
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 data complexity of consistent query answering. Zbl 1352.68082
ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G.
3
2015
Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117
Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G.
3
2007
A dichotomy in the complexity of propositional circumscription. Zbl 1061.68075
Kirousis, Lefteris M.; Kolaitis, Phokion G.
3
2004
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.
3
1999
Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041
Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G.
3
1995
Random graphs and the parity quantifier. Zbl 1280.03040
Kolaitis, Phokion G.; Kopparty, Swastik
2
2013
Probabilistic data exchange. Zbl 1281.68096
Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G.
2
2011
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
2008
On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
The complexity of minimal satisfiability problems. Zbl 0976.68078
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
Unification algorithms cannot be combined in polynomial time. Zbl 1045.68568
Hermann, Miki; Kolaitis, Phokion G.
2
2000
0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
2000
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
0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
1992
On the computational complexity of non-dictatorial aggregation. Zbl 06975219
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
1
2018
Expressive power of entity-linking frameworks. Zbl 1402.68043
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2017
Aggregation of votes with multiple positions on each issue. Zbl 06750824
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
1
2017
Dependence logic vs. constraint satisfaction. Zbl 1370.03045
Hella, Lauri; Kolaitis, Phokion G.
1
2016
A declarative framework for linking entities. Zbl 1365.68198
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2015
Learning schema mappings. Zbl 1321.68249
ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G.
1
2013
Random graphs and the parity quantifier. Zbl 1304.03074
Kolaitis, Phokion G.; Kopparty, Swastik
1
2009
Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547
Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G.
1
2001
On the boundedness problem for two-variable first-order logic. Zbl 0945.03548
Kolaitis, Phokion G.; Otto, Martin
1
1998
Can datalog be approximated? Zbl 0887.68027
Chaudhuri, Surajit; Kolaitis, Phokion G.
1
1997
On asymptotic probabilities of inductive queries and their decision problem. Zbl 0608.68078
Kolaitis, Phokion G.
1
1985
On the computational complexity of non-dictatorial aggregation. Zbl 06975219
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
1
2018
Expressive power of entity-linking frameworks. Zbl 1402.68043
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew
1
2017
Aggregation of votes with multiple positions on each issue. Zbl 06750824
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John
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.
3
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
2
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.
41
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
Creignou, Nadia (ed.); Kolaitis, Phokion G. (ed.); Vollmer, Heribert (ed.)
12
2008
A logical approach to constraint satisfaction. Zbl 1171.03322
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
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
23
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.
8
2006
Data exchange: semantics and query answering. Zbl 1080.68019
Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian
59
2005
Data exchange: getting to the core. Zbl 1326.68119
Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian
22
2005
Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
22
2005
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
Constraint propagation as a proof system. Zbl 1152.68537
Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y.
8
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
14
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
4
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
On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512
Kirousis, Lefteris M.; Kolaitis, Phokion G.
2
2001
The complexity of minimal satisfiability problems. Zbl 0976.68078
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.
67
2000
Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514
Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G.
3
2000
Unification algorithms cannot be combined in polynomial time. Zbl 1045.68568
Hermann, Miki; Kolaitis, Phokion G.
2
2000
0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024
Kolaitis, Phokion G.; Vardi, Moshe Y.
2
2000
On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631
Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G.
3
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.
45
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.
16
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.
43
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.
27
1991
0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004
Kolaitis, Phokion G.; Vardi, Moshe Y.
21
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.
43
1987
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 asymptotic probabilities of inductive queries and their decision problem. Zbl 0608.68078
Kolaitis, Phokion G.
1
1985
all top 5

Cited by 718 Authors

23 Gottlob, Georg
18 Kolaitis, Phokion G.
11 Hermann, Miki
11 Ito, Takehiro
11 Krokhin, Andrei A.
11 Leone, Nicola
10 Pichler, Reinhard
10 Scarcello, Francesco
9 Balogh, József
9 Dawar, Anuj
9 Libkin, Leonid O.
9 Vardi, Moshe Y.
8 Barceló, Pablo
8 Greco, Gianluigi
7 Bonsma, Paul S.
7 Creignou, Nadia
7 Demaine, Erik D.
7 Eiter, Thomas
7 Grädel, Erich
7 Nešetřil, Jaroslav
7 Vianu, Victor
6 Abiteboul, Serge
6 Arenas, Marcelo
6 Chen, Hubie
6 Dalmau, Víctor
6 Durand, Arnaud
6 Goldberg, Leslie Ann
6 Greco, Sergio
6 Hella, Lauri T.
6 Mouawad, Amer E.
6 Nishimura, Naomi
6 Otto, Martin
6 Pieris, Andreas
6 Vollmer, Heribert
5 Bulatov, Andrei A.
5 Grohe, Martin
5 Kamiński, Marcin Marek
5 Larose, Benoit
5 Lozin, Vadim Vladislavovich
5 Manna, Marco
5 Morris, Robert D.
5 Saccà, Domenico
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 Luosto, Kerkko
4 Palopoli, Luigi
4 Papadimitriou, Christos Harilaos
4 Paulusma, Daniël
4 Prömel, Hans Jürgen
4 Reutter, Juan L.
4 Samotij, Wojciech
4 Schwentick, Thomas
4 Suzuki, Akira
4 Valeriote, Matthew A.
4 Van den Bussche, Jan
4 Zamaraev, Victor A.
4 Zapata, Octavio
3 Ahlman, Ove
3 Ben-Eliyahu-Zohary, Rachel
3 Bodirsky, Manuel
3 Bollobás, Béla
3 Bonamy, Marthe
3 Bousquet, Nicolas
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 Gurevich, Yuri
3 Kieroński, Emanuel
3 Kolmogorov, Vladimir
3 Koponen, Vera
3 Kurucz, Agi
3 Lefmann, Hanno
3 Lenzerini, Maurizio
3 Lotfallah, Wafik Boulos
3 Martins, Ana Teresa
3 Marx, Maarten
3 Maua, Denis Deratani
3 Medvedev, Paul
3 Mengel, Stefan
3 Milanič, Martin
3 Montanari, Angelo
3 Moss, Lawrence S.
3 Murlak, Filip
3 Ono, Hirotaka
3 Person, Yury Aleksandrovic
3 Pratt-Hartmann, Ian
3 Raman, Venkatesh
...and 618 more Authors
all top 5

Cited in 79 Serials

68 Theoretical Computer Science
57 Journal of Computer and System Sciences
29 Information and Computation
22 Theory of Computing Systems
21 The Journal of Symbolic Logic
20 Artificial Intelligence
20 Annals of Pure and Applied Logic
14 Information Processing Letters
14 ACM Transactions on Computational Logic
13 European Journal of Combinatorics
12 Annals of Mathematics and Artificial Intelligence
11 Theory and Practice of Logic Programming
8 Discrete Applied Mathematics
8 SIAM Journal on Computing
7 Acta Informatica
6 Journal of Combinatorial Theory. Series B
6 Studia Logica
6 Journal of Applied Non-Classical Logics
6 Logical Methods in Computer Science
5 Algebra Universalis
5 Journal of Graph Theory
5 Algorithmica
5 SIAM Journal on Discrete Mathematics
5 Random Structures & Algorithms
4 Journal of Symbolic Computation
4 Archive for Mathematical Logic
4 Journal of Logic, Language and Information
4 Combinatorics, Probability and Computing
4 The Bulletin of Symbolic Logic
4 Journal of Combinatorial Optimization
4 Journal of Applied Logic
3 Discrete Mathematics
3 Transactions of the American Mathematical Society
3 International Journal of Algebra and Computation
2 Fuzzy Sets and Systems
2 Information Sciences
2 Journal of Combinatorial Theory. Series A
2 Journal of Philosophical Logic
2 Combinatorica
2 New Generation Computing
2 International Journal of Approximate Reasoning
2 International Journal of Foundations of Computer Science
2 Mathematical Logic Quarterly (MLQ)
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 Semigroup Forum
1 Synthese
1 Operations Research Letters
1 Optimization
1 Graphs and Combinatorics
1 Journal of Computer Science and Technology
1 Discrete & Computational Geometry
1 Journal of Automated Reasoning
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Computational Complexity
1 Formal Methods in System Design
1 The Electronic Journal of Combinatorics
1 Journal of Functional Programming
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Journal of Machine Learning Research (JMLR)
1 4OR
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 Bulletin of the Hellenic Mathematical Society

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.