Scholarly Index
Sergey Goncharov
University of Birmingham; 92 total citations; 23 total publications; best world rank #434
University of Birmingham
92Total citations
23Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 434 | GB 52 | 59.86 |
| Formal Methods in Verification | 2021-2025 | 815 | GB 64 | 57.27 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 785 | GB 68 | 45.91 |