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