Lehrstuhl für Informatik 8 (Theoretische Informatik)

Eilenberg Theorems for Free (2017) Urbat H, Adámek J, Chen LT, Milius S Conference contribution, Conference Contribution On Corecursive Algebras for Functors Preserving Coproducts (2017) Adámek J, Milius S Conference contribution Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (2017) Milius S, Litak TM Journal article Probabilistic Description Logics for Subjective Uncertainty (2017) Gutierreiz-Basulto V, Jung JC, Lutz C, Schröder L Journal article, Original article Proper Functors and their Rational Fixed Point (2017) Milius S Conference contribution A Presentation of Bases for Parametrized Iterativity (2017) Adámek J, Milius S, Velebil J Journal article Automatic verification of application-tailored OSEK kernels (2017) Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D Conference contribution, Original article Ontological Modelling of a Psychiatric Clinical Practice Guideline (2017) Gorin D, Meyn M, Naumann A, Polzer M, Rabenstein U, Schröder L Conference contribution, Original article A Characterization Theorem for a Modal Description Logic (2017) Wild P, Schröder L Conference contribution, Original article Uniform Interpolation in Coalgebraic Modal Logic (2017) Seifan F, Schröder L, Pattinson D Conference contribution