Department Informatik

Observations on formal safety analysis in practice (2014) Huhn M, Milius S Journal article Parametric Yield Optimization Using Leakage-Yield-Driven Floorplanning (2014) Xu Y, Wang B, Teich J Conference contribution Energy-aware SQL query acceleration through FPGA-based dynamic partial reconfiguration (2014) Becher A, Bauer F, Ziener D, Teich J Conference contribution, Conference Contribution Assessing the influence of gender towards the adoption of technology-enabled self-service systems in retail environments (2014) Zagel C, Süßmuth J, Glomann L Book chapter / Article in edited volumes Gesundheitsökonomische Evaluierung eines hypothetischen Biomarkers in einem Prostata-Screening-Szenario in Deutschland unter Anwendung eines hybriden Simulationsmodells (2014) Meier F, Niederländer C, Djanatliev A, Gantner-Bär M, Sedlmayr M, Höllthaler J, Voigt W, et al. Conference contribution, Original article Image Quality Assessment for Extended-Volume C-arm CT Using a Multi-Turn Reverse Helix (2014) Yu Z, Maier A, Lauritsch G, Vogt F, Schönborn M, Köhler C, Hornegger J, Noo F Conference contribution Fast and Generic Hardware Architecture for Stereo Block Matching Applications on Embedded Systems (2014) Häublein K, Reichenbach M, Fey D Conference contribution Writer Identification and Verification Using GMM Supervectors (2014) Christlein V, Bernecker D, Hönig FT, Angelopoulou E Conference contribution, Conference Contribution Analysing Android's Full Disk Encryption Feature (2014) Götzfried J, Müller T Journal article, Original article Unsupervised Unstained Cell Detection by SIFT Keypoint Clustering and Self-labeling Algorithm (2014) Mualla F, Schöll S, Sommerfeldt B, Maier A, Steidl S, Buchholz R, Hornegger J Conference contribution, Original article