| |
| 1990 | ||
|---|---|---|
| 5 | Martin Alt, Robert Rehbold, Ralf Scheidhauer: QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. GWAI 1990: 95-104 | |
| 1989 | ||
| 4 | Thomas Beck, Robert Rehbold: Bericht zum 2. Workshop Diagnostik-Expertensysteme. KI 3(4): 14-15 (1989) | |
| 3 | Klaus Nökel, Robert Rehbold: Bericht zum internationalen Workshop über modellbasierte Diagnose. KI 3(4): 18-19 (1989) | |
| 1988 | ||
| 2 | Knut Hinkelmann, Klaus Nökel, Robert Rehbold: SASLOG: Lazy Evaluation Meets Backtracking. GWAI 1988: 246-254 | |
| 1987 | ||
| 1 | Klaus Nökel, Robert Rehbold, Michael M. Richter: Remarks on SASL and the Verification of Functional Programming Languages. Computation Theory and Logic 1987: 265-276 | |
| 1 | Martin Alt | [5] |
| 2 | Thomas Beck | [4] |
| 3 | Knut Hinkelmann | [2] |
| 4 | Klaus Nökel | [1] [2] [3] |
| 5 | Michael M. Richter | [1] |
| 6 | Ralf Scheidhauer | [5] |