Schleifen und strukturierte Programmierung. - Jürgen F. H. Winkler (Elektron. Rechenanlagen, 1976)

Zum Begriff des Prozesses: am Beispiel von PEARL. - Jürgen F. H. Winkler (Elektron. Rechenanlagen, 1978)

Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I. - Jürgen F. H. Winkler (Inform. Spektrum, 1979)

Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen. - Clemens Stoffel; Jürgen F. H. Winkler (Elektron. Rechenanlagen, 1979)

Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme. - Jürgen F. H. Winkler; Clemens Stoffel (Portable Software, 1980)

Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II. - Jürgen F. H. Winkler (Inform. Spektrum, 1980)

Formale Definition der Semantik von Prozessoperationen. - Jürgen F. H. Winkler (Implementierungssprachen für nichtsequentielle Programmsysteme, 1981)

Differences between preliminary and final ADA. - Jürgen F. H. Winkler (ACM SIGPLAN Notices, 1981)

Ada: die neuen Konzepte. - Jürgen F. H. Winkler (Elektron. Rechenanlagen, 1982)

Some improvements of ISO-Pascal. - Jürgen F. H. Winkler (ACM SIGPLAN Notices, 1984)

The Integration of Version Control into Programming Languages. - Jürgen F. H. Winkler (Advanced Programming Environments, 1986)

Eine Konfigurationssprache für Ada. - Jürgen F. H. Winkler (Software-Architektur, 1986)

Version Control in Families of Large Programs. - Jürgen F. H. Winkler (ICSE, 1987)

Program-Variations-in-the-Small. - Jürgen F. H. Winkler (SCM, 1988)

Workshop on software version and configuration control. - Jürgen F. H. Winkler (ACM SIGSOFT Softw. Eng. Notes, 1988)

Wie soll die Fakultätsfunktion programmiert werden? Overflow. - Jürgen F. H. Winkler; Jürg Nievergelt (Inform. Spektrum, 1989)

Visualisierung in der Software-Entwicklung. - Jürgen F. H. Winkler (GI Jahrestagung (1), 1990)

A Prolog Debugger Based on a Refined Box Model. - Jürgen F. H. Winkler; Axel v. Reeken; Adolf Schleiermacher (LPE, 1990)

Adding inheritance to Ada. - Jürgen F. H. Winkler (WADAS, 1990)

The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. - Adolf Schleiermacher; Jürgen F. H. Winkler (Softw. Pract. Exp., 1990)

Object CHILL - An Object Oriented Language for Systems Implementation. - Jürgen F. H. Winkler; Georg Dießl (ACM Conference on Computer Science, 1992)

Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. - Jürgen F. H. Winkler (Informatik zwischen Wissenschaft und Gesellschaft, 1992)

Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt. - Wolfgang Günther; Jürgen F. H. Winkler (Inform. Spektrum, 1993)

25 Jahre Software-Engineering - Editorial. - Andreas Spillner 002; Jürgen F. H. Winkler (Inform. Spektrum, 1993)

Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. - Jürgen F. H. Winkler (J. Univers. Comput. Sci., 1997)

Proving Assertions is Also Useful. - Jürgen F. H. Winkler; Stefan Kauer (ACM SIGPLAN Notices, 1997)

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. - Carsten Freining; Stefan Kauer; Jürgen F. H. Winkler (Ada Deutschland Tagung, 2002)

A safe variant of the unsafe integer arithmetic of JavaTM. - Jürgen F. H. Winkler (Softw. Pract. Exp., 2002)

C#: eine Konkurrenz für Java? - Jürgen F. H. Winkler (it Inf. Technol., 2004)

Mechanical inference of invariants for FOR-loops. - Stefan Kauer; Jürgen F. H. Winkler (J. Symb. Comput., 2010)

Oprema - The Relay Computer of Carl Zeiss Jena. - Jürgen F. H. Winkler (CoRR, 2019)