Department Informatik

Parallelizing Femlisp (2017) Neuß N, Heisig M Conference contribution, Original article Towards quantification of kidney stones using X-ray dark-field tomography (2017) Hu S, Yang F, Kaufmann R, Griffa M, Anton G, Maier A, Riess C Conference contribution, Original article Towards cartilage diagnosis in X-ray phase-contrast interferometry (2017) Bopp J, Bartl P, Ritschl L, Radicke M, Maier A, Anton G, Riess C Conference contribution, Original article Nominal Automata with Name binding (2017) Schröder L, Kozen D, Milius S, Wißmann T Conference contribution, Original article Unifying Guarded and Unguarded Iteration (2017) Goncharov S, Schröder L, Rauch C, Piróg M Conference contribution, Original article A Kernel-based Framework for Intra-fractional Respiratory Motion Estimation in Radiation Therapy (2017) Geimer T, Unberath M, Birlutiu A, Taubmann O, Wölfelschneider J, Bert C, Maier A Conference contribution Lattice Boltzmann simulations of the bead-spring microswimmer with a responsive stroke-from an individual to swarms (2017) Pickl K, Pande J, Köstler H, Rüde U, Smith AS Journal article, Original article Reliability Analysis and Optimization of Embedded Systems using Stochastic Logic and Importance Measures (2017) Aliee H Thesis A Scala Prototype to Generate Multigrid Solver Implementations for Different Problems and Target Multi-Core Platforms (2017) Köstler H, Schmitt C, Kuckuk S, Kronawitter S, Hannig F, Teich J, Rüde U, Lengauer C Journal article Characterizing loss of digital evidence due to abstraction layers (2017) Freiling F, Glanzmann T, Reiser H Journal article, Original article