default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJürgen F. H. Winkler
Person information
- affiliation: University of Jena, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[i1]Jürgen F. H. Winkler:
Oprema - The Relay Computer of Carl Zeiss Jena. CoRR abs/1908.09549 (2019)- 2010
- [j19]Stefan Kauer, Jürgen F. H. Winkler:
Mechanical inference of invariants for FOR-loops. J. Symb. Comput. 45(11): 1101-1113 (2010)
2000 – 2009
- 2004
- [j18]Jürgen F. H. Winkler:
C#: eine Konkurrenz für Java? it Inf. Technol. 46(2): 85-93 (2004) - 2003
- [e2]Jürgen F. H. Winkler, Peter Dencker, Hubert B. Keller, Michael Tonndorf:
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 [contents] - 2002
- [j17]Jürgen F. H. Winkler:
A safe variant of the unsafe integer arithmetic of JavaTM. Softw. Pract. Exp. 32(7): 669-701 (2002) - [c12]Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145
1990 – 1999
- 1997
- [j16]Jürgen F. H. Winkler:
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. J. Univers. Comput. Sci. 3(2): 120-146 (1997) - [j15]Jürgen F. H. Winkler, Stefan Kauer:
Proving Assertions is Also Useful. ACM SIGPLAN Notices 32(3): 38-41 (1997) - 1993
- [j14]Andreas Spillner, Jürgen F. H. Winkler:
25 Jahre Software-Engineering - Editorial. Inform. Spektrum 16(5): 257-258 (1993) - [j13]Wolfgang Günther, Jürgen F. H. Winkler:
Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt. Inform. Spektrum 16(6): 341-348 (1993) - 1992
- [c11]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 - [c10]Jürgen F. H. Winkler:
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. Informatik zwischen Wissenschaft und Gesellschaft 1992: 233-241 - 1990
- [j12]Adolf Schleiermacher, Jürgen F. H. Winkler:
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model. Softw. Pract. Exp. 20(10): 985-1006 (1990) - [c9]Jürgen F. H. Winkler:
Visualisierung in der Software-Entwicklung. GI Jahrestagung (1) 1990: 40-72 - [c8]Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher:
A Prolog Debugger Based on a Refined Box Model. LPE 1990: 46-51 - [c7]Jürgen F. H. Winkler:
Adding inheritance to Ada. WADAS 1990: 241-244
1980 – 1989
- 1989
- [j11]Jürgen F. H. Winkler, Jürg Nievergelt:
Wie soll die Fakultätsfunktion programmiert werden? Overflow. Inform. Spektrum 12(4): 220-221 (1989) - 1988
- [j10]Jürgen F. H. Winkler:
Workshop on software version and configuration control. ACM SIGSOFT Softw. Eng. Notes 13(4): 61-73 (1988) - [c6]Jürgen F. H. Winkler:
Program-Variations-in-the-Small. SCM 1988: 175-196 - [e1]Jürgen F. H. Winkler:
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 [contents] - 1987
- [c5]Jürgen F. H. Winkler:
Version Control in Families of Large Programs. ICSE 1987: 150-165 - 1986
- [c4]Jürgen F. H. Winkler:
The Integration of Version Control into Programming Languages. Advanced Programming Environments 1986: 230-250 - [c3]Jürgen F. H. Winkler:
Eine Konfigurationssprache für Ada. Software-Architektur 1986: 107-122 - 1984
- [j9]Jürgen F. H. Winkler:
Some improvements of ISO-Pascal. ACM SIGPLAN Notices 19(7): 65-78 (1984) - [j8]Jürgen F. H. Winkler:
Some improvements of ISO-Pascal. ACM SIGPLAN Notices 19(9): 49-62 (1984) - 1982
- [j7]Jürgen F. H. Winkler:
Ada: die neuen Konzepte. Elektron. Rechenanlagen 24(4): 175-186 (1982) - 1981
- [j6]Jürgen F. H. Winkler:
Differences between preliminary and final ADA. ACM SIGPLAN Notices 16(8): 69-81 (1981) - [c2]Jürgen F. H. Winkler:
Formale Definition der Semantik von Prozessoperationen. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 26-36 - 1980
- [j5]Jürgen F. H. Winkler:
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II. Inform. Spektrum 3(1): 31-40 (1980) - [c1]Jürgen F. H. Winkler, Clemens Stoffel:
Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme. Portable Software 1980: 34-47
1970 – 1979
- 1979
- [j4]Jürgen F. H. Winkler:
Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I. Inform. Spektrum 2(4): 219-229 (1979) - [j3]Clemens Stoffel, Jürgen F. H. Winkler:
Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen. Elektron. Rechenanlagen 21(6): 274-287 (1979) - 1978
- [j2]Jürgen F. H. Winkler:
Zum Begriff des Prozesses: am Beispiel von PEARL. Elektron. Rechenanlagen 20(6): 277-282 (1978) - 1976
- [j1]Jürgen F. H. Winkler:
Schleifen und strukturierte Programmierung. Elektron. Rechenanlagen 18(4): 172-179 (1976)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
