Scholarly Index

Hiroshi Unno

Tohoku University; 722 total citations; 47 total publications; best world rank #21

Tohoku University

722Total citations
47Total publications
14H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime985JP 2190.50
Logic, programming, and type systems2021-202521JP 194.45
Formal Methods in Verification2021-202588JP 491.21
Security and Verification in Computing2021-2025742JP 1163.62