Scholarly Index
Jeremy Gibbons
University of Oxford; 1,926 total citations; 172 total publications; best world rank #186
University of Oxford
1,926Total citations
172Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 186 | GB 24 | 97.31 |
| Formal Methods in Verification | Lifetime | 546 | GB 50 | 95.25 |
| Model-Driven Software Engineering Techniques | Lifetime | 382 | GB 32 | 93.96 |
| Logic, Reasoning, and Knowledge | Lifetime | 588 | GB 77 | 93.47 |
| Logic, programming, and type systems | 2021-2025 | 262 | GB 32 | 69.52 |