Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 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