Concepedia

Kevin J. Compton

KJ

18

Publications

634

Citations

14

H-Index

1983

Active since

Affiliations

University of Michigan(Current)

Wesleyan University

Western Michigan University

Kettering University

University of Illinois Urbana-Champaign

Kevin J. Compton is an author at University of Michigan specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationComputational ComplexityDiscrete MathematicsCombinatorial OptimizationProbabilityVerification

Publications per year

1983–2006

18

Publications

18

Regular languages in NC1

David A. Mix Barrington, Kevin J. Compton, Howard Straubing et al. · Journal of Computer and System Sciences · 1992 · 101 citations

Syntax, Formal Language, Computational Linguistics +4

A uniform method for proving lower bounds on the computational complexity of logical theories

Kevin J. Compton, C. Ward Henson · Annals of Pure and Applied Logic · 1990 · 96 citations · Full text

Computational Complexity Theory, Engineering, Automated Reasoning +10

A logical approach to asymptotic combinatorics I. First order properties

Kevin J. Compton · Advances in Mathematics · 1987 · 61 citations

Logical Approach, Engineering, Combinatory Analysis +6

A toolset for supporting UML static and dynamic model checking

Wuwei Shen, Kevin J. Compton, Jane E. Huggins · 2003 · 53 citations

Software Maintenance, Uml Tools, Engineering +23

A logical approach to asymptotic combinatorics II: Monadic second-order properties

Kevin J. Compton · Journal of Combinatorial Theory Series A · 1989 · 41 citations

Combinatorics On Word, Logical Approach, Bijective Combinatorics +4

Rows per page

1–5 of 18