 | 2009 |
|---|
| 14 |       | Nao Hirokawa,
Aart Middeldorp:
Decreasing Diagrams and Relative Termination
CoRR abs/0910.2853: (2009) |
| 13 | | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
KBO Orientability.
J. Autom. Reasoning 43(2): 173-201 (2009) |
| 2008 |
|---|
| 12 | | Nao Hirokawa,
Georg Moser:
Automated Complexity Analysis Based on the Dependency Pair Method.
IJCAR 2008: 364-379 |
| 11 | | Nao Hirokawa,
Georg Moser:
Complexity, Graphs, and the Dependency Pair Method.
LPAR 2008: 652-666 |
| 10 | | Nao Hirokawa,
Aart Middeldorp,
Harald Zankl:
Uncurrying for Termination.
LPAR 2008: 667-681 |
| 2007 |
|---|
| 9 | | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
Constraints for Argument Filterings.
SOFSEM (1) 2007: 579-590 |
| 8 | | Nao Hirokawa,
Aart Middeldorp:
Tyrolean termination tool: Techniques and features.
Inf. Comput. 205(4): 474-511 (2007) |
| 2006 |
|---|
| 7 | | Nao Hirokawa,
Aart Middeldorp:
Predictive Labeling.
RTA 2006: 313-327 |
| 2005 |
|---|
| 6 | | Nao Hirokawa,
Aart Middeldorp:
Tyrolean Termination Tool.
RTA 2005: 175-184 |
| 5 | | Nao Hirokawa,
Aart Middeldorp:
Automating the dependency pair method.
Inf. Comput. 199(1-2): 172-199 (2005) |
| 2004 |
|---|
| 4 | | Nao Hirokawa,
Aart Middeldorp:
Polynomial Interpretations with Negative Coefficients.
AISC 2004: 185-198 |
| 3 | | Nao Hirokawa,
Aart Middeldorp:
Dependency Pairs Revisited.
RTA 2004: 249-268 |
| 2003 |
|---|
| 2 | | Nao Hirokawa,
Aart Middeldorp:
Automating the Dependency Pair Method.
CADE 2003: 32-46 |
| 1 | | Nao Hirokawa,
Aart Middeldorp:
Tsukuba Termination Tool.
RTA 2003: 311-320 |
