A Unifying Categorical View of Nondeterministic Iteration and Tests (2024) Goncharov S, Uustalu T Conference contribution Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (2024) D’Angelo K, Gurke S, Kirss JM, König B, Najafi M, Różowski W, Wild P Conference contribution Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (2024) Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L, Wild P Conference contribution Bisimilar States in Uncertain Structures (2023) Rot J, Wißmann T Conference contribution On Kripke, Vietoris and Hausdorff Polynomial Functors (2023) Adámek J, Milius S, Moss LS Conference contribution CRDTs, Coalgebraically (2023) Liittschwager N, Tsampas S, Castello J, Kuper L Conference contribution Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Positive Data Languages (2023) Frank F, Milius S, Urbat H Journal article, Online publication Action Codes (2023) Vaandrager F, Wißmann T Conference contribution