| 2009 | ||
|---|---|---|
| 4 | Martin Avanzini, Georg Moser: Dependency Pairs and Polynomial Path Orders. RTA 2009: 48-62 | |
| 3 | Martin Avanzini, Georg Moser: Dependency Pairs and Polynomial Path Orders CoRR abs/0904.0981: (2009) | |
| 2008 | ||
| 2 | Martin Avanzini, Georg Moser: Complexity Analysis by Rewriting. FLOPS 2008: 130-146 | |
| 1 | Martin Avanzini, Georg Moser, Andreas Schnabl: Automated Implicit Computational Complexity Analysis (System Description). IJCAR 2008: 132-138 | |
| 1 | Georg Moser | [1] [2] [3] [4] |
| 2 | Andreas Schnabl | [1] |