Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schäfer JF, Amann K, Kohlhase M Conference contribution Risk Assessment of Vehicle Sensor Data as a Vending Object or Service (2020) Bodendorf F, Franke J Conference contribution Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution Database Semantics for Talking Autonomous Robots (2020) Hausser R Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer JF Conference contribution ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB (2020) Bauer J, Hechtel M, Konrad C, Holzwarth M, Hoffmann H, Feld T, Schneider S, et al. Conference contribution 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 Desynchronization and Wave Pattern Formation in MPI-Parallel and Hybrid Memory-Bound Programs (2020) Afzal A, Hager G, Wellein G Conference contribution Parallel performance of an iterative solver based on the golub-kahan bidiagonalization (2020) Kruse C, Sosonkina M, Arioli M, Tardieu N, Rüde U Conference contribution On Well-Founded and Recursive Coalgebras (2020) Adámek J, Milius S, Moss LS Conference contribution