Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

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

• Nr. 01:  Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander: Rankers over Infinite Words, Technischer Bericht Nr. 2010/01.
• Nr. 02:  Kopecki, Steffen: On the Iterated Hairpin Completion, Technischer Bericht Nr. 2010/02.
• Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Partially Ordered Two-way Büchi Automata, Technischer Bericht Nr. 2010/03.
• Nr. 04:  Diekert, Volker; Kopecki, Steffen: Complexity Results and the Growths of Hairpin Completions of Regular Languages, Technischer Bericht Nr. 2010/04.
• 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.
• Nr. 06:  Hoffmann, Benjamin: Comparison of Standard and Zipf-Based Document Retrieval Heuristics, Technischer Bericht Nr. 2010/06.
• Nr. 08:  Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander: First-order Fragments with Successor over Infinite Words, Technischer Bericht Nr. 2010/08.

• Bischoff, Bastian: Wortbegrenzung unter Involution, Diplomarbeit Nr. 3095, 2010.
• Debatin, Michael: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 2, 2010.
• Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diplomarbeit Nr. 3017, 2010.
• Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 3094, 2010.

• Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Masterarbeit Nr. 3120, 2010.

• Bischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen, Studienarbeit Nr. 2257, 2010.
• Decker, Normann: A Continuous Truth Domain for Runtime Verification, Studienarbeit Nr. 2270, 2010.
• Weiß, Armin: Implementation of Parallel CRR Division on GPUs, Studienarbeit Nr. 2282, 2010.