Fortgeschrittenenpraktika
am Lehrstuhl für Programmiersysteme

Seit Januar 2005 behandeln wir Fortgeschrittenenpraktika genauso wie Bachelorarbeiten. Siehe die dort aufgeführten Anforderungen.

Laufende Fopras

Patrick Pekczynski, 2004,
Implementation and Evaluation of Advanced Propagation Algorithms for Global Constraints (Betreuer: Tack, Kuhlmann)

Abgeschlossene Fopras

Marvan Odeh, 2004,
Modellierung natürlicher Sprachen mit Hilfe von TDG (Topologische Dependenzgrammatik) (Betreuer: Debusmann)

Christian Müller, 2004,
Interpreter für getypte Lambda-Kalküle (Betreuer: Tack, Smolka)

Mathias Möhl, 2004,
Modelling Natural Language with Topological Dependency Grammar (Betreuer: Debusmann)

Robert Grabowski, 2003,
Eine GTK-Schnittstelle für Alice (Betreuer: Brunklaus und Rossberg)

Bernadette Blum und Marvin Schiller, 2003,
Ein Browser für Alice (Betreuer: Brunklaus und Rossberg)

Jens Regenberg, 2003,
Ein Debugger für die Alice VM (Betreuer: Brunklaus und Kornstaedt)

Matthias Horbach und Sven Woop, 2002,
Effiziente Datenstrukturen für Lambda-Bäume (Betreuer: Smolka)

Dainius Ramanauskas, 2002,
Bibliothekssystem der Computerlinguistik (Betreuer: Schulte)

Guido Tack, 2002,
Integrated Oz Search Factory (Betreuer: Schulte)

Jan Schwinghammer, 2002,
Jacke: A Parser-Generator Tool for Standard ML (Betreuer: Kornstaedt und Rossberg)

Marco Kuhlmann, 2001,
Tiny Constraint Modelling Language (Betreuer: Schulte)

Martin Homik, 1999,
JOz: Grafisches Java-Oz Frontend (Betreuer: Schulte)

Gert Smolka ()