Department Informatik

Ubicomp Digital 2020 - Handwriting classification using a convolutional recurrent network (2020) Lai WC, Schröter H Other publication type Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer JF Conference contribution Systematic Analysis of Browser History Evidence (2020) Groß T, Dirauf R, Freiling F Conference contribution, Conference Contribution Parallel solution of saddle point systems with nested iterative solvers based on the Golub-Kahan Bidiagonalization (2020) Kruse C, Sosonkina M, Arioli M, Tardieu N, Rüde U Journal article Modeling Exit Strategies from COVID-19 Lockdown with a Focus on Antibody Tests (2020) German R, Djanatliev A, Maile L, Bazan P, Hackstein H Other publication type Understanding HPC benchmark performance on intel broadwell and cascade lake processors (2020) Alappat C, Hofmann J, Hager G, Fehske H, Bishop AR, Wellein G Conference contribution Scanning trajectory optimisation using a quantitative Tuybased local quality estimation for robot-based X-ray computed tomography (2020) Herl G, Hiller J, Maier A Journal article Desynchronization and Wave Pattern Formation in MPI-Parallel and Hybrid Memory-Bound Programs (2020) Afzal A, Hager G, Wellein G Conference contribution Personalisierte Preise und das Datenschutzrecht. Anforderungen an die datenschutzrechtliche Einwilligung (2020) Hofmann F, Freiling F Journal article, Original article AnyHLS: High-Level Synthesis with Partial Evaluation (2020) Özkan MA, Pérard-Gayot A, Membarth R, Slusallek P, Leißa R, Hack S, Teich J, Hannig F Conference contribution