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 |