Scholarly Index
Peter W. O’Hearn
Meta (United Kingdom); 6,112 total citations; 92 total publications; best world rank #43
Meta (United Kingdom)
6,112Total citations
92Total publications
37H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 43 | GB 8 | 99.08 |
| Formal Methods in Verification | Lifetime | 107 | GB 10 | 98.62 |
| Logic, Reasoning, and Knowledge | Lifetime | 150 | GB 30 | 97.68 |
| Distributed systems and fault tolerance | Lifetime | 465 | GB 17 | 96.86 |
| Software Testing and Debugging Techniques | Lifetime | 482 | GB 30 | 95.75 |
| Security and Verification in Computing | Lifetime | 830 | GB 49 | 89.64 |