Scholarly Index
John Derrick
University of Sheffield; 1,823 total citations; 133 total publications; best world rank #437
University of Sheffield
1,823Total citations
133Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 437 | GB 40 | 95.89 |
| Model-Driven Software Engineering Techniques | Lifetime | 520 | GB 45 | 92.35 |
| Logic, programming, and type systems | Lifetime | 860 | GB 100 | 91.41 |