Technical Reports, Doctoral Theses, Student Theses of the Department

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

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

• Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diploma Thesis No. 3017, 2010.

• Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Master Thesis No. 3120, 2010.

• Decker, Normann: A Continuous Truth Domain for Runtime Verification, Student Thesis No. 2270, 2010.