Monotonicity Criteria for Polynomial Interpretations over the Naturals. - Friedrich Neurauter; Aart Middeldorp; Harald Zankl (IJCAR, 2010)

Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. - Friedrich Neurauter; Harald Zankl; Aart Middeldorp (LPAR (Yogyakarta), 2010)

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers. - Friedrich Neurauter; Aart Middeldorp (RTA, 2010)

Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. - Aart Middeldorp; Georg Moser; Friedrich Neurauter; Johannes Waldmann; Harald Zankl (CAI, 2011)

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting. - Friedrich Neurauter; Aart Middeldorp (RTA, 2011)

On the Domain and Dimension Hierarchy of Matrix Interpretations. - Friedrich Neurauter; Aart Middeldorp (LPAR, 2012)

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited. - Friedrich Neurauter; Aart Middeldorp (Log. Methods Comput. Sci., 2014)