Concepedia

Stephen Crocker

SC

11

Publications

603

Citations

11

H-Index

1899

Active since

Affiliations

University of California, Los Angeles(Current)

Massachusetts Institute of Technology

Stephen Crocker is an author at University of California, Los Angeles specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsSystem SoftwareProgram AnalysisSoftware AnalysisLanguageVerification

Publications per year

1899–2007

11

Publications

11

The Greenblatt chess program

Richard D. Greenblatt, Donald Eastlake, Stephen Crocker · 1967 · 127 citations

Artificial Intelligence, Game Ai, Engineering +17

HOST-HOST communication protocol in the ARPA network

Chad Carr, Stephen Crocker, Vinton G. Cerf · 1970 · 113 citations

Network Science, Engineering, Network Communication Protocol +14

Function-oriented protocols for the ARPA computer network

Stephen Crocker, J. F. Heafner, Robert M. Metcalfe et al. · 1971 · 94 citations

Engineering, Communication Interface, Communication Architecture +16

The Oscillating Now

Stephen Crocker · Philosophy Today · 1997 · 73 citations

Nonlinear Oscillation, Existentialism, Chaos Theory +10

Verification of Concurrent Systems: Function and Timing

William T. Overman, Stephen Crocker · 1982 · 47 citations

Engineering, Verification, Concurrent Programming +7

Rows per page

1–5 of 11