| 2004 |
|---|
| 15 | EE | Klaus Winkelmann,
Hans-Joachim Trylus,
Dominik Stoffel,
Görschwin Fey:
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor.
DATE 2004: 162-167 |
| 2003 |
|---|
| 14 | | Klaus Winkelmann:
Formal Verification.
VLSI-SOC 2003: 10- |
| 2001 |
|---|
| 13 | | Klaus Winkelmann:
Formal Methods in Designing Embedded Systems-the SACRES Experience.
Formal Methods in System Design 19(1): 81-110 (2001) |
| 1998 |
|---|
| 12 | EE | Helmut Melcher,
Klaus Winkelmann:
Controller synthesis for the "production cell" case study.
FMSP 1998: 24-33 |
| 1995 |
|---|
| 11 | | Klaus Nökel,
Klaus Winkelmann:
CSL.
Formal Development of Reactive Systems 1995: 55-74 |
| 1994 |
|---|
| 10 | | Klaus Winkelmann,
Klaus Nökel:
Control Specification Language - CSL.
FTRTFT 1994: 782-782 |
| 9 | | Klaus Winkelmann,
Thomas Filkorn:
System Verification Environment - SVE.
FTRTFT 1994: 783-783 |
| 1991 |
|---|
| 8 | | Hans Delfs,
Klaus Winkelmann:
TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems.
DEXA 1991: 275-280 |
| 7 | | Klaus Winkelmann:
Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91.
KI 5(4): 26-28 (1991) |
| 1990 |
|---|
| 6 | | Klaus Winkelmann:
Zweite Konferenz ``Innovative Applications of Artificial Intelligence''.
KI 4(3): 30-32 (1990) |
| 5 | | Klaus Winkelmann:
Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag.
KI 4(3): 33-36 (1990) |
| 1989 |
|---|
| 4 | | Klaus Winkelmann:
Conference on Innovative Applications of Artificial Intelligence.
KI 3(3): 20-23 (1989) |
| 3 | | Gabriele Schmiedel,
Klaus Winkelmann:
Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung.
KI 3(3): 60-63 (1989) |
| 1988 |
|---|
| 2 | | Klaus Winkelmann:
Bericht über die Fourth International Expert Systems Conference.
KI 2(4): 20-21 (1988) |
| 1982 |
|---|
| 1 | | Klaus Winkelmann:
An improved strategy for a counterfeit coin problem.
IEEE Transactions on Information Theory 28(1): 120- (1982) |
