Scholarly Index
John P. Gallagher
University of St Andrews; 1,817 total citations; 139 total publications; best world rank #486
University of St Andrews
1,817Total citations
139Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 605 | GB 54 | 94.91 |
| Logic, programming, and type systems | Lifetime | 486 | GB 61 | 94.56 |