Scholarly Index
Bartek Klin
University of Oxford; 677 total citations; 50 total publications; best world rank #661
University of Oxford
677Total citations
50Total publications
14H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 661 | GB 74 | 93.11 |
| Formal Methods in Verification | Lifetime | 948 | GB 80 | 92.64 |
| Logic, Reasoning, and Knowledge | Lifetime | 785 | GB 102 | 91.55 |