Prof. Dr. Lutz Schröder

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 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 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 Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras (2024) Forster J, Schröder L, Wild P, Beohar H, Gurke S, Messing K Conference contribution Finding Argument Fragments on Social Media with Corpus Queries and LLMs (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution, Conference Contribution