Scholarly Index
Nick Benton
University of Cambridge; 2,125 total citations; 87 total publications; best world rank #129
University of Cambridge
2,125Total citations
87Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 129 | GB 15 | 98.04 |
| Formal Methods in Verification | Lifetime | 415 | GB 38 | 96.04 |
| Logic, Reasoning, and Knowledge | Lifetime | 386 | GB 53 | 95.14 |