Concepedia

Peter W. O’Hearn

PW

Statistics

Publications

59

Citations

6.1K

H-Index

38

Active since

1990

Affiliations

Queen Mary University of London(Current)

University College London

Imperial College London

Meta (United Kingdom)

Syracuse University

Peter W. O’Hearn is an author at Queen Mary University of London specializing in computer science, computing, and programming languages.

ORCID

Publications per year

1990–2022

59

Publications

59

Resources, concurrency, and local reasoning

Peter W. O’Hearn · Theoretical Computer Science · 2007 · 558 citations

, , +11

BI as an assertion language for mutable data structures

Samin Ishtiaq, Peter W. O’Hearn · ACM SIGPLAN Notices · 2011 · 499 citations

, , +14

The Logic of Bunched Implications

Peter W. O’Hearn, David Pym · Bulletin of Symbolic Logic · 1999 · 474 citations

, , +12

Permission accounting in separation logic

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

, , +17

BI as an assertion language for mutable data structures

Samin Ishtiaq, Peter W. O’Hearn · 2001 · 281 citations

, , +14

1–5 of 59