Edit Profile (opens in new tab) Compton, Kevin J. Co-Author Distance Author ID: compton.kevin-j Published as: Compton, Kevin J.; Compton, Kevin; Compton, K. J. more...less Documents Indexed: 32 Publications since 1983, including 1 Additional arXiv Preprint Co-Authors: 20 Co-Authors with 16 Joint Publications 680 Co-Co-Authors all top 5 Co-Authors 14 single-authored 3 Straubing, Howard 2 Grädel, Erich 2 Henson, C. Ward 1 Behrendt, Thomas 1 Bender, Edward Anton 1 Burris, Stanley N. 1 Coffey, Sean T. 1 Dexter, Scott 1 Laflamme, Claude 1 Mix Barrington, David A. 1 Montenegro, Carlos H. 1 Odlyzko, Andrew M. 1 Ravishankar, Chinya V. 1 Richmond, Bruce 1 Richmond, L. Bruce 1 Rounds, William C. 1 Shelah, Saharon 1 Song, Hosung 1 Thérien, Denis 1 Uceda-Sosa, R. all top 5 Serials 2 Journal of Combinatorial Theory. Series A 2 Journal of Computer and System Sciences 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Information and Computation 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Discrete Mathematics 1 IEEE Transactions on Information Theory 1 Advances in Mathematics 1 Canadian Journal of Mathematics 1 Journal of the Association for Computing Machinery 1 Theoretical Computer Science 1 Algorithmica 1 Random Structures & Algorithms 1 Journal of Logic and Computation 1 Combinatorics, Probability and Computing 1 The Electronic Journal of Combinatorics all top 5 Fields 16 Mathematical logic and foundations (03-XX) 15 Computer science (68-XX) 10 Combinatorics (05-XX) 5 Probability theory and stochastic processes (60-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Information and communication theory, circuits (94-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 225 times in 184 Documents Cited by ▼ Year ▼ A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017 Compton, Kevin J.; Henson, C. Ward 38 1990 Regular languages in \(NC\). Zbl 0757.68057 Mix Barrington, David A.; Compton, Kevin; Straubing, Howard; Thérien, Denis 38 1992 A logical approach to asymptotic combinatorics I. First order properties. Zbl 0646.60012 Compton, Kevin J. 24 1987 A logical approach to asymptotic combinatorics. II: Monadic second-order properties. Zbl 0717.60016 Compton, Kevin J. 20 1989 Laws in logic and combinatorics. Zbl 1261.06005 Compton, Kevin J. 16 1989 Nonconvergence, undecidability, and intractability in asymptotic problems. Zbl 0632.03037 Compton, Kevin J.; Henson, C. Ward; Shelah, Saharon 11 1987 Some methods for computing component distribution probabilities in relational structures. Zbl 0649.05012 Compton, Kevin J. 11 1987 Probabilistic transforms for combinatorial urn models. Zbl 1079.60017 Milenkovic, O.; Compton, K. J. 10 2004 The computational complexity of asymptotic problems. I: Partial orders. Zbl 0665.03028 Compton, Kevin J. 9 1988 An algebra and a logic for \(NC^ 1\). Zbl 0717.68032 Compton, Kevin J.; Laflamme, Claude 8 1990 A deductive system for existential least fixpoint logic. Zbl 0798.03030 Compton, K. 7 1993 Some useful preservation theorems. Zbl 0523.03021 Compton, Kevin J. 7 1983 An undecidable problem in finite combinatorics. Zbl 0591.03020 Compton, Kevin J. 5 1984 Fine spectra and limit laws. II: First-order 0-1 laws. Zbl 0886.03028 Burris, Stanley; Compton, Kevin; Odlyzko, Andrew; Richmond, Bruce 5 1997 0-1 laws for maps. Zbl 0940.60038 Bender, Edward A.; Compton, Kevin J.; Richmond, L. Bruce 4 1999 Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions. Zbl 0844.68057 Behrendt, Thomas; Compton, Kevin; Grädel, Erich 3 1993 Expected deadlock time in a multiprocessing system. Zbl 0885.68040 Compton, Kevin J.; Ravishankar, Chinya 3 1995 Characterizations of regular languages in low level complexity classes. Zbl 1049.68066 Compton, Kevin J.; Straubing, Howard 2 2001 Logical definability of counting functions. Zbl 0859.68036 Compton, Kevin J.; Grädel, Erich 2 1996 Application of a Tauberian theorem to finite model theory. Zbl 0613.03007 Compton, Kevin J. 2 1985 The third support weight enumerators of the doubly-even, self-dual \([32,16,8]\) codes. Zbl 1063.94096 Milenkovic, Olgica; Coffey, Sean T.; Compton, Kevin J. 2 2003 Proof techniques for cryptographic protocols. Zbl 0987.94508 Compton, Kevin J.; Dexter, Scott 1 1999 The model theory of concurrency. Zbl 0953.68574 Compton, K. J.; Uceda-Sosa, R. 1 1994 Average case analysis of Gosper’s algorithm for a class of urn model inputs. Zbl 1092.33019 Milenkovic, Olgica; Compton, Kevin J. 1 2005 On rich words. Zbl 0563.03022 Compton, Kevin J. 1 1983 SPHIN: a model checker for reconfigurable hybrid systems based on SPIN. Zbl 1276.68107 Song, Hosung; Compton, Kevin J.; Rounds, William C. 1 2006 SPHIN: a model checker for reconfigurable hybrid systems based on SPIN. Zbl 1276.68107 Song, Hosung; Compton, Kevin J.; Rounds, William C. 1 2006 Average case analysis of Gosper’s algorithm for a class of urn model inputs. Zbl 1092.33019 Milenkovic, Olgica; Compton, Kevin J. 1 2005 Probabilistic transforms for combinatorial urn models. Zbl 1079.60017 Milenkovic, O.; Compton, K. J. 10 2004 The third support weight enumerators of the doubly-even, self-dual \([32,16,8]\) codes. Zbl 1063.94096 Milenkovic, Olgica; Coffey, Sean T.; Compton, Kevin J. 2 2003 Characterizations of regular languages in low level complexity classes. Zbl 1049.68066 Compton, Kevin J.; Straubing, Howard 2 2001 0-1 laws for maps. Zbl 0940.60038 Bender, Edward A.; Compton, Kevin J.; Richmond, L. Bruce 4 1999 Proof techniques for cryptographic protocols. Zbl 0987.94508 Compton, Kevin J.; Dexter, Scott 1 1999 Fine spectra and limit laws. II: First-order 0-1 laws. Zbl 0886.03028 Burris, Stanley; Compton, Kevin; Odlyzko, Andrew; Richmond, Bruce 5 1997 Logical definability of counting functions. Zbl 0859.68036 Compton, Kevin J.; Grädel, Erich 2 1996 Expected deadlock time in a multiprocessing system. Zbl 0885.68040 Compton, Kevin J.; Ravishankar, Chinya 3 1995 The model theory of concurrency. Zbl 0953.68574 Compton, K. J.; Uceda-Sosa, R. 1 1994 A deductive system for existential least fixpoint logic. Zbl 0798.03030 Compton, K. 7 1993 Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions. Zbl 0844.68057 Behrendt, Thomas; Compton, Kevin; Grädel, Erich 3 1993 Regular languages in \(NC\). Zbl 0757.68057 Mix Barrington, David A.; Compton, Kevin; Straubing, Howard; Thérien, Denis 38 1992 A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017 Compton, Kevin J.; Henson, C. Ward 38 1990 An algebra and a logic for \(NC^ 1\). Zbl 0717.68032 Compton, Kevin J.; Laflamme, Claude 8 1990 A logical approach to asymptotic combinatorics. II: Monadic second-order properties. Zbl 0717.60016 Compton, Kevin J. 20 1989 Laws in logic and combinatorics. Zbl 1261.06005 Compton, Kevin J. 16 1989 The computational complexity of asymptotic problems. I: Partial orders. Zbl 0665.03028 Compton, Kevin J. 9 1988 A logical approach to asymptotic combinatorics I. First order properties. Zbl 0646.60012 Compton, Kevin J. 24 1987 Nonconvergence, undecidability, and intractability in asymptotic problems. Zbl 0632.03037 Compton, Kevin J.; Henson, C. Ward; Shelah, Saharon 11 1987 Some methods for computing component distribution probabilities in relational structures. Zbl 0649.05012 Compton, Kevin J. 11 1987 Application of a Tauberian theorem to finite model theory. Zbl 0613.03007 Compton, Kevin J. 2 1985 An undecidable problem in finite combinatorics. Zbl 0591.03020 Compton, Kevin J. 5 1984 Some useful preservation theorems. Zbl 0523.03021 Compton, Kevin J. 7 1983 On rich words. Zbl 0563.03022 Compton, Kevin J. 1 1983 all cited Publications top 5 cited Publications all top 5 Cited by 228 Authors 8 Grädel, Erich 8 Lohrey, Markus 7 Compton, Kevin J. 6 Krebs, Andreas 5 Gurevich, Yuri 5 Straubing, Howard 5 Zhao, Fengzhen 4 Dawar, Anuj 4 Flajolet, Philippe 4 Kolaitis, Phokion G. 4 Kuske, Dietrich 4 Ludwig, Michael 4 Lynch, James F. 4 Makowsky, Johann-Andreas 4 Pin, Jean-Eric 4 Thérien, Denis 4 Zakharyaschev, Michael Viktorovich 4 Zhukovskiĭ, Maksim Evgen’evich 3 Bender, Edward Anton 3 Kurucz, Agi 3 Maurin, Françoise 3 McKenzie, Pierre 3 Paperman, Charles 3 Richmond, L. Bruce 3 Ryzhikov, Vladislav 3 Schwentick, Thomas 3 Vollmer, Heribert 2 Ahlman, Ove 2 Bell, Jason P. 2 Borlido, Célia 2 Burris, Stanley N. 2 Cadilhac, Michaël 2 Cegielski, Patrick 2 Gehrke, Mai 2 Glaßer, Christian 2 Henson, C. Ward 2 Hu, Feifang 2 Koponen, Vera 2 Koucký, Michal 2 Lange, Klaus-Jörn 2 Lautemann, Clemens 2 Libkin, Leonid O. 2 Lindell, Steven 2 McColm, Gregory L. 2 McDiarmid, Colin J. H. 2 Michel, Pascal 2 Myasnikov, Alexei G. 2 Ostrovskii, Lev B. 2 Péladeau, Pierre 2 Place, Thomas 2 Prömel, Hans Jürgen 2 Richard, Denis 2 Savateev, Yury 2 Selivanov, Viktor L’vovich 2 Shelah, Saharon 2 Soria, Michèle 2 Vardi, Moshe Ya’akov 2 Vorobyov, Sergei G. 2 Weil, Pascal 2 Winkler, Peter M. 2 Wolter, Frank 1 Albert, Michael Henry 1 Allen, Bill 1 Allender, Eric W. 1 Ameloot, Tom J. 1 Angel, Omer 1 Antonopoulos, Timos 1 Arenas, Marcelo 1 Artale, Alessandro 1 Atserias, Albert 1 Ausiello, Giorgio 1 Bagnara, Roberto 1 Balaji, Nikhil 1 Baricz, Árpád 1 Barlag, Timon 1 Barland, Ian 1 Behle, Christoph 1 Belluce, Lawrence Peter 1 Berman, Joel D. 1 Bloch, Stephen A. 1 Bodirsky, Manuel 1 Boigelot, Bernard 1 Bóna, Miklós 1 Bouvel, Mathilde 1 Breazu-Tannen, Val 1 Britz, Thomas 1 Brown, Jason Ira 1 Calude, Cristian S. 1 Chan, Wai-Sum 1 Chaubard, Laura 1 Cheung, Siu Hung 1 Consens, Mariano P. 1 Courcelle, Bruno 1 Creignou, Nadia 1 Crescenzi, Pierluigi 1 Dartois, Luc 1 Datta, Samir 1 Di Nola, Antonio 1 Došlić, Tomislav 1 Durand, Arnaud ...and 128 more Authors all top 5 Cited in 61 Serials 17 Theoretical Computer Science 15 The Journal of Symbolic Logic 11 Annals of Pure and Applied Logic 8 Journal of Computer and System Sciences 8 Information and Computation 7 Journal of Combinatorial Theory. Series A 6 Random Structures & Algorithms 5 Discrete Mathematics 5 Order 5 RAIRO. Theoretical Informatics and Applications 4 International Journal of Foundations of Computer Science 4 Logical Methods in Computer Science 3 Information Processing Letters 3 Journal of Combinatorial Theory. Series B 3 Transactions of the American Mathematical Society 2 Artificial Intelligence 2 Discrete Applied Mathematics 2 Bulletin of Mathematical Biology 2 Quaestiones Mathematicae 2 International Journal of Algebra and Computation 2 Designs, Codes and Cryptography 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Archiv für Mathematische Logik und Grundlagenforschung 1 The Canadian Journal of Statistics 1 Communications in Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Rocky Mountain Journal of Mathematics 1 Chaos, Solitons and Fractals 1 Advances in Mathematics 1 Algebra and Logic 1 Algebra Universalis 1 The Annals of Probability 1 The Annals of Statistics 1 Journal of Applied Probability 1 Journal of Pure and Applied Algebra 1 Topology and its Applications 1 Acta Applicandae Mathematicae 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Expositiones Mathematicae 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Archive for Mathematical Logic 1 Computational Complexity 1 Combinatorics, Probability and Computing 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Doklady Mathematics 1 The Ramanujan Journal 1 Theory of Computing Systems 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of Integer Sequences 1 Journal of Mathematical Logic 1 Sarajevo Journal of Mathematics 1 Journal of Logic and Analysis 1 RAIRO. Theoretical Informatics and Applications 1 Eurasian Mathematical Journal 1 Computability 1 Computer Science Review 1 Nonlinear Analysis. Theory, Methods & Applications all top 5 Cited in 24 Fields 98 Mathematical logic and foundations (03-XX) 88 Computer science (68-XX) 54 Combinatorics (05-XX) 33 Probability theory and stochastic processes (60-XX) 14 Number theory (11-XX) 11 Group theory and generalizations (20-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 4 Statistics (62-XX) 4 Information and communication theory, circuits (94-XX) 3 Biology and other natural sciences (92-XX) 2 Special functions (33-XX) 2 Convex and discrete geometry (52-XX) 2 General topology (54-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year