Lehrstuhl für Informatik 8 (Theoretische Informatik)

Toward a Uniform Theory of Effectful State Machines (2020) Goncharov S, Milius S, Silva A Journal article Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution NP Reasoning in the Monotone mu-Calculus (2020) Hausmann D, Schröder L Conference contribution, Conference Contribution On Well-Founded and Recursive Coalgebras (2020) Adámek J, Milius S, Moss LS Conference contribution Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020) Polzer M, Goncharov S Conference contribution Cheap CTL Compassion in NuSMV (2020) Hausmann D, Litak TM, Rauch C, Zinner M Conference contribution Efficient and Modular Coalgebraic Partition Refinement (2020) Wißmann T, Dorsch U, Milius S, Schröder L Journal article, Original article Non-iterative Modal Logics are Coalgebraic (2020) Forster J, Schröder L Conference contribution Coinductive resumption monads: Guarded iterative and guarded Elgot (2019) Levy PB, Goncharov S Conference contribution