Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Towards a Coalgebraic Chomsky Hierarchy (2014) Goncharov S, Milius S, Silva A Conference contribution Semantic Support for Engineering Design Processes (2014) Breitsprecher T, Codescu SM, Schröder L, Wartzack S, jucovschi C, Kohlhase M Conference contribution, Original article How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure (2014) Bonchi F, Milius S, Silva A, Zanasi F Conference contribution Coalgebraic Weak Bisimulation from Recursive Equations over Monads (2014) Goncharov S, Pattinson D Conference contribution, Conference Contribution Canonical Nondeterministic Automata (2014) Myers R, Adámek J, Milius S, Urbat H, Urbat H Conference contribution An Open Alternative for SMT-based Verification of SCADE Models (2014) Basold H, Günther H, Huhn M, Milius S Conference contribution