Home | english  | Impressum | Sitemap | KIT
Offene Arbeiten
Titel Typ Betreuer
Diplomarbeit
Hiwi-Stelle
Studienarbeit
Bachelor-/Master-/Studien-/Diplom-Arbeit
Diplomarbeit


Zusätzlich zu den hier angegebenen Themenvorschlägen können nach Absprache weitere Themen gefunden werden.
Wenden Sie sich bei Interesse bitte einfach an einen der Mitarbeiter.

Auf der Seite des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Beckert finden Sie weitere Themen für studentische Arbeiten.


 

Abgeschlossene Arbeiten (2012)
Titel Typ Autor Betreuer
Diplomarbeit

Timm Felden

Prof. Dr. P. H. Schmitt
Mattias Ulbrich



Abgeschlossene Arbeiten (2011)
Titel Typ Autor Betreuer
Studienarbeit

Timm Felden



Abgeschlossene Arbeiten (2010)
Titel Typ Autor Betreuer
Studienarbeit

Gregor Bethlen

Diplomarbeit

Alexander Pascanu

Studienarbeit

Daniel Peters



Abgeschlossene Arbeiten (2009)
Titel Typ Autor Betreuer
Diplomarbeit

Roman Krenický

Diplomarbeit

Daniel Bruns



Abgeschlossene Arbeiten (2008)
Titel Typ Autor Betreuer
Studienarbeit

Christopher Köker

Diplomarbeit

Denis Lohner

Diplomarbeit

Christoph Scheben



Abgeschlossene Arbeiten (2007, unvollständig)
Titel Typ Autor Betreuer
Diplomarbeit

Benjamin Weiß

Diplomarbeit

David Faragó

Diplomarbeit

Mattias Ulbrich