| |
| * | 2009 | |
|---|---|---|
| 4 | EE | René Thiemann, Christian Sternagel: Loops under Strategies. RTA 2009: 17-31 |
| 3 | EE | Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304 |
| 2 | EE | René Thiemann, Christian Sternagel: Certification of Termination Proofs Using CeTA. TPHOLs 2009: 452-468 |
| 2008 | ||
| 1 | EE | Christian Sternagel, Aart Middeldorp: Root-Labeling. RTA 2008: 336-350 |
| 1 | Martin Korp | [3] |
| 2 | Aart Middeldorp | [1] [3] |
| 3 | René Thiemann | [2] [4] |
| 4 | Harald Zankl | [3] |