Efficient Invisible and Unlinkable Sanitizable Signatures (2019) Bultel X, Lafourcade P, Lai RWF, Malavolta G, Schröder D, Thyagarajan SAK Book chapter / Article in edited volumes Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019) Hausmann D, Schröder L Conference contribution Equational Axiomatization of Algebras with Structure (2019) Milius S, Urbat H Conference contribution Dilated Convolutions in Neural Networks for Left Atrial Segmentation in 3D Gadolinium Enhanced-MRI (2019) Vesal S, Ravikumar N, Maier A Conference contribution Gradual domain adaptation for segmenting whole slide images showing pathological variability (2018) Gadermayr M, Eschweiler D, Klinkhammer BM, Boor P, Merhof D Conference contribution Evaluating Out-of-the-Box Methods for the Classification of Hematopoietic Cells in Images of Stained Bone Marrow (2018) Graebel P, Crysandt M, Herwartz R, Hoffmann M, Klinkhammer BM, Boor P, Bruemmendorf TH, Merhof D Conference contribution Which way round? A study on the performance of stain-translation for segmenting arbitrarily dyed histological images (2018) Gadermayr M, Appel V, Klinkhammer BM, Boor P, Merhof D Conference contribution LNA++: Linear Noise Approximation with First and Second Order Sensitivities (2018) Feigelman J, Weindl D, Theis FJ, Marr C, Hasenauer J Conference contribution Multiview machine learning using an atlas of cardiac cycle motion (2018) Puyol-Anton E, Sinclair M, Gerber B, Amzulescu MS, Langet H, De Craene M, Aljabar P, et al. Conference contribution Fast groupwise 4D deformable image registration for irregular breathing motion estimation (2018) Papiez BW, Mcgowan DR, Skwarski M, Higgins GS, Schnabel JA, Brady SM Conference contribution