Dissertations

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

This website uses cookies. There are two types of cookies: The first type supports the basic functionality of our website. The second allows us to improve our content for you by saving and analyzing pseudonymised user data. Since this second type is technically not required to run the website, you can withdraw your consent to those cookies at any time. For more information please visit our pages on data protection.

Mandatory

These cookies are needed for a smooth operation of our website.

Statistic

For statistical reasons, we use the platform Matomo to analyse the user flow with the help of website users‘ pseudonymised data. This allows us to optimize website content.

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo