Department Informatik

Lightweight, generative variant exploration for high-performance graphics applications (2015) Selgrad K, Lier A, Köferl F, Stamminger M, Lohmann D Conference contribution, Original article Sound and Complete Equational Reasoning over Comodels (2015) Schröder L, Pattinson D Conference contribution, Original article Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen (2015) Dietrich C, Hoffmann M, Lohmann D Conference contribution Throughput-optimizing compilation of dataflow applications for multi-cores using quasi-static scheduling (2015) Schwarzer T, Falk J, Glaß M, Teich J, Zebelein C, Haubelt C Conference contribution, Conference Contribution A wearable real-time activity tracker (2015) Jensen U, Leutheuser H, Hofmann S, Schüpferling B, Suttner G, Seiler K, Kornhuber J, Eskofier B Journal article Simplified Coalgebraic Trace Equivalence (2015) Kurz A, Milius S, Pattinson D, Schröder L Book chapter / Article in edited volumes A Gauss-Seidel Iteration Scheme for Reference-Free 3-D Histological Image Reconstruction (2015) Gaffling S, Daum V, Steidl S, Maier A, Köstler H, Hornegger J Journal article On Finitary Functors and Their Presentation (2015) Adámek J, Milius S, Moss L, Urbat H, Urbat H Journal article Stride Segmentation During Free Walk Movements Using Multi-dimensional Subsequence Dynamic Time Warping on Inertial Sensor Data (2015) Barth J, Oberndorfer C, Pasluosta CF, Schülein S, Gaßner H, Reinfelder S, Kugler P, et al. Journal article, Original article The Cell-Shape-Wizard - User Guidance for Active Contour-based Cell Segmentation (2015) Franz D, Huettmayer H, Wiesmann V, Stamminger M, Wittenberg T Conference contribution