Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 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