Department Informatik

Bialgebraic Reasoning on Higher-order Program Equivalence (2024) Goncharov S, Milius S, Tsampas S, Urbat H Conference contribution Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024) Wißmann T, Milius S Conference contribution Multicenter privacy-preserving model training for deep learning brain metastases autosegmentation (2024) Huang Y, Khodabakhshi Z, Gomaa A, Schmidt M, Fietkau R, Guckenberger M, Andratschke N, et al. Journal article, Original article Smelly, dense, and spreaded: The Object Detection for Olfactory References (ODOR) dataset (2024) Zinnen M, Madhu P, Leemans I, Bell P, Hussian A, Tran TMH, Hürriyetoğlu A, et al. Journal article In the time loop: Data remanence in main memory of virtual machines (2024) Savchenko E, Ottmann J, Freiling F Journal article, Original article Beyond timestamps: Integrating implicit timing information into digital forensic timelines (2024) Dreier LM, Vanini C, Hargreaves CJ, Breitinger F, Freiling F Journal article An Edge Resource Selection Scheme Considering QoS and Computational Parameters (2024) Frei M, German R, Djanatliev A Conference contribution, Conference Contribution Antitrust Regulation in the Era of Digital Market - A new perspective considering covert channel and artificial intelligence with technical demonstration (2024) Bayer S, Sun Y, Maier A, Hoffmann J Conference contribution, Original article Started Off Local, Now We’re in the Cloud: Forensic Examination of the Amazon Echo Show 15 Smart Display (2024) Crasselt J, Pugliese G Conference contribution, Conference Contribution Taxing Collaborative Software Engineering: The Challenges for Tax Compliance in Software Engineering (2024) Dorner M, Capraro M, Treidler O, Kunz TE, Smite D, Zabardast E, Mendez D, Wnuk K Journal article