Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)

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