| 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 |
