Jürgen F. H. Winkler

Publication Activity (10 Years)

Years Active: 1976-2019
Publications (10 Years): 1

Top Topics

Statistically Significant

Top Venues

Publications

Jürgen F. H. Winkler
Oprema - The Relay Computer of Carl Zeiss Jena. CoRR (2019)
Stefan Kauer, Jürgen F. H. Winkler
Mechanical inference of invariants for FOR-loops. J. Symb. Comput. 45 (11) (2010)
Jürgen F. H. Winkler
C#: eine Konkurrenz für Java? it Inf. Technol. 46 (2) (2004)
Jürgen F. H. Winkler
. Softw. Pract. Exp. 32 (7) (2002)
Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung (2002)
Jürgen F. H. Winkler
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. J. Univers. Comput. Sci. 3 (2) (1997)
Jürgen F. H. Winkler, Stefan Kauer
Proving Assertions is Also Useful. ACM SIGPLAN Notices 32 (3) (1997)
Wolfgang Günther, Jürgen F. H. Winkler
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt. Inform. Spektrum 16 (6) (1993)
Andreas Spillner, Jürgen F. H. Winkler
25 Jahre Software-Engineering - Editorial. Inform. Spektrum 16 (5) (1993)
Jürgen F. H. Winkler, Georg Dießl
Object CHILL - An Object Oriented Language for Systems Implementation. ACM Conference on Computer Science (1992)
Jürgen F. H. Winkler
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. Informatik zwischen Wissenschaft und Gesellschaft (1992)
Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher
A Prolog Debugger Based on a Refined Box Model. LPE (1990)
Jürgen F. H. Winkler
Adding inheritance to Ada. WADAS (1990)
Adolf Schleiermacher, Jürgen F. H. Winkler
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. Softw. Pract. Exp. 20 (10) (1990)
Jürgen F. H. Winkler
Visualisierung in der Software-Entwicklung. GI Jahrestagung (1) (1990)
Jürgen F. H. Winkler, Jürg Nievergelt
Wie soll die Fakultätsfunktion programmiert werden? Overflow. Inform. Spektrum 12 (4) (1989)
Jürgen F. H. Winkler
Workshop on software version and configuration control. ACM SIGSOFT Softw. Eng. Notes 13 (4) (1988)
Jürgen F. H. Winkler
Program-Variations-in-the-Small. SCM (1988)
Jürgen F. H. Winkler
Version Control in Families of Large Programs. ICSE (1987)
Jürgen F. H. Winkler
The Integration of Version Control into Programming Languages. Advanced Programming Environments (1986)
Jürgen F. H. Winkler
Eine Konfigurationssprache für Ada. Software-Architektur (1986)
Jürgen F. H. Winkler
Some improvements of ISO-Pascal. ACM SIGPLAN Notices 19 (7) (1984)
Jürgen F. H. Winkler
Some improvements of ISO-Pascal. ACM SIGPLAN Notices 19 (9) (1984)
Jürgen F. H. Winkler
Ada: die neuen Konzepte. Elektron. Rechenanlagen 24 (4) (1982)
Jürgen F. H. Winkler
Formale Definition der Semantik von Prozessoperationen. Implementierungssprachen für nichtsequentielle Programmsysteme (1981)
Jürgen F. H. Winkler
Differences between preliminary and final ADA. ACM SIGPLAN Notices 16 (8) (1981)
Jürgen F. H. Winkler
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II. Inform. Spektrum 3 (1) (1980)
Jürgen F. H. Winkler, Clemens Stoffel
Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme. Portable Software (1980)
Clemens Stoffel, Jürgen F. H. Winkler
Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen. Elektron. Rechenanlagen 21 (6) (1979)
Jürgen F. H. Winkler
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I. Inform. Spektrum 2 (4) (1979)
Jürgen F. H. Winkler
Zum Begriff des Prozesses: am Beispiel von PEARL. Elektron. Rechenanlagen 20 (6) (1978)
Jürgen F. H. Winkler
Schleifen und strukturierte Programmierung. Elektron. Rechenanlagen 18 (4) (1976)