OpenAlex
Nao Hirokawa
Author
View works
Alternate name Nao Hirokawa
Institution Japan Advanced Institute of Science and Technology
Past institutions Japan Advanced Institute of Science and Technology, Universität Innsbruck, University of Tsukuba
ORCID: Yes
H-index: 14
I10-index: 21
Works count: 57
Citations count: 867
Top works
Tyrolean Termination Tool
2005 · Nao Hirokawa, Aart Middeldorp · Lecture notes in computer science
Automating the dependency pair method
2005 · Nao Hirokawa, Aart Middeldorp · Information and Computation
Tyrolean termination tool: Techniques and features
2006 · Nao Hirokawa, Aart Middeldorp · Information and Computation
Key stats
year
open access
topic
type