Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Stephen Cook | Researchclopedia

Back to researchers

Stephen Cook

California Polytechnic State University

232

Works

15,554

Citations

48

h-index

100

i10-index

Research Topics

Computability, Logic, AI Algorithms Complexity and Algorithms in Graphs semigroups and automata theory

Affiliations

University of New Brunswick2012–2012

Pasadena City College1984–1984

Rutherford Appleton Laboratory2011–2011

Marshall Space Flight Center1992–2010

New York State Department of Health2024–2024

Top Works

The complexity of theorem-proving procedures

19716,130 citations

Logic, programming, and type systems

Logic, Reasoning, and Knowledge

The relative efficiency of propositional proof systems

Stephen Cook,Robert A. Reckhow

1979819 citations

A taxonomy of problems with fast parallel algorithms

1985643 citations

Soundness and Completeness of an Axiom System for Program Verification

1978452 citations

A new recursion-theoretic characterization of the polytime functions

Stephen J. Bellantoni,Stephen Cook

1992395 citations

Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30.

1970387 citations

Characterizations of Pushdown Machines in Terms of Time-Bounded Computers

1971361 citations

Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes

Stephen Cook,Cynthia Dwork,et al.

1986338 citations

Time bounded random access machines

Stephen Cook,Robert A. Reckhow

1973315 citations