Dr. Henning Urbat

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Abstract Operational Methods for Call-by-Push-Value (2025) Goncharov S, Tsampas S, Urbat H Journal article Bialgebraic Reasoning on Higher-order Program Equivalence (2024) Goncharov S, Milius S, Tsampas S, Urbat H Conference contribution Monoidal Extended Stone Duality (2024) Birkmann F, Urbat H, Milius S 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 Nominal Topology for Data Languages (2023) Birkmann F, Milius S, Urbat H Conference contribution Towards a Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Journal article Weak Similarity in Higher-Order Mathematical Operational Semantics (2023) Urbat H, Tsampas S, Goncharov S, Milius S, Schröder L Conference contribution Stateful Structural Operational Semantics (2022) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Eilenberg's variety theorem without Boolean operations (2022) Birkmann F, Milius S, Urbat H Journal article