Password-Hardened Encryption Revisited (2025) Baecker R, Gerhart P, Schröder D Conference contribution Efficient Model Checking for the Alternating-Time mu -Calculus via Effectivity Frames (2025) Hausmann D, Humml M, Prucker S, Schröder L Conference contribution Proper Definitions of Micro Grid Metrics are Needed! – A Generalizable Framework (2025) Fellerer J, Helbrecht J, German R Conference contribution Architecture of Computing Systems (2025) Tomforde S, Krupitzer C, Vialle S, Suarez E, Pionteck T Conference contribution Distributed Detection of Complex Events on Streams of Linked Data (2025) Schraudner D, Schmid S, Harth A Conference contribution Lightweight Realms (2025) Kohlhase M, Rabe F, Schütz M Conference contribution Global, Regional, and Local Contexts (2025) Rabe F Conference contribution Enabling PSO-Secure Synthetic Data Sharing Using Diversity-Aware Diffusion Models (2025) Dombrowski MN, Kainz B Conference contribution Diffusing the Blind Spot: Uterine MRI Synthesis with Diffusion Models (2025) Müller J, Knupfer A, Blöss Braga P, Vittur EB, Kainz B, Hutter J Conference contribution UteroVAE: A Shape-Informed Variational Autoencoder for Uterine MRI Encoding in Adenomyosis, Fibroids, and Healthy Uteri (2025) Ruppel R, Lindholz M, Schmidt R, El-Nahry Y, Mechsner S, Schulze-Weddige SEE, Baumgärtner GL, et al. Conference contribution