Jürgen F. H. Winkler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanical inference of invariants for FOR-loops Journal of Symbolic Computation j='Journal of Symbolic Computation' a=' ' j#=31 a#=6	2010-11-10	Paper
A safe variant of the unsafe integer arithmetic of Java™ Software: Practice and Experience j='Software: Practice and Experience' a=' ' j#=33 a#=6	2003-02-04	Paper
scientific article; zbMATH DE number 1543033 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	2001-02-26	Paper
scientific article; zbMATH DE number 3763269 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1982-01-01	Paper
scientific article; zbMATH DE number 3742597 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1980-01-01	Paper
scientific article; zbMATH DE number 3626557 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1979-01-01	Paper
scientific article; zbMATH DE number 3626576 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1979-01-01	Paper
scientific article; zbMATH DE number 3648108 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1978-01-01	Paper
scientific article; zbMATH DE number 3527793 (Why is no real title available?) j=' ' a=' ' j#=6 a#=6	1976-01-01	Paper

Research outcomes over time

This page was built for person: Jürgen F. H. Winkler