Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Formale Konzepte

englishicon
 

Studienarbeiten

Zu vergebende Studienarbeiten

Laufende Studienarbeiten

Abgeschlossene Studienarbeiten

  • L. Kaden: Laufzeitkriterien für genetische Algorithmen mit und ohne dynamische Anpassung der Selektionsstrategie.
    Betreuung: Prof. Claus, K. Weicker, 2002
  • D. Ivancan: Reihenfolgeoptimierung auf einer Warmwalzanlage.
    Betreuung: Prof. Claus, R. Weller (Fhg-IPA), 1999
  • J. Schliesser: Erstellung eines Systems zur Modellierung und Analyse Hierarchischer Graphen
    Betreuung: Friedhelm Buchholz, 1997
  • G. Fischer: Zeitbehaftete hierarchische Netze für Musikanwendungen
    Betreuung: Prof. Claus, 1997
  • B. Kargl: Simulation des Ulmer Nahverkehrs mit Java-Applets (Studienarbeit)
    Betreuung: Friedhelm Buchholz, 1997
  • M. Tuschek: Konstruktivität in der Theoretischen Informatik
    Betreuung: Prof. Claus, 1996
  • U. Schwarz: Beziehungen zwischen Graph-Grammatiken und Lindenmayer-Systemen
    Betreuung: Prof. Claus, 1995
  • T. Zeitler: Vergleichende Untersuchung von Modellen zur Verkehrserzeugung und Verkehrsverteilung
    Betreuung: Prof. Claus, J. Hoffmann, 1995
  • M. Koch: Analyse von Petrinetzen
    Betreuung: Prof. Claus, Susanne Gündel, 1995
  • M. Kohler: Komplexitätsmaße für Permutationen
    Betreuung: Prof. Claus, 1994
  • J. Klarmann: Evaluation de Performances d'Architectures Informatiques
    Betreuung: extern, 1994
  • F. Buchholz: Komplexität des Fahrgemeinschaften-Problems
    Betreuung: Prof. Claus, 1994
  • J. Roldan Güpner: Endliche Netzwerke stochastischer Automaten
    Betreuung: Prof. Claus, 1993