Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Student Theses (archive)
• Bachelor Theses

• No. 07:  Kufleitner, Manfred; Lauser, Alexander: Nesting Negations in FO^2 over Finite Words, Technical Report No. 2013/07.
• No. 80:  Sanwald, Tim: Verkehrsabhängiges Routing basierend auf TMC Nachrichten, Technical Report No. 2013/80.

• Müller, Sebastian: Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe, Student Thesis No. 2425, 2013.
• Wächter, Jan; Philipp: Kaskadenzerlegung spezieller Automatenklassen, Student Thesis No. 2417, 2013.

• Fleischer, Lukas: Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik, Bachelor Thesis No. 10, 2013.
• Rupp, Tobias: Verbotmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie, Bachelor Thesis No. 61, 2013.
• Steinhart, David: Das Geographischespiel in der Theorie und seine Realisierung als App, Bachelor Thesis No. 76, 2013.