Institute of Formal Methods in Computer Science | Publications : Bachelor Theses

Universität Stuttgart

|

Computer Science

|

Institute of Formal Methods in Computer Science : Publications

Bachelor Theses

Ahmed, Aimn: Evaluation von Strategien für die Konstruktion von Contraction Hierarchies, Bachelor Thesis No. 59, 2020.
Allali, Jonas: Offline ÖPNV Routenplanung auf Android Geräten, Bachelor Thesis No. 64, 2019.
Ayar, Mustafa: Neue obere Schranke für das Sortieren nach Igor Sergeev, Bachelor Thesis No. 95, 2021.
Bagg, Tobias: Externe komprimierte Graphdarstellungen, Bachelor Thesis No. 114, 2014.
Bahle, Stefanie: Neue Bedienkonzepte für mobile Routenplaner, Bachelor Thesis No. 99, 2014.
Bauer, Florian: Consistent pruning and simplification of administrative subdivisions in OpenStreetMap, Bachelor Thesis No. 66, 2022.
Baur, Lukas: Points of Interest - Eine Suche nach adäquaten Kartenbeschriftungen, Bachelor Thesis No. 61, 2019.
Bektas, Sabri: Visualisierung großer Straßengraphen mittels Vulkan, Bachelor Thesis No. 103, 2019.
Berberich, Jan: Effiziente Approximation Mittlerer Rankings mit Geometrischer Suche, Bachelor Thesis No. 95, 2017.
Bienias, Joel: Erkennung von Gruppen mit CC0 Schaltkreisen, Bachelor Thesis No. 113, 2023.
Blumenröther, Julian: Generierung von virtuellen Welten aus OSM-Daten, Bachelor Thesis No. 90, 2019.
Breckner, Jannik: Contraction Hierarchies mit Abbiegekosten, Bachelor Thesis No. 32, 2023.
Bruns, David: Optimal routing in public transportation networks using PHAST, Bachelor Thesis No. 8, 2024.
Bühler, Andreas: Eine Algebraische Konstruktion für den Kleene-Stern regulärer Sprachen, Bachelor Thesis No. 64, 2013.
Bühler, Felix Christian: Extraktion und Darstellung von TMC-Daten, Bachelor Thesis No. 21, 2019.
Christoph, Haag: Turn by Turn Navigation für Android Mobilgeräte, Bachelor Thesis No. 18, 2013.
Croll, Katrin: Effizienz von Algorithmen, die auf dem Austausch von benachbarten Elementen beruhen, Bachelor Thesis No. 11, 2008.
Doderer, Marc: Entwicklung eines Frameworks für die Lehre in der Theoretischen Informatik, Bachelor Thesis No. 7, 2024.
Dürr, Friedrich: Generierung von Minecraft Welten aus OpenStreetMap-Daten, Bachelor Thesis No. 9, 2024.
Ercin, Abdülmuttalip: Skalierbare Visualisierung der Verkehrsbeschilderung des OpenStreepMap Datenbestandes, Bachelor Thesis No. 63, 2019.
Fischer, Alexander: Experimental study of the AKS sorting network, Bachelor Thesis No. 58, 2020.
Fleischer, Lukas: Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-Logik, Bachelor Thesis No. 10, 2013.
Förster, Eric: Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften, Bachelor Thesis No. 65, 2018.
Frech, Maximilian: Analyse von Pivotwahlstrategien bei Quicksort, Bachelor Thesis No. 15, 2022.
Friedsam, Wenzel: OSM ticket to ride, Bachelor Thesis No. 65, 2022.
Gaißert, Marcial: Sprachungleichungen über Forest-Sprachen, Bachelor Thesis No. 27, 2020.
Gegier, Matthias: POI-Sensitive Nachbarschaftssuche, Bachelor Thesis No. 67, 2018.
Geringer, Sergej: Algorithmen zur Optimierung von geometrischen Packungsproblemen, Bachelor Thesis No. 90, 2014.
Göggelmann, Manuel: Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern, Bachelor Thesis No. 30, 2015.
Götz, Stefanie: Lagerplatzhaltung-Formulierung und Lösung als diskretes Optimierungsproblem, Bachelor Thesis No. 30, 2013.
Goletz, Sven: Berechnung von kanonischen s-t-MinCut Bäumen, Bachelor Thesis No. 2, 2020.
Haas, Stephan: Autonome Selbstlokalisierung und Tracking basierend auf Mobilfunkbasisstationen, Bachelor Thesis No. 3, 2014.
Heidenwag, Jarkko: Durchschnittsanalyse für Quicksort mit Links-Rechts-Partitionierung im Fall vieler Duplikate, Bachelor Thesis No. 73, 2018.
Heim, Sophia: CH-basierte Darstellung von Straßennetzwerken mit optimierter Entfaltungsreihenfolge, Bachelor Thesis No. 91, 2023.
Hieber, Robin: Routenplanung für Elektrofahrzeuge basierend auf OpenStreetMap, Bachelor Thesis No. 28, 2023.
Holderbach, Samuel: Interaktive Kantenkontraktion für Minorensuche, Bachelor Thesis No. 6, 2021.
Holtz, Patrick: Berechnung kürzester Wege mit negativen Kantenkosten, Bachelor Thesis No. 19, 2024.
Holzmüller, David: Improved approximation schemes for the restricted shortest path problem, Bachelor Thesis No. 2016.
Hosseyni Damabi, Seyed Pedram: Contraction Hierarchies für kontinuierliche Graphsimplifizierung, Bachelor Thesis No. 25, 2016.
Hübl, Tobias: Android-Offline-Routenplaner mit Contraction Hierarchies, Bachelor Thesis No. 50, 2022.
Keck, Philipp: Optimierung von Schulstundenplänen, Bachelor Thesis No. 137, 2014.
Klimentov, Kliment: Optimized Collective Route Planning in Transport Networks, Bachelor Thesis No. 64, 2022.
Klink, Jost Malte: Creating Assetto Corsa tracks based on OpenStreetMaps and height data, Bachelor Thesis No. 53, 2024.
Knabben, Moritz: Automatische Platzierung von Beschriftung in Gebieten, Bachelor Thesis No. 35, 2015.
Kopf, Benjamin: Organisation schwach strukturierter Textdokumente, Bachelor Thesis No. 97, 2017.
Kotowsky, Maximilian: Das uniforme Wortproblem für Automatengruppen beschränkter Aktivität, Bachelor Thesis No. 61, 2020.
Kubica, Manuel: Optimized multi-agent resource extraction, Bachelor Thesis No. 67, 2022.
Künzel, Sebastian: Diverse und kreisförmige Pfade, Bachelor Thesis No. 11, 2020.
Kurz, Maximilian: Kranzprodukte und MOD-Klassen, Bachelor Thesis No. 82, 2023.
Lindemann, Patrick: OpenStreetMap risk maps, Bachelor Thesis No. 86, 2021.
Liszkowski, Yannick: OMS-Terrainguarding, Bachelor Thesis No. 87, 2021.
Makolli, Sokol: Grafisches Clustering von OSCAR-Suchresultaten, Bachelor Thesis No. 78, 2018.
Marinic, Noah: Experimenteller Vergleich der Frameworks React Native und Flutter zur App-Entwicklung, Bachelor Thesis No. 54, 2024.
Meisel, Tobias: Das Kachelungsproblem 4-wege-deterministischer Wang-Kacheln, Bachelor Thesis No. 80, 2018.
Mendel, Natalia: Dynamische Beschriftung von Gebietshierarchien : Entwicklung und Implementierung der Beschriftung von hierarchischen Gebietsunterteilungen, Bachelor Thesis No. 81, 2018.
Meusel, Sacha: Effiziente Verarbeitung von Anfragen nach Polygon-Enthaltensein im Kontext von OSM-Daten, Bachelor Thesis No. 21, 2013.
Miller, Alexander: Optimale Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen, Bachelor Thesis No. 197, 2015.
Natterer, Silas: Quadratic equations in free groups and free monoids, Bachelor Thesis No. 18, 2024.
Ng, Patrick: A hierarchical approach to the bottleneck problem in street networks, Bachelor Thesis No. 13, 2024.
Nusser, Andre: EV Hitting Sets in Road Networks, Bachelor Thesis No. 38, 2013.
Obst, Julian: Experimentelle Bestimmung vergleichsoptimaler Sortieralgorithmen, Bachelor Thesis No. 110, 2019.
Owens, Niklas: Verwaltung und Indizierung von Bewegungstrajektorien, Bachelor Thesis No. 83, 2018.
Pang, Xin: Android Offline Route Planner with Contraction Hierarchies, Bachelor Thesis No. 55, 2022.
Paule, Sebastian Patrick: Hospital Emergency Room Workload Prediction using Artifical Neural Networks, Bachelor Thesis No. 54, 2022.
Pflugfelder, Christian: Asynchronous programs on IoT devices, Bachelor Thesis No. 83, 2022.
Pilz, Daniel: Extremale Minimalitätsbedingungen für endliche Automaten und Halbgruppen, Bachelor Thesis No. 67, 2019.
Polat, Eray: Routenplaner mit To-Do's, Bachelor Thesis No. 62, 2019.
Ratnamaheson, Niven: Personalisierbarer Android-Offline-Routenplaner, Bachelor Thesis No. 25, 2022.
Rupp, Tobias: Verbotmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie, Bachelor Thesis No. 61, 2013.
Sander, Jurek: Berechnung optimaler Wege im öffentlichen Verkehr, Bachelor Thesis No. 56, 2022.
Sanwald, Tim: Verkehrsabhängiges Routing basierend auf TMC-Nachrichten, Bachelor Thesis No. 5, 2013.
Schäfer, Alexander: Self-localization of IoT devices - development and implementation of a system for self-localization of embedded devices based on Wi-Fi information, Bachelor Thesis No. 82, 2022.
Schäfer, Patrik: Offline Reiseplaner für Bahnverbindungen, Bachelor Thesis No. 150, 2014.
Schmitter, David: Java-Based Visualization of Road Network Including Altitude Information, Bachelor Thesis No. 12, 2020.
Schneewind, Axel: Fully-polynomial-time approximation schemes for the Euclidean shortest path problem, Bachelor Thesis No. 20, 2024.
Schnelle, Niklas: Distributed Shortest-Path Computation, Bachelor Thesis No. 20, 2013.
Scholz, Martin: Gestensteuerung von Routenplanern mittels Kinect, Bachelor Thesis No. 11, 2013.
Schwabe, David: Prozedurale Generierung von 3D-Gebäudemodellen aus OpenStreetMap-Daten, Bachelor Thesis No. 52, 2021.
Sharma, Raman: Heuristics for the computation of map labelings using disk labels, Bachelor Thesis No. 3, 2019.
Singer, Patrick: Specification of Trajectories and Learning of User Preferences, Bachelor Thesis No. 99, 2019.
Staib, Christian: Anwendung von Contraction Hierarchies und Hierarchical Hub-Labeling auf Geometrischen Graphen, Bachelor Thesis No. 52, 2024.
Steinhart, David: Das Geographischespiel in der Theorie und seine Realisierung als App, Bachelor Thesis No. 76, 2013.
Stober, Florian: Average case considerations for Mergelnsertion, Bachelor Thesis No. 93, 2018.
Trautwein, Lukas: Trajektorenaufzeichnung mit Map-Matching auf Android-Geräten, Bachelor Thesis No. 26, 2022.
Ünlü, Sezer: Visualisierung administrativer Verwaltungseinheiten mittels Vulkan, Bachelor Thesis No. 3, 2020.
Vollmer, Peter: Beschleunigte Berechnung von ressourcenbeschränkten kürzesten Wegen, Bachelor Thesis No. 19, 2013.
Wagner, Jimmy: OSM Scotland Yard, Bachelor Thesis No. 31, 2022.
Waldschmidt, Helmut: Optimierte Platzierung von Ladevorrichtungen für E-Fahrzeuge, Bachelor Thesis No. 59, 2023.
Welker, Janette: Constructions and Closure Properties for Partial and Complete Automaton Structures, Bachelor Thesis No. 88, 2019.
Wiebe, Maria: Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen, Bachelor Thesis No. 49, 2015.
Zeiß, Tim: Experimental analysis of randomized calculations of average rankings, Bachelor Thesis No. 96, 2016.
Zinnatov, Maksym: Offline navigation for pedestrians on Android devices, Bachelor Thesis No. 66, 2019.