Lehrstuhl für Informatik 8 (Theoretische Informatik)

Algebraic Language Theory with Effects () 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 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 OA, 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 Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution