- On the Translation of Languages from Left to Right
- Cooperating sequential processes
- The Theory of Joins in Relational Data Bases
- Guarded Commands, Nondeterminancy, and Formal Derivation of Programs
- The Entity Relationship Model - Toward A Unified View of Data
- Programming in America in the 1950s- Some Personal Impressions
- Alto: a personal computer
- On the Computational Complexity of Algorithms
- The Complexity of Theorem Proving Procedures
- Quicksort
- The FORTRAN Automatic Coding System
- Matter, Mind, and Models
- Revised Report on the Algorithmic Language Algol 60
- The Best Way to Design an Automatic Calculating Machine
- No Silver Bullet — Essence and Accidents of Software Engineering
- A Relational Model of Data for Large Shared Data Banks
- On the Criteria To Be Used in Decomposing Systems into Modules
- Solution of a Problem in Concurrent Programming Control
- Go To Statement Considered Harmful
- First Draft of a Report on the EDVAC
- Fusion, Propagation, and Structuring in Belief Networks
- An axiomatic definition of the programming language Pascal
- A rational design process: How and why to fake it
- An Axiomatic Basis for Computer Programming
- Organization and Maintenance of Large Ordered Indexes
- The Evolution of the Unix Time-sharing System
- Finite Automata and Their Decision Problems
- A Symbolic Analysis of Relay and Switching Circuits
- Steps Toward Artificial Intelligence
- Computing Machinery and intelligence
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Programming Considered as a Human Activity
- On Computable Numbers, with an Application to the Entscheidungsproblem: A Correction
manjunath5496/Great-Papers-in-Computer-Science
"The computer was born to solve problems that did not exist before." — Bill Gates