Scholarly Index
Donald Sannella
University of Edinburgh; 1,916 total citations; 62 total publications; best world rank #488
University of Edinburgh
1,916Total citations
62Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 619 | GB 55 | 94.83 |
| Logic, programming, and type systems | Lifetime | 488 | GB 62 | 94.54 |
| Model-Driven Software Engineering Techniques | Lifetime | 849 | GB 68 | 88.76 |