Scholarly Index

Shin-ya Katsumata

National Institute of Informatics; 414 total citations; 38 total publications; best world rank #141

National Institute of Informatics

414Total citations
38Total publications
11H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, Reasoning, and Knowledge2021-2025164JP 780.61
Logic, programming, and type systems2021-2025141JP 979.37
Formal Methods in Verification2021-2025346JP 1474.89