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


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
Diplomarbeit

Alexander Pascanu

Studienarbeit

Daniel Peters

Studienarbeit

Gregor Bethlen



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