Abgeschlossene Doktorarbeiten

• Dr.rer.nat. Frederic Dörband: Characterisation Theorems for Weighted Tree Automaton Models
  Tag der Verteidigung: 12. Juli 2022, Technische Universität Dresden.
• Dr.rer.nat. Luisa Herrmann: Weighted automata with storage
  Tag der Verteidigung: 29. September 2020, Technische Universität Dresden.
• Dr.-Ing. Kilian Gebhardt: Induction, Training, and Parsing Strategies beyond Context-free Grammars
  Tag der Verteidigung: 06. Mai 2020, Technische Universität Dresden.
• Dr.rer.nat. Tobias Denkinger: Two characterisation results of multiple context-free grammars and their application to parsing
  Tag der Verteidigung: 27. September 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
  Tag der Verteidigung: 27. September 2018, Technische Universität Dresden.
• Dr.rer.nat. Johannes Osterholzer: New Results on Context-Free Tree Languages
  Tag der Verteidigung: 4. Mai 2018, Technische Universität Dresden.
• Dr.rer.nat. Markus Teichmann (Stipendiat des DFG Graduiertenkolleg 1763): Expressing Context-Free Tree Languages by Regular Tree Grammars
  Tag der Verteidigung: 12. April 2017, Technische Universität Dresden.
• Dr.-Ing. Alexander Bau: SAT Compilation for Constraints over Structured Finite Domains
  Tag der Verteidigung: 07. Februar 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
  Tag der Verteidigung: 18. Dezember 2014, Technische Universität Dresden.
• Dr.rer.nat. Torsten Stüber: Multioperator Weighted Monadic Datalog
  Tag der Verteidigung: 10. Februar 2011, Technische Universität Dresden.
• Prof. Dr.rer.nat. Andreas Maletti (Stipendiat des DFG-Graduiertenkollegs 334): The Power of Tree Series Transducers
  Tag der Verteidigung: 15. Juni 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
  Tag der Verteidigung: 24. Januar 2005, Technische Universität Dresden.
• Dr.rer.nat. Björn Borchardt (Stipendiat des DFG-Graduiertenkollegs 334): The Theory of Recognizable Tree Series
  Tag der Verteidigung: 17. Dezember 2004, Technische Universität Dresden.
• Dr.rer.nat. Claus Jürgensen (Stipendiat des DFG-Graduiertenkollegs 334): Categorical semantics and composition of tree transducers
  Tag der Verteidigung: 30. Januar 2004, Technische Universität Dresden.
• Prof. Dr.rer.nat.habil. Petra Hofstedt: Cooperation and Coordination of constraint solvers
  Tag der Verteidigung: 02. Juli 2001, Technische Universität Dresden.
• PD Dr.rer.nat. Daniel Kirsten (Stipendiat des DFG-Graduiertenkollegs 334): On decision problems of recognizable trace languages
  Tag der Verteidigung: 29. November 1999, Technische Universität Dresden.
• Dr.-Ing. Armin Kühnemann: Berechnungsstärke von Teilklassen primitiv-rekursiver Programmschemata
  Tag der Verteidigung: 03. Juli 1997, Technische Universität Dresden.
• Dr.-Ing. Heinrich Fassbender: E-Unifikation für Primitiv-Rekursive Baumfunktionen - Semantik und Implementierung
  Tag der Verteidigung: 12. Mai 1995, Universität Ulm.