research
∙
05/04/2023
A Monoidal View on Fixpoint Checks
Fixpoints are ubiquitous in computer science as they play a central role...
share
research
∙
07/20/2022
A Lattice-Theoretical View of Strategy Iteration
Strategy iteration is a technique frequently used for two-player games i...
research
∙
05/30/2021
A Rice's Theorem for Abstract Semantics
Classical results in computability theory, notably Rice's theorem, focus...
research
∙
01/20/2021
Fixpoint Theory – Upside Down
Knaster-Tarski's theorem, characterising the greatest fixpoint of a mono...
research
∙
03/19/2020
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Systems of fixpoint equations over complete lattices, consisting of (mix...
research
∙
07/16/2019
Minimisation of Event Structures
Event structures are fundamental models in concurrency theory, providing...
research
∙
10/26/2018
Fixpoint Games on Continuous Lattices
Many analysis and verifications tasks, such as static program analyses a...
research
∙
02/11/2018
Event Structures for Petri nets with Persistence
Event structures are a widely accepted model of concurrency. In a semina...
research
∙
12/20/2017