- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| c10 |      | |
| 2004 | ||
| c9 |  | 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 |
| c8 | | Alexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann: Formale Verifikation eines Sonet/SDH Framers. MBMV 2004: 280-288 |
| 2003 | ||
| c7 | | Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey: Cost-efficient Formal Block Verification for ASIC Design. MBMV 2003: 184-188 |
| c6 | | |
| 2001 | ||
| j8 | | Klaus Winkelmann: Formal Methods in Designing Embedded Systems-the SACRES Experience. Formal Methods in System Design 19(1): 81-110 (2001) |
| 1998 | ||
| c5 | | Helmut Melcher, Klaus Winkelmann: Controller synthesis for the "production cell" case study. FMSP 1998: 24-33 |
| 1995 | ||
| c4 | | |
| 1994 | ||
| c3 | | |
| c2 | | |
| 1991 | ||
| j7 | | Klaus Winkelmann: Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91. KI 5(4): 26-28 (1991) |
| c1 | | Hans Delfs, Klaus Winkelmann: TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems. DEXA 1991: 275-280 |
| 1990 | ||
| j6 | | Klaus Winkelmann: Zweite Konferenz ``Innovative Applications of Artificial Intelligence''. KI 4(3): 30-32 (1990) |
| j5 | | Klaus Winkelmann: Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag. KI 4(3): 33-36 (1990) |
| 1989 | ||
| j4 | | Klaus Winkelmann: Conference on Innovative Applications of Artificial Intelligence. KI 3(3): 20-23 (1989) |
| j3 | | Gabriele Schmiedel, Klaus Winkelmann: Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung. KI 3(3): 60-63 (1989) |
| 1988 | ||
| j2 | | Klaus Winkelmann: Bericht über die Fourth International Expert Systems Conference. KI 2(4): 20-21 (1988) |
| 1982 | ||
| j1 | | Klaus Winkelmann: An improved strategy for a counterfeit coin problem. IEEE Transactions on Information Theory 28(1): 120-122 (1982) |
| 1 | Jürgen Becker | |
| 2 | Jörg Bormann | |
| 3 | Hans Delfs | |
| 4 | Görschwin Fey | |
| 5 | Thomas Filkorn | |
| 6 | Ulrich Heinkel | |
| 7 | Helmut Melcher | |
| 8 | Klaus Nökel | |
| 9 | Gabriele Schmiedel | |
| 10 | Dominik Stoffel | |
| 11 | Alexander Thomas | |
| 12 | Hans-Joachim Trylus |
Data released under the ODC-BY 1.0 license — See also our legal information page