Technical Reports, Doctoral Theses, Student Theses of the Institute

• Technical Reports
• Diploma Theses (archive)
• Student Theses (archive)
• Student Reports Software Engineering
• 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.

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

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

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

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