| |
| 2007 | ||
|---|---|---|
| 2 | EE | Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl: Implementing RPO and POLO using SAT. Deduction and Decision Procedures 2007 |
| 1 | EE | Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl: SAT Solving for Termination Analysis with Polynomial Interpretations. SAT 2007: 340-354 |
| 1 | Elena Annov | [2] |
| 2 | Michael Codish | [2] |
| 3 | Jürgen Giesl | [1] [2] |
| 4 | Aart Middeldorp | [1] [2] |
| 5 | Peter Schneider-Kamp | [1] [2] |
| 6 | René Thiemann | [1] [2] |
| 7 | Harald Zankl | [1] [2] |