Lehrstuhl für Informatik 8 (Theoretische Informatik)

Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Efficient Coalgebraic Partition Refinement (2017) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution Complete Elgot Monads and Coalgebraic Resumptions (2016) Goncharov S, Milius S, Rauch C Conference contribution, Original article Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets (2016) Milius S, Schröder L, Wißmann T Journal article, Original article Program Equivalence is Coinductive (2016) Schröder L, Pattinson D Conference contribution, Original article Global Caching for the Alternation-free mu-Calculus (2016) Hausmann D, Schröder L, Egger C Conference contribution, Original article Relational Lattices: From Databases to Universal Algebra (2016) Litak TM, Mikulás S, Hidders J Journal article, Original article Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems (2016) Deitsch A, Schneider V, Kane J, Dulz W, German R Conference contribution, Original article Global Caching for the Alternation-free Coalgebraic mu-calculus (2016) Hausmann D, Schröder L, Egger C Conference contribution Complete Elgot Monads and Coalgebraic Resumptions (2016) Goncharov S, Milius S, Rauch C Journal article, Original article