Nao Hirokawa

	2012
20		Dominik Klein, Nao Hirokawa: Confluence of Non-Left-Linear TRSs via Relative Termination. LPAR 2012: 258-273
	2011
19		Dominik Klein, Nao Hirokawa: Maximal Completion. RTA 2011: 71-80
18		Nao Hirokawa, Georg Moser: Automated Complexity Analysis Based on the Dependency Pair Method CoRR abs/1102.3129: (2011)
17		Nao Hirokawa, Aart Middeldorp: Decreasing Diagrams and Relative Termination. J. Autom. Reasoning 47(4): 481-501 (2011)
	2010
16		Harald Zankl, Nao Hirokawa, Aart Middeldorp: Uncurrying for Innermost Termination and Derivational Complexity HOR 2010: 46-57
15		Nao Hirokawa, Aart Middeldorp: Decreasing Diagrams and Relative Termination. IJCAR 2010: 487-501
	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

Coauthor Index

1	Dominik Klein	[19] [20]
2	Aart Middeldorp	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [14] [15] [16] [17]
3	Georg Moser	[11] [12] [18]
4	Harald Zankl	[9] [10] [13] [16]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page