Finished PhD theses

• Dr.rer.nat. Frederic Dörband: Characterisation Theorems for Weighted Tree Automaton Models
  date of defence: July 12, 2022, Technische Universität Dresden.
• Dr.-Ing. Kilian Gebhardt: Induction, Training, and Parsing Strategies beyond Context-free Grammars
  date of defence: May 06, 2020, Technische Universität Dresden.
• Dr.rer.nat. Tobias Denkinger: Two characterisation results of multiple context-free grammars and their application to parsing
  date of defence: September 27, 2019, Technische Universität Dresden.
• Dr.rer.nat. Toni Dietze: A Formal View on Training of Weighted Tree Automata by Likelihood-Driven State Splitting and Merging
  date of defence: September 27, 2018, Technische Universität Dresden.
• Dr.rer.nat. Johannes Osterholzer: New Results on Context-Free Tree Languages
  date of defence: May 4, 2018, Technische Universität Dresden.
• Dr.rer.nat. Markus Teichmann (scholarship holder of DFG Graduiertenkolleg 1763): Expressing Context-Free Tree Languages by Regular Tree Grammars
  date of defence: April 12, 2017, Technische Universität Dresden.
• Dr.-Ing. Alexander Bau: SAT Compilation for Constraints over Structured Finite Domains
  date of defence: February 07, 2017, Technische Universität Dresden.
• Dr.rer.nat. Matthias Büchse (DFG Projekt Nr. VO 1011/6-1): Algebraic decoder specification: coupling formal-language theory and statistical machine translation
  date of defence: December 18, 2014, Technische Universität Dresden.
• Dr.rer.nat. Torsten Stüber: Multioperator Weighted Monadic Datalog
  date of defence: February 10, 2011, Technische Universität Dresden.
• Prof. Dr.rer.nat. Andreas Maletti (scholarship holder of DFG-Graduiertenkolleg 334): The Power of Tree Series Transducers
  date of defence: June 15, 2006, Technische Universität Dresden.
• Prof. Dr. rer. nat. habil. Janis Voigtländer (DFG Projekt Nr. KU 1290 / 2-1, 2-3 und 2-4): Tree Transducer Composition as Program Transformation
  date of defence: January 24, 2005, Technische Universität Dresden.
• Dr.rer.nat. Björn Borchardt (scholarship holder of DFG-Graduiertenkolleg 334): The Theory of Recognizable Tree Series
  date of defence: December 17, 2004, Technische Universität Dresden.
• Dr.rer.nat. Claus Jürgensen (scholarship holder of DFG-Graduiertenkolleg 334): Categorical semantics and composition of tree transducers
  date of defence: January 30, 2004, Technische Universität Dresden.
• Prof. Dr.rer.nat.habil. Petra Hofstedt: Cooperation and Coordination of constraint solvers
  date of defence: July 2, 2001, Technische Universität Dresden.
• PD Dr.rer.nat. Daniel Kirsten (scholarship holder of DFG-Graduiertenkolleg 334): On decision problems of recognizable trace languages
  date of defence: November 29, 1999, Technische Universität Dresden.
• Dr.-Ing. Armin Kühnemann: Berechnungsstärke von Teilklassen primitiv-rekursiver Programmschemata
  date of defence: Juli 03, 1997, Technische Universität Dresden.
• Dr.-Ing. Heinrich Fassbender: E-Unifikation für Primitiv-Rekursive Baumfunktionen - Semantik und Implementierung
  date of defence: Mai 12, 1995, Universität Ulm.