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 Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone) (2012) Ko J, Klues K, Richter C, Hofer W, Kusy B, Bruenig M, Schmid T, et al. Conference contribution TreVisor -- OS-Independent Software-Based Full Disk Encryption Secure Against Main Memory Attacks (2012) Müller T, Taubmann B, Freiling F Conference contribution, Original article Evolutionary Design of Active Free Space Optical Networks Based on Digital Mirror Devices (2012) Limmer S, Fey D Conference contribution Optimization of a Short-Range Proximity Effect Correction Algorithm in E-Beam Lithography Using GPGPUs (2012) Schneider M, Fey D Conference contribution