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.
Stand: 23.03.2023 09:50 Uhr