Lehrstuhl für Informatik 8 (Theoretische Informatik)

On Final Coalgebras of Power-Set Functors and Saturated Trees (2015) Adámek J, Levy P, Milius S, Moss L, Sousa L Journal article First Results of a Formal Analysis of the Network Time Security Specification (2015) Teichel K, Sibold D, Milius S Conference contribution Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (2015) Heckel R, Milius S Edited Volume On Inconsistency and Unsatisfiability (2015) Schröder L, Mossakowski T Journal article, Original article Unguarded Recursion on Coinductive Resumptions (2015) Goncharov S, Rauch C, Schröder L Conference contribution, Original article A fibrational approach to automata theory (2015) Urbat H, Chen LT Conference contribution, Conference Contribution Monodic Fragments of Probabilistic First-order Logic (2014) Jung JC, Lutz C, Goncharov S, Schröder L Conference contribution, Conference Contribution Generalized Eilenberg Theorem I: Local Varieties of Languages (2014) Adámek J, Milius S, Myers R, Urbat H, Urbat H Conference contribution Towards Ontological Support for Principle Solutions in Mechanical Engineering (2014) Breitsprecher T, Codesci M, Jucovaschi C, Kohlhase M, Schröder L, Wartzack S Conference contribution, Conference Contribution COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014) Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T Conference contribution, Original article