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