On Parallel Software Verification using Boolean Equation Systems (2012) Ditter A, Ceska M, Lüttgen G Conference contribution, Conference Contribution Joint ToF image denoising and registration with a CT surface in radiation therapy (2012) Bauer S, Berkels B, Hornegger J, Rumpf M Authored book, Volume of book series Interaction and resistance: The recognition of intentions in new human-computer interaction (2011) Müller VC Conference contribution Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++ (2011) Urban M, Lohmann D, Spinczyk O Book chapter / Article in edited volumes Frameworks for Multi-core Architectures: A Comprehensive Evaluation using 2D/3D Image Registration (2011) Membarth R, Hannig F, Teich J, Körner M, Eckert W Conference contribution Reliable Detection of Important Word Boundaries Using Prosodic Features (2011) Kaufhold C, Stemmer G, Nöth E Conference contribution A FUML-Based Distributed Execution Machine for Enacting Software Process Models (2011) Ellner R, Al-Hilank S, Drexler J, Jung M, Kips D, Philippsen M Conference contribution, Original article Constrained 2-D/3-D registration for motion compensation in AFib ablation procedures (2011) Brost A, Wimmer A, Liao R, Hornegger J, Strobel N Authored book, Volume of book series Glaucoma classification based on histogram analysis of diffusion tensor imaging measures in the optic radiation (2011) El-Rafei AMI, Engelhorn T, Wärntges S, Dörfler A, Hornegger J, Michelson G Authored book, Volume of book series Segmentation based features for lymph node detection from 3-D chest CT (2011) Feulner J, Zhou SK, Hammon M, Hornegger J, Comaniciu D Book chapter / Article in edited volumes