AuthorTitleDate
Sven LöfflerOptimization and Regularization of Constraint Satisfaction Problems21.09.2022
Ke LiuParallel Constraint Solving for Combinatorial Problems20.01.2021
Anna PrenzelGestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen04.06.2018
Thilo VörtlerVerification of Software for Contiki-based Low-Power Embedded Systems Using Software Model Checking24.11.2017
Wolfgang JeltschStrongly Typed and Efficient Functional Reactive Programming08.12.2011