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 On Finitary Functors and Their Presentations (2012) Adámek J, Milius S, Moss L Conference contribution, Conference Contribution Narcissists Are Easy, Stepmothers Are Hard (2012) Gorin D, Schröder L Conference contribution, Original article Coalgebraic Predicate Logic (2012) Litak TM, Pattinson D, Sano K, Schröder L Conference contribution, Original article A Coalgebraic Perspective on Minimization and Determinization (2012) Adámek J, Bonchi F, Hülsbusch M, König B, Milius S, Silva A Conference contribution Dynamic Task-Scheduling and Resource Management for GPU Accelerators in Medical Imaging (2012) Membarth R, Lupp JH, Hannig F, Teich J, Körner M, Eckert W Conference contribution Cross-Level Compositional Reliability Analysis for Embedded Systems (2012) Glaß M, Yu H, Reimann F, Teich J Conference contribution