Department Informatik

Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023) Schäfer JF, Kohlhase M Conference contribution Extracting Theory Graphs from Aldor Libraries (2023) Rabe F, Watt SM Conference contribution Deepnapsi: Deep Learning for Nail Psoriasis Prediction (2023) Folle L, Fenzl P, Fagni F, Thies M, Christlein V, Meder C, Sticherling M, et al. Conference contribution Generation of Synthetic 3D Data Using Simulated MR Examinations in Augmented Reality (2023) Serra Juhé A, Rinck D, Maier A Conference contribution Improved HER2 Tumor Segmentation with Subtype Balancing Using Deep Generative Networks (2023) Öttl M, Steenpaß J, Rübner M, Geppert CI, Qiu J, Wilm F, Hartmann A, et al. Conference contribution Whole-Body Multi-Organ Segmentation Using Anatomical Attention (2023) Liu C, Denzinger F, Folle L, Qiu J, Klein L, Maier J, Kachelrieb M, et al. Conference contribution On the Benefit of Dual-Domain Denoising in a Self-Supervised Low-Dose CT Setting (2023) Wagner F, Thies M, Pfaff L, Aust O, Pechmann S, Weidner D, Maul N, et al. 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