| Communicating sequential processes CAR Hoare Prentice-hall, 1985 | 14959 | 1985 |
| An axiomatic basis for computer programming CAR Hoare Communications of the ACM 12 (10), 576-580, 1969 | 9086 | 1969 |
| Communicating sequential processes CAR Hoare Communications of the ACM 21 (8), 666-677, 1978 | 8747 | 1978 |
| Monitors: An operating system structuring concept CAR Hoare Communications of the ACM 17 (10), 549-557, 1974 | 2732 | 1974 |
| Structured programming OJ Dahl, EW Dijkstra, CAR Hoare Academic Press Ltd., 1972 | 2681 | 1972 |
| A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984 | 1775 | 1984 |
| Proof of correctness of data representations CAR Hoare Software pioneers: contributions to software engineering, 385-396, 2002 | 1757 | 2002 |
| Quicksort CAR Hoare The computer journal 5 (1), 10-16, 1962 | 1699 | 1962 |
| Unifying theories of programming CAR Hoare, H Jifeng Prentice Hall 14, 184-203, 1998 | 1393 | 1998 |
| A calculus of durations Z Chaochen, CAR Hoare, AP Ravn Information processing letters 40 (5), 269-276, 1991 | 1205 | 1991 |
| An axiomatic definition of the programming language PASCAL CAR Hoare, N Wirth Acta Informatica 2, 335-355, 1973 | 660 | 1973 |
| Algorithm 65: find CAR Hoare Communications of the ACM 4 (7), 321-322, 1961 | 598* | 1961 |
| Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987 | 578 | 1987 |
| Towards a theory of parallel programming CAR Hoare The origin of concurrent programming: from semaphores to remote procedure …, 2002 | 571 | 2002 |
| Algorithm 64: quicksort CAR Hoare Communications of the ACM 4 (7), 321, 1961 | 545 | 1961 |
| The verifying compiler: A grand challenge for computing research T Hoare Journal of the ACM (JACM) 50 (1), 63-69, 2003 | 509 | 2003 |
| Procedures and parameters: An axiomatic approach CAR Hoare Symposium on semantics of algorithmic languages, 102-116, 2006 | 460 | 2006 |
| The emperor's old clothes CAR Hoare ACM Turing award lectures, 1980, 2007 | 452 | 2007 |
| Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Acta Informatica 23, 9-66, 1986 | 414 | 1986 |
| Chapter II: Notes on data structuring CAR Hoare Structured programming, 83-174, 1972 | 411 | 1972 |
