Björn Lisper

Available identifiers

zbMath Open lisper.bjornMaRDI QIDQ608342

List of research outcomes

Publication	Date of Publication	Type
Computing in unpredictable environments: Semantics, reduction strategies, and program transformations	2023-02-23	Paper
Timing analysis of parallel software using abstract execution	2015-01-13	Paper
Fully Bounded Polyhedral Analysis of Integers with Wrapping	2014-07-22	Paper
A resource-efficient event algebra	2010-11-25	Paper
Code analysis for temporal predictability	2006-11-17	Paper
Infinite unfolding and transformations of nondeterministic programs	2006-06-19	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4817288	2004-09-22	Paper
Computing in unpredictable environments: semantics, reduction strategies, and program transformations	1998-06-30	Paper
Total unfolding: theory and applications	1995-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4028329	1993-03-28	Paper
Synthesizing synchronous systems by static scheduling in space-time	1993-01-23	Paper
Computing transitive closure on systolic arrays of fixed size	1991-01-01	Paper
Synthesis and equivalence of concurrent systems	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725530	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680270	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3042387	1983-01-01	Paper

Research outcomes over time

This page was built for person: Björn Lisper