Supervised theses
Master theses
- Lösungsintervalle linearer Gleichungssysteme in CUDA (Alexander Dallmann)
- XFig-Editor in Eclipse (Christoph Bracky)
- Intervall Mittelpunkt-Radius Implementierung in C++ (Johannes Krause)
- Diskussion der allgemeinen Exponentialfunktion für Intervalle (Oliver Heimlich)
- Expression Templates auf Grafikkarten (Uwe Bawidamann)
- Generierung von JUnit Tests aus Testszenarien (Juan Claro)
- Eine erweiterbare domänenspezifische Scriptsprache für die Auswertung von Leistungsverzeichnissen (T. Iliev)
Bachelor theses
- Pitfalls of Implementing Interval Arithmetic in Haskell (Dominik Peteler)
- Generierung von Tests für Intervallarithmetik in Python (Maximilian Kiesner)
- Browserbasierte Intervallarithmetik (Christoph Müller)
- Eine Beschreibungssprache für BPMN (Julia Funkner)
- Expression Templates und OpenMP (Said Oudou)
- Die parallele Sprache Go und ihr Einsatz in der Intervallarithmetik (Patrik Ilg)
- Framework für paralleles Programmieren in Java (Brice Kamneng Kwam)
- Ein Testgenerator für Intervallarithmetik (Michael Jedich)
- C++ Framework für IO Unterstützung von Arithmetischen Datentypen (Konstantin Ehrmann)
- Intervall-Arithmetik in D (Hendrik Striepe)
- Paralleles Intervall Newton Verfahren auf Grafikkarten (Philip-Daniel Beck)
- XFig-Unterstützung für Eclipse (Ralf Beczkowiak)