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

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