 |
|
- Afzal, Muhammad: Design and Implementation of a Fault Tolerant VHDL Switch with Reconfigurable Routing Tables, Master Thesis No. 3589, 2014.
- Bühler, Andreas: Das Ordnungsproblem für Automatengruppen und verwandte Fragestellungen, Master Thesis No. 67, 2019.
- Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Master Thesis No. 48, 2015.
- Gaißert, Marcial: Iterierte Substitutionen bei regulären Baumsprachen, Master Thesis No. 69, 2022.
- Hanke, Carlos: Charakterisierung strukturell einfacher Quantorenalternierungen, Master Thesis No. 38, 2018.
- Heindl, Amelie: Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern, Master Thesis No. 45, 2023.
- Hilbig, Aaron: Analysing timing behavior of component-based software systems, Master Thesis No. 32, 2023.
- Megally, Mirna: Information Extraction from Social Media for Route Planning, Master Thesis No. 3413, 2012.
- Naghibi, Youssof: Paritätsspiele in quasipolynomieller Zeit, Master Thesis No. 106, 2018.
- Reiß, Philipp: Ein formaler Ansatz für die Berechnung von Speicherzugriffszeiten in Echtzeit Mehrkernsystemen mit geteilten Ressourcen, Master Thesis No. 27, 2021.
- Roggenbuck, Kay: Simulation and analysis of complex dynamics in a low-dimensional model of a vibration-machine, Master Thesis No. 62, 2021.
- Stober, Florian: The power word problem in graph groups, Master Thesis No. 48, 2021.
- Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Master Thesis No. 3120, 2010.
- Welker, Janette: Dreifärbungen für planare Graphen mit wenigen Dreiecken, Master Thesis No. 113, 2023.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice