Prof. Dr. Lutz Schröder

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Generic Model Checking for Modal Fixpoint Logics in COOL-MC (2024) Hausmann D, Humml M, Prucker S, Schröder L, Strahlberger A Conference contribution Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Common Knowledge of Abstract Groups (2023) Humml M, Schröder L Conference contribution Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction (2023) Gruber J, Humml M, Schröder L, Freiling F Conference contribution, Conference Contribution Quantitative Hennessy-Milner Theorems via Notions of Density (2023) Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Towards a Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Journal article COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023) Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L Conference contribution Weak Similarity in Higher-Order Mathematical Operational Semantics (2023) Urbat H, Tsampas S, Goncharov S, Milius S, Schröder L Conference contribution