 | 2012 |
|---|
| 6 |       | Friedrich Neurauter,
Aart Middeldorp:
On the Domain and Dimension Hierarchy of Matrix Interpretations.
LPAR 2012: 320-334 |
| 2011 |
|---|
| 5 | | Aart Middeldorp,
Georg Moser,
Friedrich Neurauter,
Johannes Waldmann,
Harald Zankl:
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.
CAI 2011: 1-20 |
| 4 | | Friedrich Neurauter,
Aart Middeldorp:
Revisiting Matrix Interpretations for Proving Termination of Term Rewriting.
RTA 2011: 251-266 |
| 2010 |
|---|
| 3 | | Friedrich Neurauter,
Aart Middeldorp,
Harald Zankl:
Monotonicity Criteria for Polynomial Interpretations over the Naturals.
IJCAR 2010: 502-517 |
| 2 | | Friedrich Neurauter,
Harald Zankl,
Aart Middeldorp:
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.
LPAR (Yogyakarta) 2010: 550-564 |
| 1 | | Friedrich Neurauter,
Aart Middeldorp:
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers.
RTA 2010: 243-258 |
Data released under the ODC-BY 1.0 license — See also our legal information page