Metric-Driven Learning of Correspondence Weighting for 2-D/3-D Image Registration (2019) Schaffert R, Wang J, Fischer P, Borsdorf A, Maier A Conference contribution Decoupling Respiratory and Angular Variation in Rotational X-ray Scans Using a Prior Bilinear Model (2019) Geimer T, Keall P, Breininger K, Caillet V, Dunbar M, Bert C, Maier A Conference contribution SHAMANN: Shared Memory Augmented Neural Networks (2019) Bercea CI, Pauly O, Maier A, Ghesu FC Conference contribution Sealed computation: Abstract requirements for mechanisms to support trustworthy cloud computing (2019) Abdullah L, Freiling F, Quintero J, Benenson Z Conference contribution Incremental proofs of sequential work (2019) Döttling N, Lai RWF, Malavolta G Conference contribution Resource-aware parameter tuning for real-time applications (2019) Gabriel D, Stechele W, Wildermann S Conference contribution A generic functional simulation of heterogeneous systems (2019) Rachuj S, Reichenbach M, Fey D Conference contribution Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching (2019) Wißmann T, Dubut J, Katsumata Sy, Hasuo I Conference contribution 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