Scholarly Index
Ian Mackie
London South Bank University; 742 total citations; 74 total publications; best world rank #745
London South Bank University
742Total citations
74Total publications
13H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 995 | GB 83 | 92.36 |
| Logic, programming, and type systems | Lifetime | 745 | GB 87 | 92.43 |
| Logic, Reasoning, and Knowledge | Lifetime | 845 | GB 111 | 91.07 |