Department Informatik

Automated Speech Markers of Alzheimer Dementia: Test of Cross-Linguistic Generalizability (2025) Perez Toro PA, Ferrante FJ, Pérez G, Tee BL, de Leon J, Nöth E, Schuster M, et al. Journal article Static Analysis of Reference-Counted Objects for the C Programming Language (2025) Wiedemann O, Sieh V Conference contribution Driving Down Premiums: A Security and Forensic Analysis of the DriveWell Insurance System (2025) Laves C, Hutzelmann T, Mayer K, Hof HJ Conference contribution Relators and Notions of Simulation Revisited (2025) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Behavioural Conformances based on Lax Couplings (2025) Wild P, Schröder L Conference contribution Lightweight Realms (2025) Kohlhase M, Rabe F, Schütz M Conference contribution Global, Regional, and Local Contexts (2025) Rabe F Conference contribution Extended Stone Duality via Monoidal Adjunctions (2025) Lenke F, Urbat H, Milius S Journal article A Graph Neural Network-Based Approach for Power System Protection (2025) Kordowich G, Oelhaf J, Maier A, Bayer S, Jäger J Conference contribution, Conference Contribution Creating a standardized corpus for digital stratigraphic methods with fsstratify (2025) Uthoff J, Dreier LM, Lambertz M, Rybalka M, Freiling F Journal article