All | Bachelor | Master | Diploma |
2024 |
|
|
|
2023 |
|
|
|
2022 |
|
|
|
2021 |
|
|
|
2020 |
|
|
|
2019 |
|
|
|
2018 |
|
|
|
2017 |
|
|
|
2016 |
|
|
|
2015 |
|
|
|
2014 |
|
|
|
2013 |
|
|
|
2012 |
|
|
|
2011 | |||
2010 | |||
2009 | |||
2008 | |||
2007 | |||
2006 | |||
2005 |
Name | Topic | Degree |
Melanie Diepenbeck | SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells | Diplom |
Markus Groß | Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden | Master |
Norman Gülcü | Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen | Diplom |
Sebastian Jauert | Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge | Diplom |
Markus Möhrke | Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern | Diplom |
Keszöcze Oliver | Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods | Bachelor |