| Communicating sequential processes CAR Hoare Prentice-hall, 1985 | 22702* | 1985 |
| An axiomatic basis for computer programming CAR Hoare Communications of the ACM 12 (10), 576-580, 1969 | 9470 | 1969 |
| Monitors: An operating system structuring concept CAR Hoare Communications of the ACM 17 (10), 549-557, 1974 | 2806 | 1974 |
| Structured programming OJ Dahl, EW Dijkstra, CAR Hoare Academic Press Ltd., 1972 | 2470 | 1972 |
| Proof of correctness of data representations CAR Hoare Software pioneers: contributions to software engineering, 385-396, 2002 | 1819 | 2002 |
| Quicksort CAR Hoare The computer journal 5 (1), 10-16, 1962 | 1789 | 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 | 1227 | 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 | 637* | 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 | 574 | 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 | 458 | 2007 |
| Chapter II: Notes on data structuring CAR Hoare Structured programming, 83-174, 1972 | 426 | 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 |
| Proof of a program: FIND CAR Hoare Communications of the ACM 14 (1), 39-45, 1971 | 353 | 1971 |
| The laws of occam programming AW Roscoe, CAR Hoare Theoretical Computer Science 60 (2), 177-229, 1988 | 329 | 1988 |
| Chapter III: Hierarchical program structures OJ Dahl, CAR Hoare Structured programming, 175-220, 1972 | 313 | 1972 |
| Playing by the rules: rewriting as a practical optimisation technique in GHC SP Jones, A Tolmach, T Hoare Haskell workshop 1, 203-233, 2001 | 295 | 2001 |
| The weakest prespecification, Part I CAR Hoare, H Jifeng Fundamenta Informaticae 9 (1), 51-84, 1986 | 295* | 1986 |
| Data refinement refined resume J He, CAR Hoare, JW Sanders ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of …, 1986 | 285 | 1986 |
| A contribution to the development of ALGOL N Wirth, CAR Hoare Communications of the ACM 9 (6), 413-432, 1966 | 284 | 1966 |
| A model for communicating sequential process CAR Hoare | 267* | 1980 |
| Recursive data structures CAR Hoare International Journal of Computer & Information Sciences 4 (2), 105-132, 1975 | 242 | 1975 |
| Consistent and complementary formal theories of the semantics of programming languages CAR Hoare, PE Lauer Acta Informatica 3, 135-153, 1974 | 201 | 1974 |
| A trace semantics for long-running transactions M Butler, T Hoare, C Ferreira Communicating Sequential Processes. The First 25 Years: Symposium on the …, 2005 | 193 | 2005 |
| Program proving: Jumps and functions M Clint, CAR Hoare Acta informatica 1, 214-224, 1972 | 172 | 1972 |
| How did software get so reliable without proof? CAR Hoare International Symposium of Formal Methods Europe, 1-17, 1996 | 162 | 1996 |
| Essays in computing science CAR Hoare, CB Jones Prentice Hall, 1989 | 158 | 1989 |
| Concurrent Kleene algebra and its foundations T Hoare, B Möller, G Struth, I Wehrman The Journal of Logic and Algebraic Programming 80 (6), 266-296, 2011 | 156 | 2011 |
| Prespecification in data refinement CAR Hoare, H Jifeng, JW Sanders Information Processing Letters 25 (2), 71-76, 1987 | 156 | 1987 |
| Programs are predicates C Hoare | 151 | 1992 |
| Proving correctness of highly-concurrent linearisable objects V Vafeiadis, M Herlihy, T Hoare, M Shapiro Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice …, 2006 | 145 | 2006 |
| Normal form approach to compiler design CAR Hoare, H Jifeng, A Sampaio Acta informatica 30, 701-739, 1993 | 144 | 1993 |
| A theory of communicating sequential processes CAR Hoare, SD Brookes, AW Roscoe Oxford University Computing Laboratory, Programming Research Group, 1981 | 136 | 1981 |
