Natural Synthetic Anomalies for Self-supervised Anomaly Detection and Localization (2022) Schlüter HM, Tan J, Hou B, Kainz B Conference contribution VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR (2022) Schilling J, Müller T Conference contribution System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022) Kohlhase M, Müller D Conference contribution Injecting Formal Mathematics Into LATEX (2022) Müller D, Kohlhase M Conference contribution Verifiable Timed Linkable Ring Signatures for Scalable Payments for Monero (2022) Thyagarajan SA, Malavolta G, Schmid F, Schröder D Conference contribution nnOOD: A Framework for Benchmarking Self-supervised Anomaly Localisation Methods (2022) Baugh M, Tan J, Vlontzos A, Müller J, Kainz B Conference contribution Improved Post-hoc Probability Calibration for Out-of-Domain MRI Segmentation (2022) Ouyang C, Wang S, Chen C, Li Z, Bai W, Kainz B, Rueckert D Conference contribution Adnexal Mass Segmentation with Ultrasound Data Synthesis (2022) Lebbos C, Barcroft J, Tan J, Müller J, Baugh M, Vlontzos A, Saso S, Kainz B Conference contribution End-to-End Parkinson’s Disease Detection Using a Deep Convolutional Recurrent Network (2022) Rios-Urrego CD, Moreno-Acevedo SA, Nöth E, Orozco Arroyave JR Conference contribution 50 Shades of Gray: Effect of the Color Scale for the Assessment of Speech Disorders (2022) Pérez-Toro PA, Klumpp P, Vasquez-Correa JC, Schuster M, Nöth E, Orozco-Arroyave JR, Arias Vergara T Conference contribution