| 2011 | CONCUR | On Locality and the Exchange Law for Concurrent Processes. | C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
| 2009 | CONCUR | Concurrent Kleene Algebra. | C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | ICTAC | Linking Theories of Concurrency. | Jifeng He, C. A. R. Hoare |
| 2005 | VMCAI | The Verifying Compiler, a Grand Challenge for Computing Research. | C. A. R. Hoare |
| 2004 | CAV | Stuck-Free Conformance. | Cdric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
| 2003 | CC | The Verifying Compiler: A Grand Challenge for Computing Research. | C. A. R. Hoare |
| 2003 | EuroPar | The Verifying Compiler: A Grand Challenge for Computing Research. | C. A. R. Hoare |
| 2002 | COMPSAC | Assertions in Modern Software Engineering Practice. | C. A. R. Hoare |
| 2000 | APSEC | Unifying theories of healthiness condition. | Jifeng He, C. A. R. Hoare |
| 2000 | ICFEM | Legacy Code. | C. A. R. Hoare |
| 2000 | IFM | Assertions. | C. A. R. Hoare |
| 1999 | ECOOP | A Trace Model for Pointers and Objects. | C. A. R. Hoare, Jifeng He |
| 1999 | FM | Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. | C. A. R. Hoare |
| 1999 | ICLP | Algebra of Logic Programming. | Silvija Seres, J. Michael Spivey, C. A. R. Hoare |
| 1999 | PLDI | A Semantics for Imprecise Exceptions. | Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow |
| 1997 | EuroPar | Unifying Theories for Parallel Programming. | C. A. R. Hoare, Jifeng He |
| 1996 | FM | How Did Software Get So Reliable Without Proof? | C. A. R. Hoare |
| 1996 | ICSE | The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract). | C. A. R. Hoare |
| 1995 | COMPASS | Unification of Theories: A Challenge for Computing Science. | C. A. R. Hoare |
| 1990 | CONCUR | Let's Make Models (Abstract). | C. A. R. Hoare |
| 1989 | MFPS | Categorical Semantics for Programming Languages. | Jifeng He, C. A. R. Hoare |
| 1988 | LICS | Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic | C. A. R. Hoare, Michael J. C. Gordon |
| 1986 | ESOP | Data Refinement Refined. | Jifeng He, C. A. R. Hoare, Jeff W. Sanders |
| 1983 | ICALP | Specification-Oriented Semantics for Communicating Processes. | Ernst-Rdiger Olderog, C. A. R. Hoare |
| 1981 | ICDCS | Partial Correctness of Communicating Sequential Processes. | Zhou Chao Chen, C. A. R. Hoare |
| 1980 | ICALP | A Theory of Nondeterminism. | Richard Kennaway, C. A. R. Hoare |
| 1978 | ICSE | Software Engineering: A Keynote Address. | C. A. R. Hoare |
| 1978 | MFCS | Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). | Nissim Francez, C. A. R. Hoare, Willem P. de Roever |