Aktuell
- Tree Transducers in Machine Translation (DFG Projekt, 1. Phase, max. 5 Jahre)
Private Projekte
- Bisimulationsminimierung von Baumautomaten [ reelle Zahlen | ungewichtet ]
- Lernen und Minimieren von deterministischen gewichteten Baumautomaten
- Lösungen (in Englisch) für Foundations of Logic and Constraint Programming 2001/2002
- Lösungen (in Englisch) für Introduction to Computational Logic 2001/2002
- Logikübungen 2001/2002
- Dekodierer [ BCH | Viterbi ]
- Hervorhebungsschema für den Haskell-Editor Proton [ Schema | ini ]
Alle Programme sind in der Sprache Haskell geschrieben.