Lehrstuhl für Informatik 8 (Theoretische Informatik)

Abstract Operational Methods for Call-by-Push-Value (2025) Goncharov S, Tsampas S, Urbat H Journal article Non-expansive Fuzzy ALC (2025) Gebhart S, Schröder L, Wild P Conference contribution 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 Trees in Coalgebra from Generalized Reachability (2025) Wißmann T, Kocsis B, Turkenburg R, Rot J 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 Relational Connectors and Heterogeneous Simulations (2025) Nora P, Rot J, Schröder L, Wild P 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 Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution