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	2006-10-25	Paper
A theory for execution-time derivation in real-time programs	2005-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q5461122	2005-07-21	Paper
Linear approximation of execution-time constraints	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4536449	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4537138	2002-11-06	Paper
A formal model of real-time program compilation	2002-07-15	Paper
Refinement and state machine abstraction	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4250663	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4365034	1998-12-09	Paper
The Grothendieck-Pietsch domination principle for nonlinear summing integral operators	1998-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4370262	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4892273	1997-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4885574	1996-07-16	Paper

Research outcomes over time

This page was built for person: Karl Lermer