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 |
Sara Badkoubeh | Einsatz von interaktiven Lernmodulen in der technischen Informatik | Diplom |
Tim Cassens | Statische Kompaktierung von Testmustern für Schaltkreise | Diplom |
Xiaobo Chen | Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem | Diplom |
Jinghong Jin | Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs | Diplom |
Frank Riese | Implementierung eines GCC Backends für eine RISC Architektur | Diplom |