Relators and Notions of Simulation Revisited (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Behavioural Conformances based on Lax Couplings (2025) Wild P, Schröder L Conference contribution Conformance Games for Graded Semantics (2025) Forster J, Schröder L, Wild P Conference contribution Alternating Nominal Automata with Name Allocation (2025) Frank F, Hausmann D, Milius S, Schröder L, Urbat H Conference contribution Bialgebraic Reasoning on Higher-order Program Equivalence (2024) Goncharov S, Milius S, Tsampas S, Urbat H Conference contribution Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024) Wißmann T, Milius S Conference contribution Weak Similarity in Higher-Order Mathematical Operational Semantics (2023) Urbat H, Tsampas S, Goncharov S, Milius S, Schröder L Conference contribution Graded Monads and Behavioural Equivalence Games (2022) Ford M, Milius S, Schröder L, Beohar H, König B Conference contribution Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (2021) De Groot J, Litak TM, Pattinson D Conference contribution Behavioural Preorders via Graded Monads (2021) Ford M, Milius S, Schröder L Conference contribution