Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Öffentliche Wahrnehmung von Palliativversorgung vor, während und nach der COVID-19-Pandemie – eine empirische Untersuchung von Online-Diskursen (2024) Peters J, Rabenstein U, Heckel M, Breindl E, Ostgathe C Journal article Monoidal Extended Stone Duality (2024) Birkmann F, Urbat H, Milius S 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 On Kripke, Vietoris and Hausdorff Polynomial Functors (2023) Adámek J, Milius S, Moss LS Conference contribution CRDTs, Coalgebraically (2023) Liittschwager N, Tsampas S, Castello J, Kuper L Conference contribution Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Positive Data Languages (2023) Frank F, Milius S, Urbat H Journal article, Online publication A Formal Treatment of Expressiveness and Relevance of Digital Evidence (2023) Gruber J, Humml M Journal article