Theorem Proving in Dependently-Typed Higher-Order Logic (2023) Rothgang C, Rabe F, Benzmüller C Conference contribution Practical Schnorr Threshold Signatures Without the Algebraic Group Model (2023) Chu TTH, Gerhart P, Ruffing T, Schröder D Conference contribution Optimization of OLAP In-Memory Database Management Systems with Processing-In-Memory Architecture (2023) Hosseinzadeh S, Parvaresh A, Fey D Conference contribution Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Noise2Contrast: Multi-contrast Fusion Enables Self-supervised Tomographic Image Denoising (2023) Wagner F, Thies M, Pfaff L, Maul N, Pechmann S, Gu M, Utz J, et al. Conference contribution Transient Hemodynamics Prediction Using an Efficient Octree-Based Deep Learning Model (2023) Maul N, Zinn K, Wagner F, Thies M, Rohleder M, Pfaff L, Kowarschik M, et al. Conference contribution Weighted and Branching Bisimilarities from Generalized Open Maps (2023) Dubut J, Wißmann T Conference contribution Self-supervised 3D Human Pose Estimation in Static Video via Neural Rendering (2023) Schmidtke L, Hou B, Vlontzos A, Kainz B Conference contribution Writer Retrieval and Writer Identification in Greek Papyri (2022) Christlein V, Marthot-Santaniello I, Mayr M, Nicolaou A, Seuret M Conference contribution Fast Automatic Liver Tumor Radiofrequency Ablation Planning via Learned Physics Model (2022) Meister F, Audigier C, Passerini T, Lluch È, Mihalef V, Maier A, Tommaso M Conference contribution