COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI (2024) Hausmann D, Schröder L Journal article QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE (2022) Wißmann T, Milius S, Schröder L Journal article CHARACTERISTIC LOGICS FOR BEHAVIOURAL HEMIMETRICS VIA FUZZY LAX EXTENSIONS (2022) Wild P, Schröder L Journal article Efficient and Modular Coalgebraic Partition Refinement (2020) Wißmann T, Dorsch U, Milius S, Schröder L Journal article, Original article Guarded and Unguarded Iteration for Generalized Processes (2019) Goncharov S, Schröder L, Rauch C, Pirog M Journal article Unguarded Recursion on Coinductive Resumptions (2018) Goncharov S, Schröder L, Rauch C, Jakob J Journal article, 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 Model Theory and Proof Theory of Coalgebraic Predicate Logic (2018) Litak T, Pattinson D, Sano K, Schröder L Journal article, Original article A Categorical Approach to Syntactic Monoids (2018) Adámek J, Milius S, Urbat H Journal article, Original article