Lehrstuhl für Informatik 8 (Theoretische Informatik)

Observations on formal safety analysis in practice (2014) Huhn M, Milius S Journal article Preface to CALCO-Tools (2013) Schröder L Conference contribution, other Preface to Proceedings of CALCO 2013 (2013) Heckel R, Milius S Conference contribution, other Coalgebraic Announcement Logics (2013) Gorin D, Schröder L, Carreiro F Conference contribution, Original article Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (2013) Bonsangue M, Milius S, Silva A Journal article Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (2013) Kulacka A, Pattinson D, Schröder L Conference contribution, Original article Simulations and Bisimulations For Coalgebraic Modal Logics (2013) Gorin D, Schröder L Conference contribution, Original article Reasoning with Bounded Self-reference Using Logical Interpreters (2013) Gorin D, Schröder L, Wißmann T Conference contribution, Original article Rational Operational Models (2013) Milius S, Bonsangue M, Myers R, Rot J Conference contribution Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion (2013) Milius S, Litak TM Conference contribution