Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)
Third party funded individual grant
Acronym:
COAX
Start date :
01.10.2014
End date :
31.07.2018
Efficient and Modular Coalgebraic Partition Refinement (2020)
Wißmann T, Dorsch U, Milius S, Schröder L
Journal article, Original article
Graded monads and graded logics for the linear time – Branching time spectrum (2019)
Dorsch U, Milius S, Schröder L
Conference contribution
Generic Partition Refinement and Weighted Tree Automata (2019)
Deifel HP, Milius S, Schröder L, Wißmann T
Conference contribution, Original article
Proper Functors and Fixed Points for Finite Behaviour (2018)
Milius S
Journal article
A coalgebraic treatment of conditional transition systems with upgrades (2018)
Harsh B, König B, Küpper S, Silva A, Wißmann T
Journal article
Guarded Traced Categories (2018)
Goncharov S, Schröder L
Conference contribution, Conference Contribution
On Algebras with Effectful Iteration (2018)
Milius S, Adámek J, Urbat H
Conference contribution, Original article
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (2018)
Dorsch U, Milius S, Schröder L, Wißmann T
Conference contribution
A Categorical Approach to Syntactic Monoids (2018)
Adámek J, Milius S, Urbat H
Journal article, Original article
Fixed Points of Functors (2018)
Adámek J, Milius S, Moss L
Journal article