in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.| Alle | Bachelor | Master | Diplom |
| 2025 |
![]() |
![]() |
|
| 2024 |
![]() |
![]() |
|
| 2023 |
![]() |
![]() |
|
| 2022 |
![]() |
![]() |
|
| 2021 |
![]() |
![]() |
|
| 2020 |
![]() |
![]() |
|
| 2019 |
![]() |
![]() |
|
| 2018 |
![]() |
![]() |
|
| 2017 |
![]() |
![]() |
|
| 2016 |
![]() |
![]() |
|
| 2015 |
![]() |
![]() |
![]() |
| 2014 |
![]() |
![]() |
![]() |
| 2013 |
![]() |
![]() |
|
| 2012 |
![]() |
![]() |
![]() |
| 2011 | ![]() |
![]() |
![]() |
| 2010 | ![]() |
![]() |
|
| 2009 | ![]() |
![]() |
|
| 2008 | ![]() |
||
| 2007 | ![]() |
||
| 2006 | ![]() |
||
| 2005 | ![]() |
| Name | Thema |
| Johann Arfmann-Knübel | Design and Evaluation of Reconfiguration Algorithms for Pivoting Cube-Shaped Robots |
| Marvin Hindmarsh | Effiziente Implementierung von Kronecker Funktionalen Entscheidungsdiagrammen |
| Nele Hugo | Automation of Polynomial Formal Verification with Large Language Models |
| Marius Marach | Bildkompression mit Algebraischen Entscheidungsdiagrammen |
| Lauren Paul | Explainable Game Policies: A Case Study with 2048 |
| Jonas Schramm | Eine effiziente Repräsentation der Addition von Gleitkommazahlen mit Entscheidungsdiagrammen |