| 2007 | ||
|---|---|---|
| 3 | EE | Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik: Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures 2007 |
| 2006 | ||
| 2 | EE | Manh Thang Nguyen, Danny De Schreye: Polytool: Proving Termination Automatically Based on Polynomial Interpretations. LOPSTR 2006: 210-218 |
| 2005 | ||
| 1 | EE | Manh Thang Nguyen, Danny De Schreye: Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. ICLP 2005: 311-325 |
| 1 | Jürgen Giesl | [3] |
| 2 | Peter Schneider-Kamp | [3] |
| 3 | Danny De Schreye | [1] [2] [3] |
| 4 | Alexander Serebrenik | [3] |
| 5 | Stephan Swiderski | [3] |
| 6 | René Thiemann | [3] |