Department Informatik

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 Dial M for Mixer: A methodological approach to forensic analysis of unknown devices using the thermomix TM6 (2025) Eichhorn M, Freiling F Journal article, Original article Automatically generating digital forensic reference data triggered by mobile application updates (2025) Claij-Swart AA, Oudsen E, Timbermont B, Hargreaves C, Voigt L Journal article From sync to seizure: A binary instrumentation-based evaluation of the iCloud backup process (2025) Geus J, Gruber J, Wozar J, Freiling F Journal article Investigating Piping Erosion during Suction Bucket Installations using Fully-Resolved LBM-DEM Simulations (2025) Kemmler S, Cuéllar P, Artinov A, Baeßler M, Köstler H Conference contribution, Abstract of lecture