Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Duality theory for enriched Priestley spaces (2023) Hofmann D, Nora P Journal article 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 A point-free perspective on lax extensions and predicate liftings (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Journal article Shades of Iteration: From Elgot to Kleene (2023) Goncharov S Conference contribution