Intervention planning of hepatocellular carcinoma radio-frequency ablations (2013) Kerbl B, Voglreiter P, Khlebnikov R, Schmalstieg D, Seider D, Moche M, Stiegler P, et al. Conference contribution Compiler-Guided Identification of Critical Sections in Parallel Code (2013) Kempf S, Veldema R, Philippsen M Conference contribution, Original article Coalgebraic Announcement Logics (2013) Gorin D, Schröder L, Carreiro F Conference contribution, Original article Simulations and Bisimulations For Coalgebraic Modal Logics (2013) Gorin D, Schröder L Conference contribution, Original article A Model of the Commit Size Distribution of Open Source (2013) Kolassa C, Riehle D, Salim MA Conference contribution, Original article HW/SW Tradeoffs for Dynamic Message Scheduling in Controller Area Network (CAN) (2013) Ziermann T, Salcic Z, Teich J Conference contribution 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