Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (2022) Kupke C, Pattinson D, Schröder L Journal article Reiterman's Theorem on Finite Algebras for a Monad (2021) Adamek J, Chen LT, Milius S, Urbat H Journal article Toward a Uniform Theory of Effectful State Machines (2020) Goncharov S, Milius S, Silva A Journal article Generalized Eilenberg Theorem: Varieties of Languages in a Category (2019) Adámek J, Milius S, Myers R, Urbat H Journal article Completeness of Flat Coalgebraic Fixpoint Logics (2018) Schröder L, Venema Y Journal article A Modular Type Reconstruction Algorithm (2017) Rabe F Journal article Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (2013) Bonsangue M, Milius S, Silva A Journal article Logical Relations for a Logical Framework (2013) Rabe F Journal article