Lehrstuhl für Informatik 8 (Theoretische Informatik)

Efficient Model Checking for the Alternating-Time mu -Calculus via Effectivity Frames (2025) Hausmann D, Humml M, Prucker S, Schröder L Conference contribution Relators and Notions of Simulation Revisited (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Behavioural Conformances based on Lax Couplings (2025) Wild P, Schröder L Conference contribution 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 Erratum: Öffentliche Wahrnehmung von Palliativversorgung vor, während und nach der COVID-19-Pandemie – eine empirische Untersuchung von Online-Diskursen (2025) Peters J, Rabenstein U, Heckel M, Breindl-Hiller E, Ostgathe C Journal article 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