Friedrich Neurauter

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Domain Independent

Orthogonal Matrices

Top Venues

Log. Methods Comput. Sci.

Publications

Friedrich Neurauter, Aart Middeldorp
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited. Log. Methods Comput. Sci. 10 (3) (2014)
Friedrich Neurauter, Aart Middeldorp
On the Domain and Dimension Hierarchy of Matrix Interpretations. LPAR (2012)
Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. CAI (2011)
Friedrich Neurauter, Aart Middeldorp
Revisiting Matrix Interpretations for Proving Termination of Term Rewriting. RTA (2011)
Friedrich Neurauter, Aart Middeldorp, Harald Zankl
Monotonicity Criteria for Polynomial Interpretations over the Naturals. IJCAR (2010)
Friedrich Neurauter, Harald Zankl, Aart Middeldorp
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. LPAR (Yogyakarta) (2010)
Friedrich Neurauter, Aart Middeldorp
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers. RTA (2010)