• 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.
Stand: 09.10.2017 08:22 Uhr