Scholarly Index
Андрей Воронков
University of Manchester; 2,735 total citations; 133 total publications; best world rank #281
University of Manchester
2,735Total citations
133Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 281 | GB 35 | 96.33 |
| Formal Methods in Verification | Lifetime | 655 | GB 58 | 94.58 |
| Logic, Reasoning, and Knowledge | Lifetime | 476 | GB 62 | 94.36 |
| Mathematics, Computing, and Information Processing | Lifetime | 462 | GB 44 | 66.00 |