Prof. Dr. Lutz Schröder

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Bialgebraic Reasoning on Stateful Languages (2025) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H 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 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 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 Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (2024) Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L, Wild P Conference contribution COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI (2024) Hausmann D, Schröder L Journal article