Concepedia

Richard Bornat

RB

19

Publications

1.1K

Citations

16

H-Index

1976

Active since

Affiliations

Middlesex University(Current)

Queen Mary University of London

University of Cambridge

Imperial College London

University of London

Richard Bornat is an author at Middlesex University specializing in computer science, engineering, and formal methods.

Top concepts

Computer ScienceEngineeringFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationVerificationSoftware AnalysisComputer EngineeringParallel Programming

Publications per year

1976–2011

19

Publications

19

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · 2005 · 367 citations

Engineering, Computer Architecture, Confidentiality +25

Permission accounting in separation logic

Richard Bornat, Cristiano Calcagno, Peter W. O’Hearn et al. · ACM SIGPLAN Notices · 2005 · 101 citations

Engineering, Computer Architecture, Confidentiality +25

Mental models, consistency and programming aptitude

Richard Bornat, Saeed Dehnadi, Norma P. Simon · 2008 · 88 citations

Engineering, Education, Software Engineering Education +18

Variables as Resource in Hoare Logics

Matthew Parkinson, Richard Bornat, Cristiano Calcagno · 2006 · 75 citations · Full text

The camel has two humps (working title)

Saeed Dehnadi, Richard Bornat · 2006 · 74 citations

Rows per page

1–5 of 19