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 Efficient Key Generation for Rainbow (2020) Petzoldt A Conference contribution Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020) Polzer M, Goncharov S Conference contribution Design of a hybrid genetic algorithm for time-sensitive networking (2020) Arestova A, Hielscher KS, German R Conference contribution An ns-3 model for multipath communication with terrestrial and satellite links (2020) Deutschmann J, Hielscher KS, German R Conference contribution Cheap CTL Compassion in NuSMV (2020) Hausmann D, Litak TM, Rauch C, Zinner M Conference contribution Multi-channel Convolutional Neural Networks for Automatic Detection of Speech Deficits in Cochlear Implant Users (2019) Arias Vergara T, Vasquez Correa J, Gollwitzer S, Orozco-Arroyave JR, Schuster M, Nöth E Book chapter / Article in edited volumes Articulation and Empirical Mode Decomposition Features in Diadochokinetic Exercises for the Speech Assessment of Parkinson’s Disease Patients (2019) Vasquez Correa J, Rios-Urrego CD, Rueda A, Orozco Arroyave JR, Krishnan S, Nöth E Book chapter / Article in edited volumes