Karl Lermer

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
Formal semantics for program paths	2013-08-27	Paper
Procedure compilation in the refinement calculus Formal Aspects of Computing	2006-10-25	Paper
A theory for execution-time derivation in real-time programs Theoretical Computer Science	2005-12-29	Paper
scientific article; zbMATH DE number 2187913 (Why is no real title available?)	2005-07-21	Paper
Linear approximation of execution-time constraints Formal Aspects of Computing	2005-02-08	Paper
scientific article; zbMATH DE number 1759495 (Why is no real title available?)	2002-11-25	Paper
scientific article; zbMATH DE number 1760149 (Why is no real title available?)	2002-11-06	Paper
A formal model of real-time program compilation Theoretical Computer Science	2002-07-15	Paper
Refinement and state machine abstraction Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1303994 (Why is no real title available?)	1999-06-17	Paper
scientific article; zbMATH DE number 1082002 (Why is no real title available?)	1998-12-09	Paper
The Grothendieck-Pietsch domination principle for nonlinear summing integral operators Studia Mathematica	1998-04-26	Paper
scientific article; zbMATH DE number 1104382 (Why is no real title available?)	1998-04-01	Paper
scientific article; zbMATH DE number 926975 (Why is no real title available?)	1997-04-09	Paper
scientific article; zbMATH DE number 905034 (Why is no real title available?)	1996-07-16	Paper

Research outcomes over time

This page was built for person: Karl Lermer