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