Recently Completed

We are proud of every single candidate who graduates with us!

Here is a list of some of our recent doctoral theses:

• Model-Driven Techniques for Integrating Data Engineering into Systems Engineering / Rädler, S. (2025). Model-Driven Techniques for Integrating Data Engineering into Systems Engineering [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.131528
• Writer Retrieval for Historical Documents / Peer, M. (2025). Writer Retrieval for Historical Documents [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.131340
• The Knowledge Graph Divide - Connecting Machine Learning, Databases, and the Semantic Web / Pavlović, A. (2025). The Knowledge Graph Divide - Connecting Machine Learning, Databases, and the Semantic Web [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128683
• Efficient Reasoning with Quantifiers and Theories / Rath, J. (2025). Efficient Reasoning with Quantifiers and Theories [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.127624
• Human gait analysis : machine learning-based classification of gait disorders / Slijepcevic, D. (2024). Human gait analysis : machine learning-based classification of gait disorders [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124825
• Exploring graph-based concepts for balanced information density in data visualizations / Wallinger, M. (2024). Exploring graph-based concepts for balanced information density in data visualizations [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124826
• Addressing data heterogeneity in image-based computer-aided detection and diagnosis methods / Wimmer, M. (2024). Addressing data heterogeneity in image-based computer-aided detection and diagnosis methods [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.125391
• Supporting laypeople in learning formal medical terminology / Ningtyas, A. M. (2024). Supporting laypeople in learning formal medical terminology [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.125702
• Integrated preferences in logic and abstract argumentation / Bernreiter, M. (2024). Integrated preferences in logic and abstract argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124541
• From semantic games to analytic calculi / Freiman, R. (2024). From semantic games to analytic calculi [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.126860
• Computer-aided formal security analysis of the Web platform / Veronese, L. (2024). Computer-aided formal security analysis of the Web platform [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.127183
• Compiling for time-predictability and performance / Maroun, E. J. (2024). Compiling for time-predictability and performance [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123754
• Visual analytics for blind source separation in time and space / Piccolotto, N. (2024). Visual analytics for blind source separation in time and space [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128662
• Efficient reuse and variability management for cyber-physical production system families / Meixner, K. (2024). Efficient reuse and variability management for cyber-physical production system families [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.126743
• Applications of neural attention for modelling long-range dependencies / Wödlinger, M. G. (2024). Applications of neural attention for modelling long-range dependencies [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128663
• Approaching under-explored image-space problems with optimization / Cardoso, J. A. (2024). Approaching under-explored image-space problems with optimization [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128664
• SMT-driven techniques for verifying distributed systems / Kukovec, J. (2024). SMT-driven techniques for verifying distributed systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128661
• Enhancing fault diagnosis in safety-critical cyber-physical systems / Yadav, D. (2024). Enhancing fault diagnosis in safety-critical cyber-physical systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.125790
• The computational cost and benefit of collective attacks in abstract argumentation / König, M. (2024). The computational cost and benefit of collective attacks in abstract argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.126709
• Hand tracking in colocated multi-user virtual reality / Reimer, D. (2024). Hand tracking in colocated multi-user virtual reality [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.124228

The TU Wien Publication Database (reposiTUm) has the full list of all our completed theses.