Department Informatik

Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction (2023) Gruber J, Humml M, Schröder L, Freiling F Conference contribution, Conference Contribution Contamination of digital evidence: Understanding an underexposed risk (2023) Gruber J, Hargreaves CJ, Freiling F Journal article Detectron2 for Lesion Detection in Diabetic Retinopathy (2023) Chincholi F, Köstler H Journal article A Low-Power Ternary Adder Using Ferroelectric Tunnel Junctions (2023) Reuben JR, Fey D, Lancaster S, Slesazeck S Journal article Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression (2023) Deutel M, Woller P, Mutschler C, Teich J Conference contribution, Conference Contribution An FPGA Avro Parser Generator for Accelerated Data Stream Processing (2023) Hahn T, Schüll D, Wildermann S, Teich J Conference contribution, Conference Contribution Defining a baseline identification of artifacts in confocal laser endomicroscopy in head and neck cancer imaging (2023) Pan Z, Breininger K, Aubreville M, Stelzle F, Maier A, Oetter N, Mantsopoulos K, et al. Journal article Analytical performance estimation during code generation on modern GPUs (2023) Ernst D, Holzer M, Hager G, Knorr M, Wellein G Journal article Swallowing disorders analysis using surface EMG biomarkers and classification models (2023) Roldan-Vasco S, Orozco-Duque A, Orozco Arroyave JR Journal article Duality theory for enriched Priestley spaces (2023) Hofmann D, Nora P Journal article