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 From embodied and extended mind to no mind (2012) Müller VC Conference contribution Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (2012) Esposito A, Esposito AM, Vinciarelli A, Hoffmann R, Müller VC Book chapter / Article in edited volumes Volume visualization in the clinical practice (2012) Kainz B, Portugaller RH, Seider D, Moche M, Stiegler P, Schmalstieg D Conference contribution Volumetric real-time particle-based representation of large unstructured tetrahedral polygon meshes (2012) Voglreiter P, Steinberger M, Schmalstieg D, Kainz B Conference contribution