Richard Bornat
Middlesex University(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Permission accounting in separation logic(2005)367 cited
- → Proving Pointer Programs in Hoare Logic(2000)191 cited
- → Mental models, consistency and programming aptitude(2008)88 cited
- → Variables as Resource in Hoare Logics(2006)75 cited
- The camel has two humps (working title)(2006)
- → Cyclic proofs of program termination in separation logic(2008)72 cited
- → Variables as Resource in Separation Logic(2006)68 cited
- → Modular verification of a non-blocking stack(2007)43 cited