Björn Lisper

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
Computing in unpredictable environments: Semantics, reduction strategies, and program transformations Trees in Algebra and Programming — CAAP '96	2023-02-23	Paper
Timing analysis of parallel software using abstract execution Lecture Notes in Computer Science	2015-01-13	Paper
Fully Bounded Polyhedral Analysis of Integers with Wrapping Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
A resource-efficient event algebra Science of Computer Programming	2010-11-25	Paper
Code analysis for temporal predictability Real-Time Systems	2006-11-17	Paper
Infinite unfolding and transformations of nondeterministic programs	2006-06-19	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2102057 (Why is no real title available?)	2004-09-22	Paper
Computing in unpredictable environments: semantics, reduction strategies, and program transformations Theoretical Computer Science	1998-06-30	Paper
Total unfolding: theory and applications Journal of Functional Programming	1995-05-04	Paper
scientific article; zbMATH DE number 139974 (Why is no real title available?)	1993-03-28	Paper
Synthesizing synchronous systems by static scheduling in space-time Lecture Notes in Computer Science	1993-01-23	Paper
Computing transitive closure on systolic arrays of fixed size Distributed Computing	1991-01-01	Paper
Synthesis and equivalence of concurrent systems Theoretical Computer Science	1988-01-01	Paper
scientific article; zbMATH DE number 3956418 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3902029 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3837358 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Björn Lisper