Dies ist ein Archiv der alten Seiten.
Die aktuellen Seiten finden Sie unter www.lii.rwth-aachen.de
Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme
Bachelor-, Master- und Diplomthemen in Bearbeitung
Bachelorarbeiten
-
Karolin Köhler
Ein formales Modell für die Verifikation und Synthese von "Access Control"
Betreuung: W. Thomas
-
Florian Richter
Regular systems with many premises
Betreuung: W. Thomas
-
Dirk Hauptmann
Omega-Automaten für die Theorie der reellen Zahlen mit Addition
Betreuung: C. Löding
-
Jera Hensel
Bimaschinen und ihre Minimierung
Betreuung: W. Thomas
-
Christoph Matheja
Zwei-Wege-Transducer über Wörtern
Betreuung: W. Thomas
-
Jan Rappen
Ein spieltheoretischer Ansatz für Automaten auf partiell geordneten Strukturen
Betreuung: W. Thomas
-
Jan Gossens
Vergleich von Automatenmodellen für unendliche Datenwörter
Betreuung: C. Löding
Masterarbeiten
Zur Zeit keine.
Diplomarbeiten
-
Dominic Decarolis
Lernverfahren für endliche Automaten über unendlichen Alphabeten
-
Albert Zeyer
Sprachoperationen und eine Strukturtheorie der omega-Sprachen (Arbeitstitel)
Betreuung: W. Thomas
-
Seong-Nam Cho
Uniformisierung von Wortrelationen
Betreuung: W. Thomas
-
Benedikt Brütsch
Synthese strukturierter reaktiver Programme
Betreuung: W. Thomas
-
Nina Beckmann
Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
Betreuung: W. Thomas
-
Christian Ebert
Vergleich verschiedener Ansätze zur Lösung von Muller-Spielen
Betreuung: W. Thomas