| For communicating sequential CAR Hoare Logic of Programming and Calculi of Discrete Design: International Summer …, 2012 | 14155 | 2012 |
| Communicating sequential processes CAR Hoare Communications of the ACM 21 (8), 666-677, 1978 | 8142 | 1978 |
| An axiomatic basis for computer programming CAR Hoare Communications of the ACM 12 (10), 576-580, 1969 | 8103 | 1969 |
| Monitors: An operating system structuring concept CAR Hoare The origin of concurrent programming, 272-294, 1974 | 2646 | 1974 |
| Structured programming OJ Dahl, EW Dijkstra, CAR Hoare Academic Press Ltd., 1972 | 2494 | 1972 |
| A theory of communicating sequential processes SD Brookes, CAR Hoare, AW Roscoe Journal of the ACM (JACM) 31 (3), 560-599, 1984 | 1660 | 1984 |
| Proof of correctness of data representations CAR Hoare Programming methodology, 269-281, 1978 | 1655 | 1978 |
| Quicksort CAR Hoare The Computer Journal 5 (1), 10-16, 1962 | 1538 | 1962 |
| Unifying theories of programming CAR Hoare, H Jifeng Prentice Hall 14, 184-203, 1998 | 1269 | 1998 |
| A calculus of durations Z Chaochen, CAR Hoare, AP Ravn Information processing letters 40 (5), 269-276, 1991 | 1153 | 1991 |
| An axiomatic definition of the programming language PASCAL CAR Hoare, N Wirth Acta Informatica 2 (4), 335-355, 1973 | 631 | 1973 |
| Algorithm 65: find CAR Hoare Communications of the ACM 4 (7), 321-322, 1961 | 532* | 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 | 524 | 1987 |
| Towards a theory of parallel programming CAR Hoare The origin of concurrent programming, 231-244, 1972 | 511 | 1972 |
| The verifying compiler: A grand challenge for computing research T Hoare International Conference on Compiler Construction, 262-272, 2003 | 459 | 2003 |
| Algorithm 64: quicksort CAR Hoare Communications of the ACM 4 (7), 321, 1961 | 442 | 1961 |
| The emperor's old clothes CAR Hoare ACM Turing award lectures, 1980, 2007 | 422 | 2007 |
| Procedures and parameters: An axiomatic approach CAR Hoare Symposium on Semantics of Algorithmic Languages, 102-116, 1971 | 405 | 1971 |
| Specification-oriented semantics for communicating processes ER Olderog, CAR Hoare Acta Informatica 23 (1), 9-66, 1986 | 386 | 1986 |
| Chapter II: Notes on data structuring CAR Hoare Structured programming, 83-174, 1972 | 366 | 1972 |
