Department Informatik

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 The Congenital Cardiology Cloud - Optimizing long-term care by connecting ambulatory and hospital medical attendance via telemedicine (2023) Rottermann K, Doll U, Pfenning S, Reichenbach M, Fey D, Dobler A, Siauw C, et al. Journal article GAN-Based LiDAR Intensity Simulation (2023) Marcus R, Gabel F, Knoop N, Stamminger M Conference contribution, Original article Abstract: Pan-tumor CAnine CuTaneous Cancer Histology (CATCH) Dataset (2023) Wilm F, Fragoso M, Marzahl C, Qiu J, Puget C, Diehl L, Bertram CA, et al. Conference contribution Mind the Gap: Scanner-Induced Domain Shifts Pose Challenges for Representation Learning in Histopathology (2023) Wilm F, Fragoso M, Bertram CA, Stathonikos N, Ottl M, Qiu J, Klopfleisch R, et al. Conference contribution Multi-scanner Canine Cutaneous Squamous Cell Carcinoma Histopathology Dataset (2023) Wilm F, Fragoso M, Bertram CA, Stathonikos N, Öttl M, Qiu J, Klopfleisch R, et al. Conference contribution Spatial Lesion Graphs: Analyzing Liver Metastases with Geometric Deep Learning for Cancer Survival Regression (2023) Rist L, Taubmann O, Muhlberg A, Denzinger F, Thamm F, Sühling M, Norenberg D, et al. Conference contribution McLabel: A Local Thresholding Tool for Efficient Semi-automatic Labelling of Cells in Fluorescence Microscopy (2023) Utz J, Schlereth M, Qiu J, Thies M, Wagner F, Brahim OB, Gu M, et al. Conference contribution