Department Informatik

Real-Time Range Imaging in Health Care: A Survey (2013) Bauer S, Seitel A, Hofmann H, Blum T, Wasza J, Balda M, Meinzer HP, et al. Book chapter / Article in edited volumes Decomposing Run-time Resource Management in Heterogeneous Reconfigurable Systems (2013) Wildermann S, Teich J Conference contribution MobileSandbox: Looking Deeper into Android Applications (2013) Spreitzenbarth M, Freiling F, Echtler F, Schreck T, Hoffmann J Conference contribution, Original article Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC (2013) Kulacka A, Pattinson D, Schröder L Conference contribution, Original article Simulations and Bisimulations For Coalgebraic Modal Logics (2013) Gorin D, Schröder L Conference contribution, Original article Reasoning with Bounded Self-reference Using Logical Interpreters (2013) Gorin D, Schröder L, Wißmann T Conference contribution, Original article Rational Operational Models (2013) Milius S, Bonsangue M, Myers R, Rot J Conference contribution Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion (2013) Milius S, Litak TM Conference contribution A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article Design and Implementation of Wiki Content Transformations and Refactorings (2013) Dohrn H, Riehle D Conference contribution, Original article