Nominal Topology for Data Languages (2023) Birkmann F, Milius S, Urbat H Conference contribution Representing Guardedness in Call-By-Value (2023) Goncharov S Conference contribution Quantitative Hennessy-Milner Theorems via Notions of Density (2023) Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Supported Sets – A New Foundation for Nominal Sets and Automata (2023) Wißmann T Conference contribution Stateful Structural Operational Semantics (2022) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Monads on categories of relational structures (2021) Ford M, Milius S, Schröder L Conference contribution Initial algebras without iteration (2021) Adámek J, Milius S, Moss LS Conference contribution Network planning and routing problems over time: Models, complexity and algorithms (2021) Glomb L, Hoch B, Liers F, Rösel F Conference contribution Nominal Büchi Automata with Name Allocation (2021) Urbat H, Hausmann D, Milius S, Schröder L Conference contribution Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution