Distributed Ad Hoc Cooperation in Healthcare (2013) Neumann C, Lenz R Conference contribution, Original article A Benchmark for Multidimensional Statistical Data (2013) Baumgärtel P, Endler G, Lenz R Conference contribution Trace Semantics via Generic Observations (2013) Goncharov S Conference contribution, Conference Contribution STARK Tamperproof Authentication to Resist Keylogging (2013) Müller T, Spath H, Mäckl R, Freiling F Conference contribution, Conference Contribution Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013) Litak TM, Pattinson D, Sano K Conference contribution Constructing Software-Intensive Methods: A Design Science Research Process with Early Feedback Cycles (2013) Krawatzek R, Hofmann M, Jacobi F, Dinter B Conference contribution, Original article Authoring of Adaptive Serious Games (2012) Hendrix M, Knutov E, Auneau L, Protopsaltis A, Arnab S, Dunwell I, Petridis P, de Freitas S Book chapter / Article in edited volumes Software Reliability Testing Covering Subsystem Interactions (2012) Meitner M, Saglietti F Conference contribution, Conference Contribution Prior-based automatic segmentation of the carotid artery lumen in TOF MRA (PASCAL) (2012) Hutter J, Hofmann H, Grimm R, Greiser A, Saake M, Hornegger J, Dörfler A, Schmitt P Conference contribution Segmentation based particle filtering for real-time 2D object tracking (2012) Schubert F, Navab N, Ilic S, Belagiannis V Conference contribution