Joint Segmentation and Sub-pixel Localization in Structured Light Laryngoscopy (2023) Henningson JO, Semmler M, Döllinger M, Stamminger M Conference contribution Reference Algorithms for the Mitosis Domain Generalization (MIDOG) 2022 Challenge (2023) Ammeling J, Wilm F, Ganz J, Breininger K, Aubreville M Conference contribution Morphism Equality in Theory Graphs (2023) Rabe F, Weber F Conference contribution Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award) (2023) Brandner J, Mayer F, Philippsen M Conference contribution, Original article 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 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