Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Nominal Topology for Data Languages (2023) Birkmann F, Milius S, Urbat H Conference contribution As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency (2023) Ottmann J, Cengiz Ü, Breitinger F, Freiling F Conference contribution, Conference Contribution Common Knowledge of Abstract Groups (2023) Humml M, Schröder L Conference contribution Representing Guardedness in Call-By-Value (2023) Goncharov S Conference contribution