| Communicating sequential processes CAR Hoare Prentice-hall, 1985 | 22687* | 1985 |
| An axiomatic basis for computer programming CAR Hoare Communications of the ACM 12 (10), 576-580, 1969 | 9457 | 1969 |
| Monitors: An operating system structuring concept CAR Hoare Communications of the ACM 17 (10), 549-557, 1974 | 2801 | 1974 |
| Structured programming OJ Dahl, EW Dijkstra, CAR Hoare Academic Press Ltd., 1972 | 2469 | 1972 |
| Proof of correctness of data representations CAR Hoare Software pioneers: contributions to software engineering, 385-396, 2002 | 1818 | 2002 |
| Quicksort CAR Hoare The computer journal 5 (1), 10-16, 1962 | 1787 | 1962 |
| A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984 | 1786 | 1984 |
| Unifying theories of programming CAR Hoare, H Jifeng Prentice Hall, 1998 | 1424 | 1998 |
| A calculus of durations Z Chaochen, CAR Hoare, AP Ravn Information processing letters 40 (5), 269-276, 1991 | 1226 | 1991 |
| An axiomatic definition of the programming language PASCAL CAR Hoare, N Wirth Acta Informatica 2, 335-355, 1973 | 669 | 1973 |
| Algorithm 65: find CAR Hoare Communications of the ACM 4 (7), 321-322, 1961 | 636* | 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 | 584 | 1987 |
| Towards a theory of parallel programming CAR Hoare The origin of concurrent programming: from semaphores to remote procedure …, 2002 | 575 | 2002 |
| Algorithm 64: quicksort CAR Hoare Communications of the ACM 4 (7), 321, 1961 | 571 | 1961 |
| The verifying compiler: A grand challenge for computing research T Hoare Journal of the ACM (JACM) 50 (1), 63-69, 2003 | 479 | 2003 |
| Procedures and parameters: An axiomatic approach CAR Hoare Symposium on semantics of algorithmic languages, 102-116, 2006 | 463 | 2006 |
| The emperor's old clothes CAR Hoare ACM Turing award lectures, 1980, 2007 | 457 | 2007 |
| Chapter II: Notes on data structuring CAR Hoare Structured programming, 83-174, 1972 | 425 | 1972 |
| Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Acta Informatica 23, 9-66, 1986 | 409 | 1986 |
| Hints on programming language design CAR Hoare Computer Science Department, Stanford University, 1973 | 408 | 1973 |
