
Minimality Notions via Factorization Systems
For the minimization of statebased systems (i.e. the reduction of the n...
read it

Explaining Behavioural Inequivalence Generically in Quasilinear Time
We provide a generic algorithm for constructing formulae that distinguis...
read it

Coalgebra Encoding for Efficient Minimization
Recently, we have developed an efficient generic partition refinement al...
read it

From Generic Partition Refinement to Weighted Tree Automata Minimization
Partition refinement is a method for minimizing automata and transition ...
read it

CoPaR: An Efficient Generic Partition Refiner
Partition refinement is a method for minimizing automata and transition ...
read it

Efficient and Modular Coalgebraic Partition Refinement
We present a generic partition refinement algorithm that quotients coalg...
read it

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
We introduce a generic expression language describing behaviours of fini...
read it

A New Foundation for Finitary Corecursion and Iterative Algebras
This paper contributes to a theory of the behaviour of "finitestate" sy...
read it
Thorsten Wißmann
is this you? claim profile