| 2007 |
|---|
| 12 | EE | Klaus Aehlig,
Stephen Cook,
Phuong Nguyen:
Relativizing Small Complexity Classes and Their Theories.
CSL 2007: 374-388 |
| 11 | EE | Elena Sitnikova,
Trent Kroeger,
Stephen Cook:
Software and systems engineering process capability in the South Australian defence industry.
ISSE 3(2): 129-139 (2007) |
| 2006 |
|---|
| 10 | EE | Stephen Cook:
Comments on Beckmann's Uniform Reducts
CoRR abs/cs/0601086: (2006) |
| 2005 |
|---|
| 9 | EE | Stephen Cook,
Tsuyoshi Morioka:
Quantified propositional calculus and a second-order theory for NC1.
Arch. Math. Log. 44(6): 711-749 (2005) |
| 8 | EE | Phuong Nguyen,
Stephen Cook:
Theories for TC0 and Other Small Complexity Classes
CoRR abs/cs/0505013: (2005) |
| 7 | EE | Mark Braverman,
Stephen Cook:
Computing over the Reals: Foundations for Scientific Computing
CoRR abs/cs/0509042: (2005) |
| 2002 |
|---|
| 6 | | Jean-Marc Jézéquel,
Heinrich Hußmann,
Stephen Cook:
UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings
Springer 2002 |
| 2000 |
|---|
| 5 | EE | Valentine Kabanets,
Charles Rackoff,
Stephen Cook:
Efficiently Approximable Real-Valued Functions
Electronic Colloquium on Computational Complexity (ECCC) 7(34): (2000) |
| 1986 |
|---|
| 4 | | Stephen Cook,
Cynthia Dwork,
Rüdiger Reischuk:
Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes.
SIAM J. Comput. 15(1): 87-97 (1986) |
| 1983 |
|---|
| 3 | | Burchard von Braunmühl,
Stephen Cook,
Kurt Mehlhorn,
Rutger Verbeek:
The Recognition of Deterministic CFL's in Small Time and Space
Information and Control 56(1/2): 34-51 (1983) |
| 1982 |
|---|
| 2 | | Stephen Cook,
Cynthia Dwork:
Bounds on the Time for Parallel RAM's to Compute Simple Functions
STOC 1982: 231-233 |
| 1974 |
|---|
| 1 | | Stephen Cook,
Ravi Sethi:
Storage Requirements for Deterministic Polynomial Time Recognizable Languages
STOC 1974: 33-39 |
