university
search
sitemap
contact
Universität Stuttgart
Departments
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
: Publications
Year 2025
Technical Reports, Doctoral Theses, Student Theses of the Institute
Master Theses
Bachelor Theses
Master Theses
Breckner, Jannik:
Delaunay Clustering für Aggregationen
, Master Thesis No. 58, 2025.
Ratnamaheson, Niven:
A framework for on-demand creation of vector tiles for OpenStreetMap data
, Master Thesis No. 85, 2025.
Bachelor Theses
Dörrer, Josua:
Lateinische Quadrate
, Bachelor Thesis No. 28, 2025.
Gendle, Friedrich Konrad:
Reduction of graph isomorphism to isomorphism and conjugacy of permutation subgroups
, Bachelor Thesis No. 42, 2025.
Lenzing, Lasse:
Routing on the hyperbolic plane
, Bachelor Thesis No. 27, 2025.
Last Modified March 10, 2026(
Webmaster
) | © University of Stuttgart |
Legal notice