| |
| * | 1999 | |
|---|---|---|
| 5 | Jürgen Brauburger, Jürgen Giesl: Approximating the Domains of Functional and Imperative Programs. Sci. Comput. Program. 35(2): 113-136 (1999) | |
| 1998 | ||
| 4 | EE | Jürgen Brauburger, Jürgen Giesl: Termination Analysis by Inductive Evaluation. CADE 1998: 254-269 |
| 1997 | ||
| 3 | EE | Thomas Kolbe, Jürgen Brauburger: Plagiator - A Learning Prover. CADE 1997: 256-259 |
| 2 | Jürgen Brauburger: Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. SAS 1997: 330-344 | |
| 1996 | ||
| 1 | Jürgen Brauburger, Jürgen Giesl: Termination Analysis for Partial Functions. SAS 1996: 113-127 | |
| 1 | Jürgen Giesl | [1] [4] [5] |
| 2 | Thomas Kolbe | [3] |