Dokumente und Veröffentlichungen

Bei den hier aufgeführten Dokumenten handelt es sich um Arbeiten, die ich an der TU-Braunschweig erstellt habe. Teilweise sind diese Arbeiten in Anstellungen als studentische Hilfskraft entstanden. Diese sind dann auch an anderen Stellen auf der Webseite der Universität zu finden.

Titel	Umsetzung und Anwendung des Systemmodells zur Semantikdefinition im Theorembeweiser Isabelle
Datum	15.09.2008
Institut	Software Systems Engineering
Betreuer	Hans Grönniger und Prof. Dr. Bernhard Rumpe
Beschreibung	Diplomarbeit: Semantikdefinition der UML im Theorembeweiser Isabelle.

Titel	Eine Einführung in die funktionale Programmierung mit Haskell und Lösungen
Datum	Wintersemester 07/08
Institut	Programmierung und Reaktive Systeme
Betreuer	Dr. Werner Struckmann
Beschreibung	Das Übungsskript zur Vorlesung "Programmieren für Fortgeschrittene".

Titel	Seminar Diskrete Mathematik: Handout
Datum	13.11.2007
Institut	Computational Mathematics
Betreuer	Prof. Dr. Arnfried Kemnitz
Beschreibung	Handout zur Seminararbeit mit dem Thema: "A new upper bound for the chromatic number of a graph", Ingo Schiermeier, 2007

Titel	Monticore zum Parsen von großen Datenmengen
Datum	09.02.2007
Institut	Software Systems Engineering
Betreuer	Eshref Januzaj
Beschreibung	Hilfswissenschaftliche Tätigkeit.

Titel	Entwicklung einer Grammatik für MontiCore zum Parsen von Sensordaten
Datum	20.02.2007
Institut	Software Systems Engineering
Betreuer	Eshref Januzaj
Beschreibung	Hilfswissenschaftliche Tätigkeit.

Titel	Wie man ein Geheimnis verrät: Theorie und Anwendung von Ringsignaturen
Datum	17.01.2007
Institut	Theoretische Informatik
Betreuer	Prof. Dr. Dietmar Wätjen
Beschreibung	Ausarbeitung einer Seminararbeit zum Thema Ringsignaturen.

Titel	Leaking the secret of Snow White “How to explain ring signatures to your children”
Datum	16.01.2007
Institut	Theoretische Informatik
Betreuer	privat
Beschreibung	Eine etwas andere Ausarbeitung zum obigen Seminar-Thema.

Titel	Kazumi - Entwicklung eines web-basierten Plugin-Frameworks mit Benutzerverwaltung mit Tim Gülke
Datum	05.10.2006
Institut	Software Systems Engineering
Betreuer	Eshref Januzaj und Prof. Dr. Bernhard Rumpe
Beschreibung	Studienarbeit mit Java Server Faces und Struts