| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Martin Korp, Aart Middeldorp: Beyond Dependency Graphs. CADE 2009: 339-354 |
| 4 | EE | Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304 |
| 3 | EE | Martin Korp, Aart Middeldorp: Match-bounds revisited. Inf. Comput. 207(11): 1259-1283 (2009) |
| 2008 | ||
| 2 | EE | Martin Korp, Aart Middeldorp: Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. LATA 2008: 321-332 |
| 2007 | ||
| 1 | EE | Martin Korp, Aart Middeldorp: Proving Termination of Rewrite Systems Using Bounds. RTA 2007: 273-287 |
| 1 | Aart Middeldorp | [1] [2] [3] [4] [5] |
| 2 | Christian Sternagel | [4] |
| 3 | Harald Zankl | [4] |