Karl Lermer

Available identifiers

zbMath Open lermer.karlMaRDI QIDQ706491

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2843912	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karl Lermer