Karl Lermer

From MaRDI portal
Person:706491

Available identifiers

zbMath Open lermer.karlMaRDI QIDQ706491

List of research outcomes





PublicationDate of PublicationType
Formal semantics for program paths2013-08-27Paper
Procedure compilation in the refinement calculus2006-10-25Paper
A theory for execution-time derivation in real-time programs2005-12-29Paper
https://portal.mardi4nfdi.de/entity/Q54611222005-07-21Paper
Linear approximation of execution-time constraints2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q45364492002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q45371382002-11-06Paper
A formal model of real-time program compilation2002-07-15Paper
Refinement and state machine abstraction2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q42506631999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q43650341998-12-09Paper
The Grothendieck-Pietsch domination principle for nonlinear summing integral operators1998-04-26Paper
https://portal.mardi4nfdi.de/entity/Q43702621998-04-01Paper
https://portal.mardi4nfdi.de/entity/Q48922731997-04-09Paper
https://portal.mardi4nfdi.de/entity/Q48855741996-07-16Paper

Research outcomes over time

This page was built for person: Karl Lermer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:706491&oldid=10544972"
Powered by MediaWiki