Prof. Dr. Lutz Schröder

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Efficient Model Checking for the Alternating-Time mu -Calculus via Effectivity Frames (2025) Hausmann D, Humml M, Prucker S, Schröder L Conference contribution Relators and Notions of Simulation Revisited (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Behavioural Conformances based on Lax Couplings (2025) Wild P, Schröder L Conference contribution 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 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 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