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".
Überarbeitete Version aus dem Wintersemester 09/10

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

 
 
Kontakt | Index