- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j5 |      | Nao Hirokawa, Aart Middeldorp, Harald Zankl: Uncurrying for Termination and Complexity. J. Autom. Reasoning 50(3): 279-315 (2013) |
| 2012 | ||
| c14 | | Dominik Klein, Nao Hirokawa: Confluence of Non-Left-Linear TRSs via Relative Termination. LPAR 2012: 258-273 |
| 2011 | ||
| j4 | | Nao Hirokawa, Aart Middeldorp: Decreasing Diagrams and Relative Termination. J. Autom. Reasoning 47(4): 481-501 (2011) |
| c13 | | |
| i2 | | Nao Hirokawa, Georg Moser: Automated Complexity Analysis Based on the Dependency Pair Method. CoRR abs/1102.3129 (2011) |
| 2010 | ||
| c12 | | |
| c11 | | Harald Zankl, Nao Hirokawa, Aart Middeldorp: Uncurrying for Innermost Termination and Derivational Complexity. HOR 2010: 46-57 |
| 2009 | ||
| j3 | | Harald Zankl, Nao Hirokawa, Aart Middeldorp: KBO Orientability. J. Autom. Reasoning 43(2): 173-201 (2009) |
| i1 | | Nao Hirokawa, Aart Middeldorp: Decreasing Diagrams and Relative Termination. CoRR abs/0910.2853 (2009) |
| 2008 | ||
| c10 | | Nao Hirokawa, Georg Moser: Automated Complexity Analysis Based on the Dependency Pair Method. IJCAR 2008: 364-379 |
| c9 | | |
| c8 | | |
| 2007 | ||
| j2 | | Nao Hirokawa, Aart Middeldorp: Tyrolean termination tool: Techniques and features. Inf. Comput. 205(4): 474-511 (2007) |
| c7 | | Harald Zankl, Nao Hirokawa, Aart Middeldorp: Constraints for Argument Filterings. SOFSEM (1) 2007: 579-590 |
| 2006 | ||
| c6 | | |
| 2005 | ||
| j1 | | Nao Hirokawa, Aart Middeldorp: Automating the dependency pair method. Inf. Comput. 199(1-2): 172-199 (2005) |
| c5 | | |
| 2004 | ||
| c4 | | Nao Hirokawa, Aart Middeldorp: Polynomial Interpretations with Negative Coefficients. AISC 2004: 185-198 |
| c3 | | |
| 2003 | ||
| c2 | | |
| c1 | | |
| 1 | Dominik Klein | |
| 2 | Aart Middeldorp | |
| 3 | Georg Moser | |
| 4 | Harald Zankl |
Data released under the ODC-BY 1.0 license — See also our legal information page