Scholarly Index
Naoki Kobayashi
The University of Tokyo; 6,699 total citations; 327 total publications; best world rank #29
The University of Tokyo
6,699Total citations
327Total publications
43H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 29 | JP 2 | 99.29 |
| Formal Methods in Verification | Lifetime | 49 | JP 1 | 99.25 |
| Security and Verification in Computing | Lifetime | 157 | JP 1 | 97.30 |
| Logic, Reasoning, and Knowledge | Lifetime | 334 | JP 4 | 95.73 |
| Software Testing and Debugging Techniques | Lifetime | 981 | JP 16 | 92.26 |
| Logic, programming, and type systems | 2021-2025 | 62 | JP 4 | 87.75 |
| Formal Methods in Verification | 2021-2025 | 206 | JP 9 | 83.88 |