Technical Reports, Doctoral Theses, Student Theses of the Institute

• Technical Reports
• Diploma Theses (archive)
• Master Theses
• Student Theses (archive)

• No. 03:  Kufleitner, Manfred; Lauser, Alexander: Lattices of Logical Fragments over Words, Technical Report No. 2012/03.

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

• Megally, Mirna: Information Extraction from Social Media for Route Planning, Master Thesis No. 3413, 2012.

• Hartmann, Frederik: Untersuchung der Struktur großer Straßennetzwerke, Student Thesis No. 2356, 2012.