Department Informatik

Generic Hoare Logic for Order-Enriched Effects with Exceptions (2017) Rauch C, Goncharov S, Schröder L Conference contribution, Original article Polypoidal Choroidal Vasculopathy on Swept-Source Optical Coherence Tomography Angiography with Variable Interscan Time Analysis (2017) Rebhun CB, Moult EM, Novais EA, Moreira-Neto C, Ploner S, Louzada RN, Lee B, et al. Journal article An Improved Extrapolation Scheme for Truncated CT Data Using 2D Fourier-Based Helgason-Ludwig Consistency Conditions (2017) Xia Y, Berger M, Bauer S, Hu S, Aichert A, Maier A Journal article Comprehensive curriculum for reconfigurable heterogeneous computer architecture education (2017) Pfundt B, Reichenbach M, Fey D Journal article Kerncraft: A Tool for Analytic Performance Modeling of Loop Kernels (2017) Hammer J, Eitzinger J, Hager G, Wellein G Conference contribution, Conference Contribution Improved coefficients for polynomial filtering in ESSEX (2017) Galgon M, Krämer L, Lang B, Alvermann A, Fehske H, Pieper A, Hager G, et al. Conference contribution, Conference Contribution Benchmarking Super-Resolution Algorithms on Real Data (2017) Köhler T, Bätz M, Naderi Boldaji F, Kaup A, Maier A, Riess C Other publication type Talbot-Lau X-ray phase contrast for tiling-based acquisitions without reference scanning (2017) Käppler S, Seifert M, Horn F, Pelzer G, Rieger J, Michel T, Maier A, et al. Journal article, Original article LibHSA: One Step Towards Mastering the Era of Heterogeneous Hardware Accelerators using FPGAs (2017) Reichenbach M, Holzinger P, Häublein K, Lieske T, Blinzer P, Fey D Conference contribution Towards Generating Efficient Flow Solvers with the ExaStencils Approach (2017) Kuckuk S, Haase G, Vasco DA, Köstler H Journal article