| 2007 |
|---|
| 9 | EE | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
Constraints for Argument Filterings.
SOFSEM (1) 2007: 579-590 |
| 8 | EE | Nao Hirokawa,
Aart Middeldorp:
Tyrolean termination tool: Techniques and features.
Inf. Comput. 205(4): 474-511 (2007) |
| 2006 |
|---|
| 7 | EE | Nao Hirokawa,
Aart Middeldorp:
Predictive Labeling.
RTA 2006: 313-327 |
| 2005 |
|---|
| 6 | EE | Nao Hirokawa,
Aart Middeldorp:
Tyrolean Termination Tool.
RTA 2005: 175-184 |
| 5 | EE | Nao Hirokawa,
Aart Middeldorp:
Automating the dependency pair method.
Inf. Comput. 199(1-2): 172-199 (2005) |
| 2004 |
|---|
| 4 | EE | Nao Hirokawa,
Aart Middeldorp:
Polynomial Interpretations with Negative Coefficients.
AISC 2004: 185-198 |
| 3 | EE | Nao Hirokawa,
Aart Middeldorp:
Dependency Pairs Revisited.
RTA 2004: 249-268 |
| 2003 |
|---|
| 2 | EE | Nao Hirokawa,
Aart Middeldorp:
Automating the Dependency Pair Method.
CADE 2003: 32-46 |
| 1 | EE | Nao Hirokawa,
Aart Middeldorp:
Tsukuba Termination Tool.
RTA 2003: 311-320 |
