Lehrstuhl für Informatik 8 (Theoretische Informatik)

Extended Stone Duality via Monoidal Adjunctions (2025) Lenke F, Urbat H, Milius S Journal article Impact of Plasticity-Based Reservoir Adaptation on Spectral Radius and Performance of ESNs (2025) Weber F, Belanche-Muñoz L, Maier A Conference contribution Bialgebraic Reasoning on Stateful Languages (2025) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Journal article Algebraic Language Theory with Effects (2025) Lenke F, Milius S, Urbat H, Wißmann T 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 Initial algebras and terminal coalgebras: The theory of fixed points of functors (2025) Adámek J, Milius S, Moss LS Authored book 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 Abstract Operational Methods for Call-by-Push-Value (2025) Goncharov S, Tsampas S, Urbat H Journal article Conformance Games for Graded Semantics (2025) Forster J, Schröder L, Wild P Conference contribution Automated Analysis and Synthesis of Message Authentication Codes (2025) Milius S, Paulus D, Schröder D, Schröder L, Thomas J Conference contribution