Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article Trace Semantics via Generic Observations (2013) Goncharov S Conference contribution, Conference Contribution Well-pointed Coalgebras (2013) Adámek J, Milius S, Moss L, Sousa L Journal article Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds (2013) Hertzberg C, Wagner R, Frese U, Schröder L Journal article, Original article Exploring the Boundaries of Monad Tensorability on Set (2013) Bowler N, Goncharov S, Levy P, Schröder L Journal article, Original article A coinductive calculus for asynchronous side-effecting processes (2013) Goncharov S, Schröder L Journal article, Original article Abstract GSOS rules and a Modular Treatment of Recursive Definitions (2013) Milius S, Moss L, Schwencke D Journal article Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings) (2013) Heckel R, Milius S Edited Volume