Richard Bornat | Academic Influence

Richard Bornat's AcademicInfluence.com Rankings

Richard Bornat

Computer Science

#1156

World Rank

#1196

Historical Rank

Database

#9547

World Rank

#10070

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Richard Bornat's Degrees

PhD Computer Science University of Sussex

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Richard Bornat Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Richard Bornat , is a British author and researcher in the field of computer science. He is also professor of Computer programming at Middlesex University. Previously he was at Queen Mary, University of London.

(See a Problem?)

Richard Bornat's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Permission accounting in separation logic (2005) (407)
Proving Pointer Programs in Hoare Logic (2000) (239)
Mental models, consistency and programming aptitude (2008) (103)
Cyclic proofs of program termination in separation logic (2008) (81)
Variables as Resource in Hoare Logics (2006) (80)
Variables as Resource in Separation Logic (2006) (75)
Modular verification of a non-blocking stack (2007) (67)
The camel has two humps (working title) (2006) (60)
Local reasoning, separation and aliasing (2003) (48)
Top-down Syntax Analysis (1979) (47)
Tools for creating intelligent computer tutors (1984) (44)
Animating Formal Proof at the Surface: The Jape Proof Calculator (1999) (37)
A Review of Several Programs for the Teaching of Logic (1993) (35)
Jape: A Calculator for Animating Proof-on-Paper (1997) (26)
Program logic and equivalence in the presence of garbage collection (2003) (25)
Meta-analysis of the effect of consistency on success in early learning of programming (2009) (21)
Understanding and Writing Compilers (1979) (20)
Using knowledge in the computer interpretation of handwritten FORTRAN coding sheets (1976) (20)
Inter-process buffers in separation logic with rely-guarantee (2010) (19)
A Protocol for Generalized occam (1986) (18)
Observing Mental Models in Novice Programmers (2012) (13)
Why computer science students find formal reasoning frightening (1994) (13)
Jape's quiet interface (1996) (12)
Camels and humps: a retraction (2014) (12)
A Minimal Graphical User Interface for the Jape Proof Calculator (1999) (11)
Explanation of two non-blocking shared-variable communication algorithms (2013) (11)
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms (2003) (10)
Computer science students perceptions of learning formal reasoning methods (1993) (8)
Understanding and writing compilers: a do-it-yourself guide (1990) (8)
Computer tools to teach formal reasoning (1996) (7)
Proof and Disproof in Formal Logic: An Introduction for Programmers (2005) (7)
The Calculator Project-formal reasoning about programs (1994) (6)
Towards Automatic Stability Analysis for Rely-Guarantee Proofs (2008) (5)
New Lace and Arsenic: adventures in weak memory with a program logic (2015) (5)
Separation logic and concurrency (2010) (5)
Reasoning about hand printed Fortran programs (1976) (4)
The Vectorisation Monad (1994) (4)
Finding Blobs of Writing in the FORTRAN Coding-Sheets Project (1976) (4)
Abducing memory barriers (2012) (3)
Barrier logic: a program logic for concurrency on PowerPC (2012) (2)
Does AI Programming really have to be like knitting with Spaghetti? (1976) (2)
Computer science undergraduates learning logic using a proof editor: work in progress (1999) (2)
Vectorising a non-strict data-parallel functional language (2013) (2)
Peter Landin: a computer scientist who inspired a generation (2009) (2)
Parallelizing Imperative Functional Programs: the Vectorization Monad (1996) (1)
Model Checking for Stability Analysis in Rely-Guarantee Proofs (2008) (1)
Permission Accounting in Separation Logic ( extended abstract ) (2004) (1)
SASD — All bubbles and no code (1989) (1)
Fear of Formal Reasoning (1992) (1)
A rational reconstruction of Harris's algorithm in RGSep (work in progress) (2008) (0)
Operator Precedence Analysis of Expressions (1979) (0)
Translating Arithmetic Expressions (1979) (0)
Efficiency, Heaps and Lifetimes (1979) (0)
Environments and Closures (1979) (0)
Run-time Debugging Aids (1979) (0)
Describing and Simulating Concurrent Quantum Systems (2020) (0)
Procedure Call and Return (1979) (0)
Translating Boolean Expressions (1979) (0)
Accessing an Element of a Data Structure (1979) (0)
Phases and Passes (1979) (0)
Creating and Using the Symbol Table (1979) (0)
Reasoning about Hand Prinited FORTRAN Programs (1976) (0)
Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 (2009) (0)
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods (1992) (0)
Interpreters and Interpretation (1979) (0)
Forward reasoning in Jape (2007) (0)
Explanation of two non-blocking shared-variable communication algorithms (2011) (0)
Explanation by refinement and linearisability of two non-blocking shared-variable communication algorithms (2009) (0)
Introduction to Translation (1979) (0)
Introduction to Syntax Analysis (1979) (0)
Lexical Analysis and Loading (1979) (0)
LR(1) Syntax Analysis (1979) (0)
Notation and Formal Language Theory (1979) (0)
Translating Statements and Declarations (1979) (0)
Mental models and the learning of programming ( case for support ) (2012) (0)
Arguments and Parameters (1979) (0)

This paper list is powered by the following services:

Other Resources About Richard Bornat

en.wikipedia.org

What Schools Are Affiliated With Richard Bornat?

Richard Bornat is affiliated with the following schools: