Algebraic Language Theory with Effects () Lenke F, Milius S, Urbat H, Wißmann T Conference contribution An Expansion-Based Approach for Quantified Integer Programming (2025) Hartisch M, Chew L Conference contribution Identity-Preserving Lax Extensions and Where to Find Them (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Quantitative Graded Semantics and Spectra of Behavioural Metrics (2025) Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B, Messing K Conference contribution 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