Scholarly Index
Kenichi Asai
Ochanomizu University; 738 total citations; 80 total publications; best world rank #286
Ochanomizu University
738Total citations
80Total publications
13H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 897 | JP 17 | 91.23 |
| Logic, programming, and type systems | 2021-2025 | 286 | JP 12 | 68.10 |
| Formal Methods in Verification | 2021-2025 | 838 | JP 23 | 56.60 |