Lehrstuhl für Informatik 8 (Theoretische Informatik)

Algebraic Language Theory with Effects () Lenke F, Milius S, Urbat H, Wißmann T Conference contribution Impact of Plasticity-Based Reservoir Adaptation on Spectral Radius and Performance of ESNs (2025) Weber F, Belanche-Muñoz L, Maier A 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 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 Relational Connectors and Heterogeneous Simulations (2025) Nora P, Rot J, Schröder L, Wild P Conference contribution Maschinelles Schliessen mit s(CASP) - Anmeldung eines neuen Geschäftsführers einer GmbH zum Handelsregister (2025) Adrian A, Evert S, Gritz M, Stürmer V, Lindner J, Blöcher M, Kohlhase M, et al. Journal article Trees in Coalgebra from Generalized Reachability (2025) Wißmann T, Kocsis B, Turkenburg R, Rot J Conference contribution DIREGA – Building Decision Support for German Register Law (2024) Adrian A, Basaran A, Dykes N, Evert S, Gritz M, Humml M, Kohlhase M, et al. Conference contribution, Abstract of a poster A Unifying Categorical View of Nondeterministic Iteration and Tests (2024) Goncharov S, Uustalu T Conference contribution