Top1000 Scholar

Scholarly Index

Ichiro Hasuo

National Institute of Informatics; 850 total citations; 83 total publications; best world rank #89

National Institute of Informatics

850Total citations
83Total publications
17H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, Reasoning, and KnowledgeLifetime702JP 892.22
Logic, programming, and type systemsLifetime705JP 1192.73
Formal Methods in Verification2021-202589JP 591.12
Logic, programming, and type systems2021-2025168JP 1077.62
Logic, Reasoning, and Knowledge2021-2025332JP 1069.10
Machine Learning and Algorithms2021-2025440JP 1053.08