Andreas Schnabl

	2009
5		Georg Moser, Andreas Schnabl: The Derivational Complexity Induced by the Dependency Pair Method. RTA 2009: 255-269
4		Georg Moser, Andreas Schnabl: The Derivational Complexity Induced by the Dependency Pair Method CoRR abs/0904.0570: (2009)
	2008
3		Georg Moser, Andreas Schnabl, Johannes Waldmann: Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. FSTTCS 2008
2		Martin Avanzini, Georg Moser, Andreas Schnabl: Automated Implicit Computational Complexity Analysis (System Description). IJCAR 2008: 132-138
1		Georg Moser, Andreas Schnabl: Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. RTA 2008: 276-290

Coauthor Index

1	Martin Avanzini	[2]
2	Georg Moser	[1] [2] [3] [4] [5]
3	Johannes Waldmann	[3]