Department Informatik

Implementing resettable UC-functionalities with untrusted tamper-proof hardware-tokens (2013) Döttling N Authored book, Volume of book series Sketch-based Planning of Liver Resections (2013) Kretschmer J, Tietjen C, Soza G, Stamminger M Journal article, Original article Analysis of visual appearance of retinal nerve fibers in high resolution fundus images: a study on normal subjects (2013) Kolar R, Tornow RP, Lämmer R, Odstrcilik J, Mayer MA, Gazarek J, Jan J, et al. Journal article Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (2013) Bonsangue M, Milius S, Silva A Journal article Chromoendoscopy in magnetically guided capsule endoscopy (2013) Mewes P, Foertsch S, Juloski AL, Angelopoulou E, Gölder S, Guldi DM, Hornegger J, Messmann H Journal article, Original article Approximate truncation robust computed tomography - ATRACT (2013) Dennerlein F, Maier A Journal article, Original article Free-Breathing Whole-Heart Coronary MRA: Motion Compensation Integrated into 3D Cartesian Compressed Sensing Reconstruction (2013) Forman C, Grimm R, Hutter J, Maier A, Hornegger J, Zenge MO Conference contribution, Conference Contribution Scaling Calibration in the ATRACT Algorithm (2013) Xia Y, Maier A, Dennerlein F, Hornegger J Conference contribution, Conference Contribution Comparison of the AMICA and the InfoMax Algorithm for the Reduction of Electromyogenic Artifacts in EEG Data (2013) Leutheuser H, Gabsteiger F, Hebenstreit F, Reis P, Lochmann M, Eskofier B Conference contribution, Conference Contribution Novel Method for Comparison of Pre-Planned Ablation Lines for Treatment of Atrial Fibrillation Using a Common Reference Model (2013) Koch M, Kleinöder A, Bourier F, Hornegger J, Strobel N Conference contribution, Conference Contribution