| * | 2009 |
|---|
| 7 | EE | Stephan Swiderski,
Michael Parting,
Jürgen Giesl,
Carsten Fuhs,
Peter Schneider-Kamp:
Termination Analysis by Dependency Pairs and Inductive Theorem Proving.
CADE 2009: 322-338 |
| 6 | EE | Carsten Fuhs,
Jürgen Giesl,
Martin Plücker,
Peter Schneider-Kamp,
Stephan Falke:
Proving Termination of Integer Term Rewriting.
RTA 2009: 32-47 |
| 2008 |
|---|
| 5 | EE | Carsten Fuhs,
Rafael Navarro-Marset,
Carsten Otto,
Jürgen Giesl,
Salvador Lucas,
Peter Schneider-Kamp:
Search Techniques for Rational Polynomial Orders.
AISC/MKM/Calculemus 2008: 109-124 |
| 4 | EE | Beatriz Alarcón,
Fabian Emmes,
Carsten Fuhs,
Jürgen Giesl,
Raúl Gutiérrez,
Salvador Lucas,
Peter Schneider-Kamp,
René Thiemann:
Improving Context-Sensitive Dependency Pairs.
LPAR 2008: 636-651 |
| 3 | EE | Carsten Fuhs,
Jürgen Giesl,
Aart Middeldorp,
Peter Schneider-Kamp,
René Thiemann,
Harald Zankl:
Maximal Termination.
RTA 2008: 110-125 |
| 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 |
