Scholarly Index
Taro Sekiyama
National Institute of Informatics; 170 total citations; 33 total publications; best world rank #178
National Institute of Informatics
170Total citations
33Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 178 | JP 11 | 76.86 |
| Formal Methods in Verification | 2021-2025 | 407 | JP 15 | 72.35 |
| Security and Verification in Computing | 2021-2025 | 649 | JP 9 | 66.50 |