Scholarly Index
Anton Lorenzen
University of Edinburgh; 48 total citations; 10 total publications; best world rank #29
University of Edinburgh
48Total citations
10Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 29 | GB 7 | 93.02 |
| Formal Methods in Verification | 2021-2025 | 411 | GB 34 | 72.17 |