Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Studienarbeiten (Archiv)
• Bachelorarbeiten

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

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

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