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 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 Stateful Structural Operational Semantics (2022) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution