university
search
sitemap
contact
Universität Stuttgart
Departments
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
: Publications
Year 2017
Technical Reports, Doctoral Theses, Student Theses of the Institute
Diploma Theses (archive)
Master Theses
Bachelor Theses
Diploma Theses (archive)
Boffo, Sandra:
Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen
, Diploma Thesis No. 21, 2017.
Kaistra, Martin:
Query-Optimierung für OSCAR
, Diploma Thesis No. 22, 2017.
Master Theses
Haag, Christoph:
Landmarkenbasierte Zerlegung von Routen
, Master Thesis No. 81, 2017.
Haas, Stephan:
Autonome Lokalisation auf unscharfen Schätzungen mit geometrischem Map-Matching
, Master Thesis No. 82, 2017.
Bachelor Theses
Berberich, Jan:
Effiziente Approximation Mittlerer Rankings mit Geometrischer Suche
, Bachelor Thesis No. 95, 2017.
Kopf, Benjamin:
Organisation schwach strukturierter Textdokumente
, Bachelor Thesis No. 97, 2017.
Last Modified April 15, 2025(
Webmaster
) | © University of Stuttgart |
Legal notice