Department Informatik

A van Benthem theorem for fuzzy modal logic (2018) Wild P, Schröder L, Pattinson D, König B Conference contribution, Conference Contribution Model Theory and Proof Theory of Coalgebraic Predicate Logic (2018) Litak TM, Pattinson D, Sano K, Schröder L Journal article, Original article On Algebras with Effectful Iteration (2018) Milius S, Adámek J, Urbat H Conference contribution, Original article Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages (2018) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution A Categorical Approach to Syntactic Monoids (2018) Adámek J, Milius S, Urbat H Journal article, Original article Trusted Systems in Untrusted Environments: Protecting against Strong Attackers (2018) Götzfried J Thesis Dynamic Cardiac Chamber Imaging in C-arm Computed Tomography (2018) Taubmann O Thesis Automated Glaucoma Detection with Optical Coherence Tomography (2018) Mayer MA Thesis Accurate Measurements with Off-the-Shelf Range Cameras (2018) Fürsattel P Thesis Medical Imaging Systems (2018) Maier A, Steidl S, Christlein V, Hornegger J Edited Volume