A New Lower Bound for Deterministic Truthful Scheduling (2020) Giannakopoulos Y, Hammerl A, Poças D Conference contribution, Original article Robust Revenue Maximization Under Minimal Statistical Information (2020) Giannakopoulos Y, Poças D, Tsigonias-Dimitriadis A Conference contribution, Original article A Unifying Approximate Potential for Weighted Congestion Games (2020) Giannakopoulos Y, Poças D Conference contribution, Original article Tgview3d: A system for 3-dimensional visualization of theory graphs (2020) Marcus R, Kohlhase M, Rabe F Conference contribution Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Deep Recurrent Partial Fourier Reconstruction in Diffusion MRI (2020) Gadjimuradov F, Benkert T, Nickel MD, Maier A Conference contribution A survey of languages for formalizing mathematics (2020) Kaliszyk C, Rabe F Conference contribution Move Over There: One-Click Deformation Correction for Image Fusion During Endovascular Aortic Repair (2020) Breininger K, Pfister M, Kowarschik M, Maier A Conference contribution Combining Motivating Strategies with Design Concepts for Mobile Apps to Increase Usability for the Elderly and Alzheimer Patients (2020) Eichhorn C, Plecher DA, Lurz M, Leipold N, Böhm M, Krcmar H, Ott A, et al. Conference contribution Assessing the dysarthria level of parkinson’s disease patients with gmm-ubm supervectors using phonological posteriors and diadochokinetic exercises (2020) Miller GF, Vasquez Correa J, Nöth E Conference contribution