Computer-Aided Program Development Group

Selected theses

  • Bolus, S.:
    A QOBDD-based Approach to Simple Games
    Juni 2012
    [MACCAU]
  • Christiansen, J.:
    Investigating Minimally Strict Functions in Functional Programming
    Januar 2012
    [MACCAU]

  • Kehden, B.:
    Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen
    Juli 2007
    [MACCAU]

  • Neumann, F.:
    Combinatorial optimization and the analysis of randomized search heuristics
    Juli 2006
    [MACCAU]

  • Milanese, U.:
    Zur Implementierung eines ROBDD-basierten Systems für die Manipulation und Visualisierung von Relationen
    September 2003
    Erschienen im Logos Verlag (2004)

  • Hoffmann, T.:
    Fallstudien relationaler Programmentwicklung am Beispiel ausgewählter Graphdurchlaufstrategien
    April 2002
    Erschienen im Logos Verlag (2002)

  • Leoniuk, B.:
    ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen
    September 2001
    [PostScript] (1.286 KB)

  • Behnke, R.:
    Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren
    Juni 1998
    [PostScript] (593 KB)