 | 2009 |
|---|
| 11 |       | Martin Korp,
Christian Sternagel,
Harald Zankl,
Aart Middeldorp:
Tyrolean Termination Tool 2.
RTA 2009: 295-304 |
| 10 | | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
KBO Orientability.
J. Autom. Reasoning 43(2): 173-201 (2009) |
| 2008 |
|---|
| 9 | | Harald Zankl,
Aart Middeldorp:
Increasing Interpretations.
AISC/MKM/Calculemus 2008: 191-205 |
| 8 | | Nao Hirokawa,
Aart Middeldorp,
Harald Zankl:
Uncurrying for Termination.
LPAR 2008: 667-681 |
| 7 | | Carsten Fuhs,
Jürgen Giesl,
Aart Middeldorp,
Peter Schneider-Kamp,
René Thiemann,
Harald Zankl:
Maximal Termination.
RTA 2008: 110-125 |
| 2007 |
|---|
| 6 | | 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 | | Harald Zankl,
Aart Middeldorp:
Satisfying KBO Constraints.
RTA 2007: 389-403 |
| 4 | | 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 | | Harald Zankl,
Nao Hirokawa,
Aart Middeldorp:
Constraints for Argument Filterings.
SOFSEM (1) 2007: 579-590 |
| 2006 |
|---|
| 2 | | Harald Zankl:
SAT Techniques for Lexicographic Path Orders
CoRR abs/cs/0605021: (2006) |
| 1 | | Harald Zankl,
Aart Middeldorp:
Satisfying KBO Constraints
CoRR abs/cs/0608032: (2006) |
