Reasoning about Hand Prinited FORTRAN Programs. - Richard Bornat (AISB (ECAI), 1976)

Finding Blobs of Writing in the FORTRAN Coding-Sheets Project. - Richard Bornat; J. Michael Brady (AISB (ECAI), 1976)

Does AI Programming really have to be like knitting with Spaghetti? - Richard Bornat; Bob J. Wielinga (AISB (ECAI), 1976)

A Protocol for Generalized occam. - Richard Bornat (Softw. Pract. Exp., 1986)

Fear of Formal Reasoning. - Pat Fung; Pamela O'Shea; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (2), 1992)

Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods. - Tim O'Shea; Pat Fung; Richard Bornat; Steve Reeves; Doug Goldson (PPIG (1), 1992)

A Review of Several Programs for the Teaching of Logic. - Doug Goldson; Steve Reeves; Richard Bornat (Comput. J., 1993)

The Vectorisation Monad. - Jonathan M. D. Hill; Keith M. Clarke; Richard Bornat (PASCO, 1994)

Computer tools to teach formal reasoning. - Pat Fung; Tim O'Shea; Doug Goldson; Steve Reeves; Richard Bornat (Comput. Educ., 1996)

Parallelizing Imperative Functional Programs: the Vectorization Monad. - Jonathan M. D. Hill; Keith M. Clarke; Richard Bornat (J. Symb. Comput., 1996)

Jape: A Calculator for Animating Proof-on-Paper. - Richard Bornat; Bernard Sufrin (CADE, 1997)

Computer science undergraduates learning logic using a proof editor: work in progress. - James Aczel; Pat Fung; Richard Bornat; Martin Oliver; Tim O'Shea; Bernard Sufrin (PPIG, 1999)

Animating Formal Proof at the Surface: The Jape Proof Calculator. - Richard Bornat; Bernard Sufrin (Comput. J., 1999)

A Minimal Graphical User Interface for the Jape Proof Calculator. - Richard Bornat; Bernard Sufrin (Formal Aspects Comput., 1999)

Proving Pointer Programs in Hoare Logic. - Richard Bornat (MPC, 2000)

Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms. - James Aczel; Pat Fung; Richard Bornat; Martin Oliver; Tim O'Shea; Bernard Sufrin (Br. J. Educ. Technol., 2003)

Program logic and equivalence in the presence of garbage collection. - Cristiano Calcagno; Peter W. O'Hearn; Richard Bornat (Theor. Comput. Sci., 2003)

Permission accounting in separation logic. - Richard Bornat; Cristiano Calcagno; Peter W. O'Hearn; Matthew J. Parkinson (POPL, 2005)

Variables as Resource in Separation Logic. - Richard Bornat; Cristiano Calcagno; Hongseok Yang (MFPS, 2005)

Variables as Resource in Hoare Logics. - Matthew J. Parkinson; Richard Bornat; Cristiano Calcagno (LICS, 2006)

Modular verification of a non-blocking stack. - Matthew J. Parkinson; Richard Bornat; Peter W. O'Hearn (POPL, 2007)

Model Checking for Stability Analysis in Rely-Guarantee Proofs. - Hasan Amjad; Richard Bornat (VERIFY, 2008)

Cyclic proofs of program termination in separation logic. - James Brotherston; Richard Bornat; Cristiano Calcagno (POPL, 2008)

Meta-analysis of the effect of consistency on success in early learning of programming. - Saeed Dehnadi; Richard Bornat; Ray Adams (PPIG, 2009)

Towards Automatic Stability Analysis for Rely-Guarantee Proofs. - Hasan Amjad; Richard Bornat (VMCAI, 2009)

Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009. - Richard Bornat (Formal Aspects Comput., 2009)

Peter Landin: a computer scientist who inspired a generation. - Richard Bornat (High. Order Symb. Comput., 2009)

Inter-process buffers in separation logic with rely-guarantee. - Richard Bornat; Hasan Amjad (Formal Aspects Comput., 2010)

Observing Mental Models in Novice Programmers. - Richard Bornat; Saeed Dehnadi; David Barton (PPIG, 2012)

Explanation of two non-blocking shared-variable communication algorithms. - Richard Bornat; Hasan Amjad (Formal Aspects Comput., 2013)

New Lace and Arsenic: adventures in weak memory with a program logic. - Richard Bornat; Jade Alglave; Matthew J. Parkinson (CoRR, 2015)

Describing and Simulating Concurrent Quantum Systems. - Richard Bornat; Jaap Boender; Florian Kammueller; Guillaume Poly; Rajagopal Nagarajan (TACAS (2), 2020)