-
Computer Science
-
Research
Promotionen
Rechtzeitigkeit und Dienstgüteförderung vernetzter gerätebasierter Systeme Krumm, Ulbrich 416 2021 Lochmann, Alexander Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen Spinczyk (Uni Osnabrück), Teubner [...] Revised: Parallel, Distributed, via Rewritings Schwentick, Pichler (TU Wien) 457 2024 Bainczyk, Alexander Simplicity-Oriented Lifelong Learning of Web Applications Steffen, Hähnle (TU Darmstadt) 456 2024 [...] Navigation in an Environment Abstraction Framework Müller, ten Hompel (Fak. MB) 451 2023 Puzicha, Alexander Modellbasierte Regelung dezentraler Systeme in unbekannten Umgebungen Buchholz, Chen 450 2023 Moya-Rueda …