Scholarly Index
Dan R. Ghica
University of Birmingham; 850 total citations; 68 total publications; best world rank #413
University of Birmingham
850Total citations
68Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 413 | GB 47 | 95.28 |
| Formal Methods in Verification | Lifetime | 722 | GB 63 | 94.13 |
| Logic, programming, and type systems | 2021-2025 | 430 | GB 51 | 59.99 |