Search results for "Jürgen F. H. Winkler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Stefan Kauer, Jürgen F. H. Winkler	Mechanical inference of invariants for FOR-loops.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
1	Jürgen F. H. Winkler	C#: eine Konkurrenz für Java?	it - Information Technology	2004	DBLP BibTeX RDF
1	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	Ada Deutschland Tagung	2003	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	A safe variant of the unsafe integer arithmetic of JavaTM.	Softw., Pract. Exper.	2002	DBLP DOI BibTeX RDF
1	Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler	Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.	Ada Deutschland Tagung	2002	DBLP BibTeX RDF
1	Jürgen F. H. Winkler, Stefan Kauer	Proving Assertions is Also Useful.	SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
1	Jürgen F. H. Winkler	Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.	J. UCS	1997	DBLP BibTeX RDF
1	Andreas Spillner 0002, Jürgen F. H. Winkler	25 Jahre Software-Engineering - Editorial.	Informatik Spektrum	1993	DBLP BibTeX RDF
1	Wolfgang Günther, Jürgen F. H. Winkler	Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt.	Informatik Spektrum	1993	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.	Informatik zwischen Wissenschaft und Gesellschaft	1992	DBLP BibTeX RDF
1	Jürgen F. H. Winkler, Georg Dießl	Object CHILL - An Object Oriented Language for Systems Implementation.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF	CHILL
1	Adolf Schleiermacher, Jürgen F. H. Winkler	The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.	Softw., Pract. Exper.	1990	DBLP DOI BibTeX RDF
1	Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher	A Prolog Debugger Based on a Refined Box Model.	LPE	1990	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Visualisierung in der Software-Entwicklung.	GI Jahrestagung	1990	DBLP BibTeX RDF
1	Jürgen F. H. Winkler, Jürg Nievergelt	Wie soll die Fakultätsfunktion programmiert werden? Overflow.	Informatik Spektrum	1989	DBLP BibTeX RDF
1	Jürgen F. H. Winkler (eds.)	Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany	SCM	1988	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Program-Variations-in-the-Small.	SCM	1988	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Version Control in Families of Large Programs.	ICSE	1987	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	The Integration of Version Control into Programming Languages.	Advanced Programming Environments	1986	DBLP DOI BibTeX RDF
1	Jürgen F. H. Winkler	Eine Konfigurationssprache für Ada.	Software-Architektur	1986	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Ada: die neuen Konzepte.	Elektronische Rechenanlagen	1982	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Formale Definition der Semantik von Prozessoperationen.	Implementierungssprachen für nichtsequentielle Programmsysteme	1981	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II.	Informatik Spektrum	1980	DBLP BibTeX RDF
1	Jürgen F. H. Winkler, Clemens Stoffel	Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme.	Portable Software	1980	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I.	Informatik Spektrum	1979	DBLP BibTeX RDF
1	Clemens Stoffel, Jürgen F. H. Winkler	Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen.	Elektronische Rechenanlagen	1979	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Zum Begriff des Prozesses: am Beispiel von PEARL.	Elektronische Rechenanlagen	1978	DBLP BibTeX RDF
1	Jürgen F. H. Winkler	Schleifen und strukturierte Programmierung.	Elektronische Rechenanlagen	1976	DBLP BibTeX RDF

Publications of "Jürgen F. H. Winkler" ( http://dblp.L3S.de/Authors/Jürgen_F._H._Winkler )