| |
| 1995 | ||
|---|---|---|
| 10 | Klaus Nökel, Klaus Winkelmann: CSL. Formal Development of Reactive Systems 1995: 55-74 | |
| 1994 | ||
| 9 | Klaus Winkelmann, Klaus Nökel: Control Specification Language - CSL. FTRTFT 1994: 782-782 | |
| 1991 | ||
| 8 | Klaus Nökel: Temporally Distributed Symptoms in Technical Diagnosis Springer 1991 | |
| 7 | Klaus Nökel: Fehlerdiagnose an technischen Geräten mit dynamischem Verhalten. Wissensbasierte Systeme 1991: 298-309 | |
| 6 | EE | Klaus Nökel, Hans Lamberti: Temporally distributed symptoms in a diagnostic application. AI in Engineering 6(4): 196-204 (1991) |
| 1989 | ||
| 5 | Klaus Nökel: Convex Relations between Time Intervalls. ÖGAI 1989: 298-302 | |
| 4 | Klaus Nökel: Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements. IJCAI 1989: 1255-1260 | |
| 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 | Knut Hinkelmann | [2] |
| 2 | Hans Lamberti | [6] |
| 3 | Robert Rehbold | [1] [2] [3] |
| 4 | Michael M. Richter | [1] |
| 5 | Klaus Winkelmann | [9] [10] |