university
search
sitemap
contact
Universität Stuttgart
Departments
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
: Publications
Year 2024
Technical Reports, Doctoral Theses, Student Theses of the Institute
Master Theses
Bachelor Theses
Master Theses
Durner, Robin:
Stochastic strategies for public transport journeys based on realtime delay predictions
, Master Thesis No. 33, 2024.
Kruse, David:
Barrier resilience problems
, Master Thesis No. 18, 2024.
Bachelor Theses
Bruns, David:
Optimal routing in public transportation networks using PHAST
, Bachelor Thesis No. 8, 2024.
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.
Last Modified October 9, 2024(
Webmaster
) | © University of Stuttgart |
Legal notice