| Autor(in) | Titel | Datum |
|---|---|---|
| Sven Löffler | Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs) | 21.09.2022 |
| Ke Liu | Parallel Constraint Solving for Combinatorial Problems | 20.01.2021 |
| Anna Prenzel | Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen | 04.06.2018 |
| Thilo Vörtler | Verification of Software for Contiki-based Low-Power Embedded Systems Using Software Model Checking | 24.11.2017 |
| Wolfgang Jeltsch | Strongly Typed and Efficient Functional Reactive Programming | 08.12.2011 |
Fakultät 1
Fachgebiet
Programmiersprachen und Compilerbau
Prof. Dr. rer. nat. habil. Petra Hofstedt