Author | Title | Date |
---|---|---|
Sven Löffler | Optimization and Regularization of Constraint Satisfaction Problems | 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 |