Jürgen F. H. Winkler

Stefan Kauer, Jürgen F. H. Winkler: Mechanical inference of invariants for FOR-loops. J. Symb. Comput. 45(11): 1101-1113 (2010)

Jürgen F. H. Winkler: C#: eine Konkurrenz für Java? it - Information Technology 46(2): 85-93 (2004)

Jürgen F. H. Winkler, Peter Denecker, Hubert B. Keller, Michael Tonndorf (Eds.): Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität. Shaker Verlag 2003, isbn 3-8265-9956-X

Jürgen F. H. Winkler: A safe variant of the unsafe integer arithmetic of Java^TM. Softw., Pract. Exper. 32(7): 669-701 (2002)

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

Jürgen F. H. Winkler: Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. J. UCS 3(2): 120-146 (1997)

Jürgen F. H. Winkler, Stefan Kauer: Proving Assertions is Also Useful. SIGPLAN Notices 32(3): 38-41 (1997)

Andreas Spillner, Jürgen F. H. Winkler: 25 Jahre Software-Engineering - Editorial. Informatik Spektrum 16(5): 257-258 (1993)

Wolfgang Günther, Jürgen F. H. Winkler: Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt. Informatik Spektrum 16(6): 341-348 (1993)

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

Jürgen F. H. Winkler: Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. Informatik zwischen Wissenschaft und Gesellschaft 1992: 233-241

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

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

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

Jürgen F. H. Winkler, Jürg Nievergelt: Wie soll die Fakultätsfunktion programmiert werden? Overflow. Informatik Spektrum 12(4): 220-221 (1989)

Jürgen F. H. Winkler: Program-Variations-in-the-Small. SCM 1988: 175-196

Jürgen F. H. Winkler (Ed.): Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany. Berichte des German Chapter of the ACM 30, Teubner 1988, isbn 3-519-02671-6

Jürgen F. H. Winkler: Version Control in Families of Large Programs. ICSE 1987: 150-165

Jürgen F. H. Winkler: The Integration of Version Control into Programming Languages. Advanced Programming Environments 1986: 230-250

Jürgen F. H. Winkler: Eine Konfigurationssprache für Ada. Software-Architektur 1986: 107-122

Jürgen F. H. Winkler: Ada: die neuen Konzepte. Elektronische Rechenanlagen 24(4): 175-186 (1982)

Jürgen F. H. Winkler: Formale Definition der Semantik von Prozessoperationen. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 26-36

Jürgen F. H. Winkler: Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II. Informatik Spektrum 3(1): 31-40 (1980)

Jürgen F. H. Winkler, Clemens Stoffel: Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme. Portable Software 1980: 34-47

Jürgen F. H. Winkler: Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I. Informatik Spektrum 2(4): 219-229 (1979)

Clemens Stoffel, Jürgen F. H. Winkler: Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen. Elektronische Rechenanlagen 21(6): 274-287 (1979)

Jürgen F. H. Winkler: Zum Begriff des Prozesses: am Beispiel von PEARL. Elektronische Rechenanlagen 20(6): 277-282 (1978)

Jürgen F. H. Winkler: Schleifen und strukturierte Programmierung. Elektronische Rechenanlagen 18(4): 172-179 (1976)