Scholarly Index
Kohei Honda
Queen Mary University of London; 2,953 total citations; 57 total publications; best world rank #190
Queen Mary University of London
2,953Total citations
57Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 190 | GB 26 | 97.29 |
| Formal Methods in Verification | Lifetime | 333 | GB 32 | 96.68 |
| Logic, Reasoning, and Knowledge | Lifetime | 700 | GB 96 | 92.23 |
| Security and Verification in Computing | Lifetime | 720 | GB 44 | 90.97 |