Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

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

• Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Lattices of Logical Fragments over Words, Technischer Bericht Nr. 2012/03.

• Bächtle, Patrick: Varianten des NTRU-Kryptosystems, Diplomarbeit Nr. 3286, 2012.
• Bauknecht, Uwe: Zweidimensionale Packungsprobleme mit industriellen Anwendungen, Diplomarbeit Nr. 25, 2012.
• Jahn, Franz G.: Minimierung von Automaten mit einer beschränkten Anzahl von Fehlern, Diplomarbeit Nr. 3337, 2012.
• Ludwig, Michael: Der Algorithmus von Howgrave-Graham und Joux zur Lösung von Rucksackproblemen, Diplomarbeit Nr. 26, 2012.
• Ruopp, Manuel: Contraction Hierarchies für komplexe Kostenmaße, Diplomarbeit Nr. 3232, 2012.
• Seybold, Martin P.: Die Holonomie-Zerlegung von Automaten, Diplomarbeit Nr. 3332, 2012.
• Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diplomarbeit Nr. 3289, 2012.

• Megally, Mirna: Information Extraction from Social Media for Route Planning, Masterarbeit Nr. 3413, 2012.

• Hartmann, Frederik: Untersuchung der Struktur großer Straßennetzwerke, Studienarbeit Nr. 2356, 2012.