dblp.uni-trier.dewww.uni-trier.de

Klaus Nökel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Knut Hinkelmann [2]
2Hans Lamberti [6]
3Robert Rehbold [1] [2] [3]
4Michael M. Richter [1]
5Klaus Winkelmann [9] [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)