Department Informatik

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 Towards the Co-Evolution of Industrial Products and its Production Systems by Combining Models from Development and Hardware/Software Deployment in Cyber-Physical Systems (2017) Vogel-Heuser B, Wildermann S, Teich J Journal article, Original article Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases (2017) Wiesing T, Kohlhase M, Rabe F, Kohlhase M Conference contribution, Original article Alignment-based Translations Across Formal Systems Using Interface Theories (2017) Müller D, Rabe F, Rothgang C, Liu Y Conference contribution How to Identify, Translate, and Combine Logics? (2017) Rabe F Journal article