| 2008 |
|---|
| 9 | EE | Harald Zankl,
Aart Middeldorp:
Increasing Interpretations.
AISC/MKM/Calculemus 2008: 191-205 |
| 8 | EE | Nao Hirokawa,
Aart Middeldorp,
Harald Zankl:
Uncurrying for Termination.
LPAR 2008: 667-681 |
| 7 | EE | Carsten Fuhs,
Jürgen Giesl,
Aart Middeldorp,
Peter Schneider-Kamp,
René Thiemann,
Harald Zankl:
Maximal Termination.
RTA 2008: 110-125 |
| 2007 |
|---|
| 6 | 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 |
| 5 | EE | Harald Zankl,
Aart Middeldorp:
Satisfying KBO Constraints.
RTA 2007: 389-403 |
| 4 | 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 |
| 3 | EE | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
Constraints for Argument Filterings.
SOFSEM (1) 2007: 579-590 |
| 2006 |
|---|
| 2 | EE | Harald Zankl:
SAT Techniques for Lexicographic Path Orders
CoRR abs/cs/0605021: (2006) |
| 1 | EE | Harald Zankl,
Aart Middeldorp:
Satisfying KBO Constraints
CoRR abs/cs/0608032: (2006) |
