×
Author ID: compton.kevin-j Recent zbMATH articles by "Compton, Kevin J."
Published as: Compton, Kevin J.; Compton, Kevin; Compton, K. J.
Documents Indexed: 32 Publications since 1983, including 1 Additional arXiv Preprint
Co-Authors: 20 Co-Authors with 16 Joint Publications
680 Co-Co-Authors

Publications by Year

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 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

Citations by Year