Edit Profile (opens in new tab) Kolaitis, Phokion G. Compute Distance To: Compute Author ID: kolaitis.phokion-g Published as: Kolaitis, Phokion G.; Kolaitis, Ph. G.; Kolaitis, Phokion External Links: MGP · dblp Documents Indexed: 84 Publications since 1978, including 1 Book 6 Contributions as Editor · 2 Further Contributions Co-Authors: 64 Co-Authors with 81 Joint Publications 1,794 Co-Co-Authors 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 all top 5 Serials 9 Journal of Computer and System Sciences 7 Information and Computation 5 ACM Transactions on Database Systems 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 Annals of Pure and Applied Logic 2 Perspectives in Mathematical 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 The Journal of Artificial Intelligence Research (JAIR) 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 74 Computer science (68-XX) 47 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) 2 Game theory, economics, finance, and other social and behavioral sciences (91-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) Publications by Year all cited Publications top 5 cited Publications 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.68059Kolaitis, 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.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 65 2005 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03024Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza; Papadimitriou, Christos H. 51 2009 On the decision problem for two-variable first-order logic. Zbl 0873.03009Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. 49 1997 \(K_{\ell +1}\)-free graphs: Asymptotic structure and a 0-1 law. Zbl 0641.05025Kolaitis, Ph. G.; Prömel, H. J.; Rothschild, B. L. 45 1987 Infinitary logics and 0-1 laws. Zbl 0762.03016Kolaitis, Phokion G.; Vardi, Moshe Y. 44 1992 The expressive power of stratified logic programs. Zbl 0727.68016Kolaitis, Phokion G. 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 26 2007 Why not negation by fixpoint? Zbl 0753.68028Kolaitis, Phokion G.; Papadimitriou, Christos H. 25 1991 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 24 2005 Data exchange: getting to the core. Zbl 1326.68119Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian 22 2005 Logical definability of NP optimization problems. Zbl 0820.68048Kolaitis, Phokion G.; Thakur, Madhukar N. 18 1994 Generalized quantifiers and pebble games on finite structures. Zbl 0826.03017Kolaitis, Phokion G.; Väänänen, Jouko A. 18 1995 0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004Kolaitis, Phokion G.; Vardi, Moshe Y. 18 1990 Structure identification of Boolean relations and plain bases for co-clones. Zbl 1152.68020Creignou, Nadia; Kolaitis, Phokion; Zanuttini, Bruno 17 2008 Data exchange: Semantics and query answering. Zbl 1022.68510Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 15 2003 Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko 14 1996 On the expressive power of Datalog: tools and a case study. Zbl 1360.68397Kolaitis, Phokion G.; Vardi, Moshe Y. 14 1995 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.68008 12 2008 Some computational aspects of circumscription. Zbl 0697.68085Kolaitis, Phokion G.; Papadimitriou, Christos H. 12 1990 On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G. 12 2006 Constraint propagation as a proof system. Zbl 1152.68537Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y. 11 2004 The complexity of minimal satisfiability problems. Zbl 1082.68036Kirousis, Lefteris M.; Kolaitis, Phokion G. 9 2003 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 2004 The connectivity of Boolean satisfiability: computational and structural dichotomies. Zbl 1201.03023Gopalan, Parikshit; Kolaitis, Phokion G.; Maneva, Elitza N.; Papadimitriou, Christos H. 7 2006 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 On the complexity of existential pebble games. Zbl 1116.68474Kolaitis, Phokion G.; Panttaja, Jonathan 5 2003 A dichotomy in the complexity of consistent query answering for queries with two atoms. Zbl 1233.68133Kolaitis, Phokion G.; Pema, Enela 5 2012 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 complexity of counting the Hilbert basis of a linear Diophantine system. Zbl 1044.11631Hermann, Miki; Juban, Laurent; Kolaitis, Phokion G. 4 1999 The complexity of counting problems in equational matching. Zbl 0854.68043Hermann, Miki; Kolaitis, Phokion G. 4 1995 0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024Kolaitis, Phokion G.; Vardi, Moshe Y. 4 2000 Random graphs and the parity quantifier. Zbl 1280.03040Kolaitis, Phokion G.; Kopparty, Swastik 4 2013 Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041Dawar, 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.68075Kirousis, Lefteris M.; Kolaitis, Phokion G. 3 2004 Phase transitions of PP-complete satisfiability problems. Zbl 1123.68117Bailey, Delbert D.; Dalmau, Víctor; Kolaitis, Phokion G. 3 2007 Subtractive reductions and complete problems for counting complexity classes. Zbl 0996.68514Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 3 2000 Limits of schema mappings. Zbl 1392.68170Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim 2 2018 On the computational complexity of non-dictatorial aggregation. Zbl 06975219Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 2 2018 0-1 laws for fragments of second-order logic: An overview. Zbl 0754.03023Kolaitis, Phokion G.; Vardi, Moshe Y. 2 1992 The complexity of minimal satisfiability problems. Zbl 0976.68078Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 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 Probabilistic data exchange. Zbl 1281.68096Fagin, Ronald; Kimelfeld, Benny; Kolaitis, Phokion G. 2 2011 On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 On the data complexity of consistent query answering. Zbl 1352.68082ten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G. 2 2015 Aggregation of votes with multiple positions on each issue. Zbl 06750824Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 2 2017 Expressive power of entity-linking frameworks. Zbl 1402.68043Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2017 Generalized satisfiability problems via operator assignments. Zbl 06810944Atserias, Albert; Kolaitis, Phokion G.; Severini, Simone 1 2017 Learning schema mappings. Zbl 1321.68249ten Cate, Balder; Dalmau, Víctor; Kolaitis, Phokion G. 1 2013 On the boundedness problem for two-variable first-order logic. Zbl 0945.03548Kolaitis, Phokion G.; Otto, Martin 1 1998 Phase transitions of PP-complete satisfiability problems. (Abstract). Zbl 0990.90547Bailey, Delbert D.; Dalmau, Victor; Kolaitis, Phokion G. 1 2001 Can datalog be approximated? Zbl 0887.68027Chaudhuri, Surajit; Kolaitis, Phokion G. 1 1997 A logical approach to constraint satisfaction. Zbl 1171.03322Kolaitis, Phokion G.; Vardi, Moshe Y. 1 2008 Random graphs and the parity quantifier. Zbl 1304.03074Kolaitis, Phokion G.; Kopparty, Swastik 1 2009 A declarative framework for linking entities. Zbl 1365.68198Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2015 Dependence logic vs. constraint satisfaction. Zbl 1370.03045Hella, Lauri; Kolaitis, Phokion G. 1 2016 A SAT-based system for consistent query answering. Zbl 1441.68029Dixit, Akhil A.; Kolaitis, Phokion G. 1 2019 A SAT-based system for consistent query answering. Zbl 1441.68029Dixit, Akhil A.; Kolaitis, Phokion G. 1 2019 Limits of schema mappings. Zbl 1392.68170Kolaitis, Phokion G.; Pichler, Reinhard; Sallinger, Emanuel; Savenkov, Vadim 2 2018 On the computational complexity of non-dictatorial aggregation. Zbl 06975219Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 2 2018 Aggregation of votes with multiple positions on each issue. Zbl 06750824Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John 2 2017 Expressive power of entity-linking frameworks. Zbl 1402.68043Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew 1 2017 Generalized satisfiability problems via operator assignments. Zbl 06810944Atserias, Albert; Kolaitis, Phokion G.; Severini, Simone 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. 2 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 4 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. 51 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.68008 12 2008 A logical approach to constraint satisfaction. Zbl 1171.03322Kolaitis, Phokion G.; Vardi, Moshe Y. 1 2008 Finite model theory and its applications. Zbl 1133.03001Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott 26 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. 7 2006 Data exchange: semantics and query answering. Zbl 1080.68019Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian 65 2005 Subtractive reductions and complete problems for counting complexity classes. Zbl 1077.68033Durand, Arnaud; Hermann, Miki; Kolaitis, Phokion G. 24 2005 Data exchange: getting to the core. Zbl 1326.68119Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian 22 2005 Constraint propagation as a proof system. Zbl 1152.68537Atserias, Albert; Kolaitis, Phokion G.; Vardi, Moshe Y. 11 2004 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 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 15 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 5 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 The complexity of minimal satisfiability problems. Zbl 0976.68078Kirousis, Lefteris M.; Kolaitis, Phokion G. 2 2001 On the complexity of model checking and inference in minimal models (extended abstract). Zbl 1007.68512Kirousis, 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. 72 2000 0-1 laws for fragments of existential second-order logic: A survey. Zbl 0996.03024Kolaitis, Phokion G.; Vardi, Moshe Y. 4 2000 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. 4 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. 49 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. 14 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. 44 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. 25 1991 0-1 laws and decision problems for fragments of second-order logic. Zbl 0708.03004Kolaitis, Phokion G.; Vardi, Moshe Y. 18 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. 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.05041Kolaitis, Ph. G.; Prömel, H.-J.; Rothschild, B. L. 4 1985 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 all cited Publications top 5 cited Publications 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 all top 5 Cited in 25 Fields 439 Computer science (68-XX) 216 Mathematical logic and foundations (03-XX) 128 Combinatorics (05-XX) 24 Operations research, mathematical programming (90-XX) 17 General algebraic systems (08-XX) 12 Probability theory and stochastic processes (60-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Group theory and generalizations (20-XX) 4 History and biography (01-XX) 4 Category theory; homological algebra (18-XX) 4 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 3 Statistics (62-XX) 3 Quantum theory (81-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Functional analysis (46-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year