Klaus Nökel

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

Coauthor Index

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

Colors in the list of coauthors