Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)

• Nr. 05:  Lewandowski, Stefan: Shortest Paths and Negative Cycle Detection in Graphs with Negative Weights - I: The Bellman-Ford-Moore Algorithm Revisited, Technischer Bericht Nr. 2010/05.

• Debatin, Michael: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 2, 2010.

• Bischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen, Studienarbeit Nr. 2257, 2010.
• Weiß, Armin: Implementation of Parallel CRR Division on GPUs, Studienarbeit Nr. 2282, 2010.