An improved strategy for a counterfeit coin problem. - Klaus Winkelmann (IEEE Trans. Inf. Theory, 1982)

Prozesskoordinierung durch Verwendung von Fortsetzungsbedingungen. - Klaus Winkelmann (1984)

Bericht über die Fourth International Expert Systems Conference. - Klaus Winkelmann (Künstliche Intell., 1988)

Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung. - Gabriele Schmiedel; Klaus Winkelmann (Künstliche Intell., 1989)

Conference on Innovative Applications of Artificial Intelligence. - Klaus Winkelmann (Künstliche Intell., 1989)

Die Ausrichtung der Lufthansa- Inhouse-Systeme auf die Anforderungen der logistischen Dienstleister / Lufthansa Opens its Information Systems to the Requirements of its Logistics Partners. - Klaus Winkelmann (it Inf. Technol., 1990)

Zweite Konferenz "Innovative Applications of Artificial Intelligence". - Klaus Winkelmann (Künstliche Intell., 1990)

Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag. - Klaus Winkelmann (Künstliche Intell., 1990)

TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems. - Hans Delfs; Klaus Winkelmann (DEXA, 1991)

Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91. - Klaus Winkelmann (Künstliche Intell., 1991)

System Verification Environment - SVE. - Klaus Winkelmann; Thomas Filkorn (FTRTFT, 1994)

Control Specification Language - CSL. - Klaus Winkelmann; Klaus Nökel (FTRTFT, 1994)

CSL. - Klaus Nökel; Klaus Winkelmann (Formal Development of Reactive Systems, 1995)

Controller synthesis for the "production cell" case study. - Helmut Melcher; Klaus Winkelmann (FMSP, 1998)

Formal Methods in Designing Embedded Systems-the SACRES Experience. - Klaus Winkelmann (Formal Methods Syst. Des., 2001)

Cost-efficient Formal Block Verification for ASIC Design. - Klaus Winkelmann; Hans-Joachim Trylus; Dominik Stoffel; Görschwin Fey (MBMV, 2003)

Formal Verification. - Klaus Winkelmann (VLSI-SOC, 2003)

Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor. - Klaus Winkelmann; Hans-Joachim Trylus; Dominik Stoffel; Görschwin Fey (DATE, 2004)

Formale Verifikation eines Sonet/SDH Framers. - Alexander Thomas; Jürgen Becker 001; Ulrich Heinkel; Klaus Winkelmann; Jörg Bormann (MBMV, 2004)

Going Beyond Assertions. - Klaus Winkelmann (MBMV, 2006)