Seit Januar 2005 behandeln wir Fortgeschrittenenpraktika genauso wie Bachelorarbeiten. Siehe die dort aufgeführten Anforderungen.
Patrick Pekczynski,
2004,
Implementation and Evaluation of
Advanced Propagation Algorithms for
Global Constraints
(Betreuer: Tack,
Kuhlmann)
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)