Scholarly Index
Wen Kokke
University of Edinburgh; 126 total citations; 14 total publications; best world rank #272
University of Edinburgh
126Total citations
14Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 272 | GB 36 | 68.86 |
| Formal Methods in Verification | 2021-2025 | 601 | GB 50 | 63.96 |