Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Technische Berichte
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)
• Fachstudien Softwaretechnik
• 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.

• Bühler, Stefan: Onboard-Routenplanung auf dem Smartphone, Diplomarbeit Nr. 16, 2013.
• Kara, Ferdi: Kürzeste Wege im Wikipedia-Linkgraph, Diplomarbeit Nr. 3410, 2013.
• Mendel, Thomas: Radar-based Object Type Classification, Diplomarbeit Nr. 8, 2013.

• 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.

• Flaig, Albert; Hertl, Daniel; Krüger, Florian: Evaluation von Java Profiler Werkzeugen, Fachstudie Softwaretechnik Nr. 184, 2013.
• Scheurlich, Jonas; Scholz, Martin; Steinhart, David: Übersicht und Evalution am Markt erhältlicher Systeme zur graphischen Darstellung von Kartenmaterial, Fachstudie Softwaretechnik Nr. 77, 2013.

• Bühler, Andreas: Eine Algebraische Konstruktion für den Kleene-Stern regulärer Sprachen, Bachelorarbeit Nr. 64, 2013.
• Christoph, Haag: Turn by Turn Navigation für Android Mobilgeräte, Bachelorarbeit Nr. 18, 2013.
• Fleischer, Lukas: Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik, Bachelorarbeit Nr. 10, 2013.
• Götz, Stefanie: Lagerplatzhaltung-Formulierung und Lösung als diskretes Optimierungsproblem, Bachelorarbeit Nr. 30, 2013.
• Meusel, Sacha: Effiziente Verarbeitung von Anfragen nach Polygon-Enthaltensein im Kontext von OSM-Daten, Bachelorarbeit Nr. 21, 2013.
• Nusser, Andre: EV Hitting Sets in Road Networks, Bachelorarbeit Nr. 38, 2013.
• Rupp, Tobias: Verbotmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie, Bachelorarbeit Nr. 61, 2013.
• Sanwald, Tim: Verkehrsabhängiges Routing basierend auf TMC-Nachrichten, Bachelorarbeit Nr. 5, 2013.
• Schnelle, Niklas: Distributed Shortest-Path Computation, Bachelorarbeit Nr. 20, 2013.
• Scholz, Martin: Gestensteuerung von Routenplanern mittels Kinect, Bachelorarbeit Nr. 11, 2013.
• Steinhart, David: Das Geographischespiel in der Theorie und seine Realisierung als App, Bachelorarbeit Nr. 76, 2013.
• Vollmer, Peter: Beschleunigte Berechnung von ressourcenbeschränkten kürzesten Wegen, Bachelorarbeit Nr. 19, 2013.