Scholarly Index
Colin Stirling
University of Edinburgh; 1,403 total citations; 49 total publications; best world rank #368
University of Edinburgh
1,403Total citations
49Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 368 | GB 36 | 96.38 |
| Logic, programming, and type systems | Lifetime | 469 | GB 59 | 94.67 |
| Logic, Reasoning, and Knowledge | Lifetime | 906 | GB 120 | 90.62 |