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
https://portal.mardi4nfdi.de/entity/Q5472882	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

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: Björn Lisper