Edit Profile Kolaitis, Phokion G. Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 11 single-authored 12 Vardi, Moshe Y. 9 Hermann, Miki 7 Fagin, Ronald 6 Kirousis, Lefteris Miltiades 6 Popa, Lucian 4 Atserias, Albert 4 Hella, Lauri T. 4 Papadimitriou, Christos Harilaos 3 Burdick, Douglas 3 Dalmau, Víctor 3 Tan, Wang-Chiew 3 ten Cate, Balder David 3 Thakur, Madhukar N. 2 Afrati, Foto N. 2 Bailey, Delbert D. 2 Creignou, Nadia 2 Dawar, Anuj 2 Durand, Arnaud 2 Gopalan, Parikshit 2 Grädel, Erich 2 Immerman, Neil 2 Kopparty, Swastik 2 Livieratos, John 2 Luosto, Kerkko 2 Maneva, Elitza N. 2 Miller, Renée J. 2 Pichler, Reinhard 2 Prömel, Hans Jürgen 2 Rothschild, Bruce L. 2 Sallinger, Emanuel 2 Savenkov, Vadim 2 Severini, Simone 1 Barland, Ian 1 Chaudhuri, Surajit 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 Kimelfeld, Benny 1 Koubarakis, Manolis 1 Lausen, Georg 1 Libkin, Leonid O. 1 Maarten, Marx 1 Otto, Martin 1 Panttaja, Jonathan 1 Pema, Enela 1 Raffill, Thomas 1 Schwentick, Thomas 1 Spencer, Joel H. 1 Stamou, Giorgos B. 1 Stoilos, Giorgos 1 Väänänen, Jouko Antero 1 Venema, Yde 1 Vianu, Victor 1 Vollmer, Heribert 1 Weikum, Gerhard 1 Weinstein, Scott 1 Zanuttini, Bruno all top 5 Serials 9 Journal of Computer and System Sciences 6 Information and Computation 4 Journal of the ACM 3 Theoretical Computer Science 3 The Bulletin of Symbolic Logic 3 Theory of Computing Systems 3 Lecture Notes in Computer Science 2 ACM Transactions on Database Systems 2 Annals of Pure and Applied Logic 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of the Association for Computing Machinery 1 The Journal of Symbolic Logic 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Bulletin of the American Mathematical Society. New Series 1 ACM Transactions on Computational Logic 1 DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Fields 68 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 9 Combinatorics (05-XX) 6 General and overarching topics; collections (00-XX) 2 Operations research, mathematical programming (90-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.68059Kolaitis, Phokion G.; Vardi, Moshe Y. 67 2000 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 59 2005 On the decision problem for two-variable first-order logic. Zbl 0873.03009Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 45 1997 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 43 1992 \(K_{\ell +1}\)-free graphs: Asymptotic structure and a 0-1 law. Zbl 0641.05025Kolaitis, Ph. G.; Prömel, H. J.; Rothschild, B. L. 43 1987 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H. 41 2009 The expressive power of stratified logic programs. Zbl 0727.68016Kolaitis, Phokion G. 27 1991 Why not negation by fixpoint? Zbl 0753.68028Kolaitis, Phokion G.; Papadimitriou, Christos H. 27 1991 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 Data exchange: getting to the core. Zbl 1326.68119Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian 22 2005 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 22 2005 0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004Kolaitis, Phokion G.; Vardi, Moshe Y. 21 1990 Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017Kolaitis, Phokion G.; Väänänen, Jouko A. 18 1995 Logical definability of NP optimization problems. Zbl 0820.68048Kolaitis, Phokion G.; Thakur, Madhukar N. 18 1994 Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno 17 2008 On the expressive power of Datalog: tools and a case study. Zbl 1360.68397Kolaitis, Phokion G.; Vardi, Moshe Y. 16 1995 Data exchange: Semantics and query answering. Zbl 1022.68510Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 14 2003 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 14 1996 Approximation properties of NP minimization classes. Zbl 0837.68028Kolaitis, Phokion G.; Thakur, Madhukar N. 13 1995 Complexity of constraints. An overview of current research themes. Zbl 1154.68008Creignou, Nadia (ed.); Kolaitis, Phokion G. (ed.); Vollmer, Heribert (ed.) 12 2008 On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G. 12 2006 Some computational aspects of circumscription. Zbl 0697.68085Kolaitis, Phokion G.; Papadimitriou, Christos H. 12 1990 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 2004 The complexity of minimal satisfiability problems. Zbl 1082.68036Kirousis, Lefteris M.; Kolaitis, Phokion G. 9 2003 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H. 8 2006 Constraint propagation as a proof system. Zbl 1152.68537Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y. 8 2004 On the unusual effectiveness of logic in computer science. Zbl 0979.03033Halpern, 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.03034Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 6 1997 A dichotomy in the complexity of consistent query answering for queries with two atoms. Zbl 1233.68133Kolaitis, Phokion G.; Pema, Enela 5 2012 On the complexity of existential pebble games. Zbl 1116.68474Kolaitis, Phokion G.; Panttaja, Jonathan 4 2003 The complexity of counting problems in equational matching. Zbl 0854.68043Hermann, Miki; Kolaitis, Phokion G. 4 1995 Asymptotic enumeration and a 0-1 law for m-clique free graphs. Zbl 0584.05041Kolaitis, Ph. G.; Prömel, H.-J.; Rothschild, B. L. 4 1985 On the data complexity of consistent query answering. Zbl 1352.68082ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G. 3 2015 Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G. 3 2007 A dichotomy in the complexity of propositional circumscription. Zbl 1061.68075Kirousis, Lefteris M.; Kolaitis, Phokion G. 3 2004 Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 3 2000 On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G. 3 1999 Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G. 3 1995 Random graphs and the parity quantifier. Zbl 1280.03040Kolaitis, Phokion G.; Kopparty, Swastik 2 2013 Probabilistic data exchange. Zbl 1281.68096Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G. 2 2011 A logical approach to constraint satisfaction. Zbl 1171.03322Kolaitis, Phokion G.; Vardi, Moshe Y. 2 2008 On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 The complexity of minimal satisfiability problems. Zbl 0976.68078Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 Unification algorithms cannot be combined in polynomial time. Zbl 1045.68568Hermann, Miki; Kolaitis, Phokion G. 2 2000 0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024Kolaitis, Phokion G.; Vardi, Moshe Y. 2 2000 Integer programming as a framework for optimization and approximability. Zbl 0915.90212Barland, Ian; Kolaitis, Phokion G.; Thakur, Madhukar N. 2 1998 Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027Hermann, Miki; Kolaitis, Phokion G. 2 1995 0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023Kolaitis, Phokion G.; Vardi, Moshe Y. 2 1992 On the computational complexity of non-dictatorial aggregation. Zbl 06975219Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 1 2018 Expressive power of entity-linking frameworks. Zbl 1402.68043Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2017 Aggregation of votes with multiple positions on each issue. Zbl 06750824Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 1 2017 Dependence logic vs. constraint satisfaction. Zbl 1370.03045Hella, Lauri; Kolaitis, Phokion G. 1 2016 A declarative framework for linking entities. Zbl 1365.68198Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2015 Learning schema mappings. Zbl 1321.68249ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G. 1 2013 Random graphs and the parity quantifier. Zbl 1304.03074Kolaitis, Phokion G.; Kopparty, Swastik 1 2009 Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G. 1 2001 On the boundedness problem for two-variable first-order logic. Zbl 0945.03548Kolaitis, Phokion G.; Otto, Martin 1 1998 Can datalog be approximated? Zbl 0887.68027Chaudhuri, Surajit; Kolaitis, Phokion G. 1 1997 On asymptotic probabilities of inductive queries and their decision problem. Zbl 0608.68078Kolaitis, Phokion G. 1 1985 On the computational complexity of non-dictatorial aggregation. Zbl 06975219Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 1 2018 Expressive power of entity-linking frameworks. Zbl 1402.68043Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2017 Aggregation of votes with multiple positions on each issue. Zbl 06750824Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 1 2017 Dependence logic vs. constraint satisfaction. Zbl 1370.03045Hella, Lauri; Kolaitis, Phokion G. 1 2016 On the data complexity of consistent query answering. Zbl 1352.68082ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G. 3 2015 A declarative framework for linking entities. Zbl 1365.68198Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2015 Random graphs and the parity quantifier. Zbl 1280.03040Kolaitis, Phokion G.; Kopparty, Swastik 2 2013 Learning schema mappings. Zbl 1321.68249ten 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.68133Kolaitis, Phokion G.; Pema, Enela 5 2012 Probabilistic data exchange. Zbl 1281.68096Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G. 2 2011 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H. 41 2009 Random graphs and the parity quantifier. Zbl 1304.03074Kolaitis, Phokion G.; Kopparty, Swastik 1 2009 Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno 17 2008 Complexity of constraints. An overview of current research themes. Zbl 1154.68008Creignou, Nadia (ed.); Kolaitis, Phokion G. (ed.); Vollmer, Heribert (ed.) 12 2008 A logical approach to constraint satisfaction. Zbl 1171.03322Kolaitis, Phokion G.; Vardi, Moshe Y. 2 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 Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G. 3 2007 On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G. 12 2006 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H. 8 2006 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 59 2005 Data exchange: getting to the core. Zbl 1326.68119Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian 22 2005 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 22 2005 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 2004 Constraint propagation as a proof system. Zbl 1152.68537Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y. 8 2004 A dichotomy in the complexity of propositional circumscription. Zbl 1061.68075Kirousis, Lefteris M.; Kolaitis, Phokion G. 3 2004 Data exchange: Semantics and query answering. Zbl 1022.68510Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 14 2003 The complexity of minimal satisfiability problems. Zbl 1082.68036Kirousis, Lefteris M.; Kolaitis, Phokion G. 9 2003 On the complexity of existential pebble games. Zbl 1116.68474Kolaitis, Phokion G.; Panttaja, Jonathan 4 2003 On the unusual effectiveness of logic in computer science. Zbl 0979.03033Halpern, 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.68512Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 The complexity of minimal satisfiability problems. Zbl 0976.68078Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G. 1 2001 Conjunctive-query containment and constraint satisfaction. Zbl 0963.68059Kolaitis, Phokion G.; Vardi, Moshe Y. 67 2000 Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 3 2000 Unification algorithms cannot be combined in polynomial time. Zbl 1045.68568Hermann, Miki; Kolaitis, Phokion G. 2 2000 0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024Kolaitis, Phokion G.; Vardi, Moshe Y. 2 2000 On the complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G. 3 1999 Integer programming as a framework for optimization and approximability. Zbl 0915.90212Barland, Ian; Kolaitis, Phokion G.; Thakur, Madhukar N. 2 1998 On the boundedness problem for two-variable first-order logic. Zbl 0945.03548Kolaitis, Phokion G.; Otto, Martin 1 1998 On the decision problem for two-variable first-order logic. Zbl 0873.03009Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 45 1997 How to define a linear order on finite models. Zbl 0884.03034Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 6 1997 Can datalog be approximated? Zbl 0887.68027Chaudhuri, Surajit; Kolaitis, Phokion G. 1 1997 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 14 1996 Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017Kolaitis, Phokion G.; Väänänen, Jouko A. 18 1995 On the expressive power of Datalog: tools and a case study. Zbl 1360.68397Kolaitis, Phokion G.; Vardi, Moshe Y. 16 1995 Approximation properties of NP minimization classes. Zbl 0837.68028Kolaitis, Phokion G.; Thakur, Madhukar N. 13 1995 The complexity of counting problems in equational matching. Zbl 0854.68043Hermann, Miki; Kolaitis, Phokion G. 4 1995 Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G. 3 1995 Computational complexity of simultaneous elementary matching problems. Zbl 1193.03027Hermann, Miki; Kolaitis, Phokion G. 2 1995 Logical definability of NP optimization problems. Zbl 0820.68048Kolaitis, Phokion G.; Thakur, Madhukar N. 18 1994 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 43 1992 0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023Kolaitis, Phokion G.; Vardi, Moshe Y. 2 1992 The expressive power of stratified logic programs. Zbl 0727.68016Kolaitis, Phokion G. 27 1991 Why not negation by fixpoint? Zbl 0753.68028Kolaitis, Phokion G.; Papadimitriou, Christos H. 27 1991 0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004Kolaitis, Phokion G.; Vardi, Moshe Y. 21 1990 Some computational aspects of circumscription. Zbl 0697.68085Kolaitis, Phokion G.; Papadimitriou, Christos H. 12 1990 \(K_{\ell +1}\)-free graphs: Asymptotic structure and a 0-1 law. Zbl 0641.05025Kolaitis, 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.05041Kolaitis, Ph. G.; Prömel, H.-J.; Rothschild, B. L. 4 1985 On asymptotic probabilities of inductive queries and their decision problem. Zbl 0608.68078Kolaitis, Phokion G. 1 1985 all cited Publications top 5 cited Publications 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 all top 5 Cited in 24 Fields 412 Computer science (68-XX) 207 Mathematical logic and foundations (03-XX) 107 Combinatorics (05-XX) 21 Operations research, mathematical programming (90-XX) 19 General algebraic systems (08-XX) 10 Probability theory and stochastic processes (60-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 History and biography (01-XX) 4 Number theory (11-XX) 4 Group theory and generalizations (20-XX) 3 Category theory; homological algebra (18-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Information and communication theory, circuits (94-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-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.