On a Cornerstone of Bare-Simulation Distance/Divergence Optimization (2023) Broniatowski M, Stummer W Conference contribution COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023) Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L Conference contribution 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