bisherige Diplom-, Bakkalaureats- und Belegarbeiten

• Diplomarbeiten
• Bakkalaureatsarbeiten
• Belegarbeiten

• Sebastian Maneth:
  Kalküle und Effizienzmaße für E-Unifikation mit kanonischen Termersetzungssystemen, April 1995.
  


• Frank Houdek:
  Implementierung von first-level NoName auf einer Runtime-Stack Maschine, September 1995
  


• Erich Müller:
  Entwicklung eines Modulinformationssystems für den NoName-Editor, September 1995
  


• Bernd Jokubeit:
  Konstruktion eines inkrementellen Auswerters für geordnete Makroattributgrammatiken, Dezember 1996.
  


• Falk Hartmann:
  Entwurf und Implementation eines Compilers für eine grafische Programmiersprache, April 1998.
  


• Matthias Höff:
  Vergleich von Verfahren zur Elimination von Zwischenergebnissen bei funktionalen Programmen, September 1999.
  


• Enrico Bormann:
  Entwurf und Implementierung eines Systems zur Erzeugung syntaxgesteuerter Editoren, April 2000.
  


• Lutz Strassburger:
  Rational forest languages and sequential forest transducers, April 2000.
  


• Janis Voigtländer:
  Composition of restricted Macro Tree Transducers, April 2001.


• Andreas Maletti:
  Direct Construction and Efficiency Analysis for the Accumulation Technique of 2-Modular Tree Transducers. November 2002.


• Stefan Reuther:
  Adding a Composition-Phase for Macro Tree Transducers to the Glasgow Haskell Compiler. November 2003.


• Ari Saptawijaya:
  Implementation of an Operational Semantics for MSO-Logic over Trees, April 2004.

• Andreas Maletti:
  Efficiency Analysis for the Elimination of Intermediate Results in Functional Programs by Composition of Attributed Tree Transducers. Bakkalaureatsarbeit. Juli 2001.


• Armin Troy:
  Übersetzung von Zwischencode für eine abstrakte Maschine zur Auswertung funktionaler Programme in Assemblercode für SPARC-Prozessoren. Bakkalaureatsarbeit. Februar 2005.

• Christina Putsche:
  Attributauswerter - Arten, typische Anwendungsfälle, Beispiele, 1995
  


• Bernd Jokubeit:
  Techniken zur Speicheroptimierung bei Attributauswertung, 1995
  


• Falk Hartmann:
  Kontextfreie Hypergraphgrammatiken mit Speicher, 1997.
  


• Enrico Bormann:
  Effizienzanalyse für Transformationen von primitiv-rekursiven Programmschemata, 1997.
  


• Matthias Höff:
  Vergleich der Berechnungsstärken von Klassen eingeschränkter tree transducer, 1999.
  


• Christian Lescher:
  Entwurf und Implementierung einer Eingabesprache für ein System zur Erzeugung syntaxgesteuerter Editoren, 1999.
  


• Janis Voigtländer:
  Description of Properties of Attributed Tree Transducers by means of (Monadic) Second-Order Logic, April 2000.
  


• Arturo Nandayapa:
  Recognition of Modular Tree Transducers in Haskell⁺. Projektarbeit im Rahmen des internationalen Master-Studiengangs "Computational Logic". April 2002.
  


• Stefan Reuther:
  Adding a Recognition- and Optimization-Phase for Tree Transducers to the Glasgow Haskell Compiler. Großer Beleg. April 2002.
  


• Ari Saptawijaya:
  Deaccumulation of Macro Tree Transducers in Haskell⁺. Projektarbeit im Rahmen des internationalen Master-Studiengangs "Computational Logic". April 2003.
  


• Endrawaty Endrawaty:
  Implementation of a Syntax Checker for an MSO-logic over trees, 2004.
  


• Taufiq Hidayat:
  Specification of a Language-Based Editor for Haskell^- using a Generator System, 2004.
  


• Amarnath Anumandla:
  Specification of a Language-Based Editor for OCL/UML documents using a Generator System, 2004.
  


• Szilvia Halasz and Jozsef Benke:
  Specification of a Language-Based Editor for XML documents using a Generator System, 2005.
  


• Ronny Herzog:
  Comparison of classes of recognizable tree series over semirings and distributive multioperator monoids. Dezember 2005.
  


• Martin Kretzschmar:
  Implementation einer Entscheidungsprozedur für MSO-Logik über Bäumen. Januar 2006.