Lehrstuhl für Informatik 8 (Theoretische Informatik)

Efficient and Modular Coalgebraic Partition Refinement (2020) Wißmann T, Dorsch U, Milius S, Schröder L Journal article, Original article Coinductive resumption monads: Guarded iterative and guarded Elgot (2019) Levy PB, Goncharov S Conference contribution From equational specifications of algebras with structure to varieties of data languages (2019) Milius S Conference contribution On Finitary Functors (2019) Adámek J, Milius S, Sousa L, Wißmann T Journal article Complete Additivity and Modal Incompleteness (2019) Holliday WH, Litak TM Journal article Game-based local model checking for the coalgebraic µ-calculus (2019) Hausmann D, Schröder L Conference contribution Graded monads and graded logics for the linear time – Branching time spectrum (2019) Dorsch U, Milius S, Schröder L Conference contribution Varieties of data languages (2019) Urbat H, Milius S Conference contribution Completeness for mu-calculi: A coalgebraic approach (2019) Enqvist S, Seifan F, Venema Y Journal article On functors preserving coproducts and algebras with iterativity (2019) Adamek J, Milius S Journal article