Competitive analysis of maintaining frequent items of a stream (2012) Giannakopoulos Y, Koutsoupias E Conference contribution DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments (2012) Behl J, Distler T, Kapitza R Conference contribution Motion Estimation Model for Cardiac and Respiratory Motion Compensation (2012) Käppler S, Brost A, Koch M, Wu W, Bourier F, Chen T, Kurzidim K, et al. Authored book, Volume of book series Semi-automatic catheter reconstruction from two views (2012) Hoffmann M, Brost A, Jakob C, Bourier F, Koch M, Kurzidim K, Hornegger J, Strobel N Journal article, Original article Real-time motion compensated patient positioning and non-rigid deformation estimation using 4-D shape priors (2012) Wasza J, Bauer S, Hornegger J Journal article, Original article Well-Pointed Coalgebras (Extended Abstract) (2012) Adámek J, Milius S, Moss L, Sousa L Conference contribution Fast wavelet transform utilizing a multicore-aware framework (2012) Stürmer M, Köstler H, Rüde U Book chapter / Article in edited volumes The Aspect-Aware Design and Implementation of the CiAO Operating-System Family (2012) Lohmann D, Spinczyk O, Hofer W, Schröder-Preikschat W Journal article Asynchronous Checkpointing by Dedicated Checkpoint Threads (2012) Shahzad F, Wittmann M, Zeiser T, Wellein G Book chapter / Article in edited volumes On the Formal Verification of Systems of Synchronous Software Components (2012) Günther H, Milius S, Möller O Conference contribution