Concepedia

Nao Hirokawa

NH

7

Publications

350

Citations

7

H-Index

2003

Active since

Affiliations

Universität Innsbruck(Current)

Japan Advanced Institute of Science and Technology

Nao Hirokawa is an author at Universität Innsbruck specializing in software analysis, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2003–2012

7

Publications

7

Automating the dependency pair method

Nao Hirokawa, Aart Middeldorp · Information and Computation · 2005 · 133 citations

, , +6

Tyrolean termination tool: Techniques and features

Nao Hirokawa, Aart Middeldorp · Information and Computation · 2006 · 109 citations

, , +6

Tsukuba termination tool

Nao Hirokawa, Aart Middeldorp · 2003 · 31 citations

,

Decreasing Diagrams and Relative Termination

Nao Hirokawa, Aart Middeldorp · Journal of Automated Reasoning · 2011 · 24 citations

, , +1

KBO Orientability

Harald Zankl, Nao Hirokawa, Aart Middeldorp · Journal of Automated Reasoning · 2009 · 23 citations

Rows per page

1–5 of 7