| 2009 | ||
|---|---|---|
| 5 | René Thiemann, Christian Sternagel: Loops under Strategies. RTA 2009: 17-31 | |
| 4 | Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304 | |
| 3 | René Thiemann, Christian Sternagel: Certification of Termination Proofs Using CeTA. TPHOLs 2009: 452-468 | |
| 2 | Harald Zankl, Christian Sternagel, Aart Middeldorp: Transforming SAT into Termination of Rewriting. Electr. Notes Theor. Comput. Sci. 246: 199-214 (2009) | |
| 2008 | ||
| 1 | Christian Sternagel, Aart Middeldorp: Root-Labeling. RTA 2008: 336-350 | |
| 1 | Martin Korp | [4] |
| 2 | Aart Middeldorp | [1] [2] [4] |
| 3 | René Thiemann | [3] [5] |
| 4 | Harald Zankl | [2] [4] |