Scholarly Index
Dominic Orchard
University of Kent; 539 total citations; 51 total publications; best world rank #96
University of Kent
539Total citations
51Total publications
12H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 972 | GB 118 | 90.60 |
| Logic, programming, and type systems | 2021-2025 | 96 | GB 14 | 83.87 |
| Formal Methods in Verification | 2021-2025 | 278 | GB 21 | 78.29 |