Recently Completed

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

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

• Reasoning in Very Expressive Description Logics with Varying Information Completeness / Lukumbuzya, S. (2025). Reasoning in Very Expressive Description Logics with Varying Information Completeness [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.123260
• Graph Parameters: Structural Properties and Algorithmic Applications / Korchemna, V. (2025). Graph Parameters: Structural Properties and Algorithmic Applications [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128801
• Hand Tracking in Colocated Multi-User Virtual Reality / Reimer, D. (2025). Hand Tracking in Colocated Multi-User Virtual Reality [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.124228
• The Computational Cost and Benefit of Collective Attacks in Abstract Argumentation / König, M. (2025). 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
• Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems / Yadav, D. (2025). Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.125790
• SMT-driven techniques for verifying distributed systems / Kukovec, J. (2025). SMT-driven techniques for verifying distributed systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128661
• Approaching Under-Explored Image-Space Problems with Optimization / Cardoso, J. A. (2025). Approaching Under-Explored Image-Space Problems with Optimization [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128664
• Applications of Neural Attention for Modelling Long-Range Dependencies / Wödlinger, M. G. (2025). Applications of Neural Attention for Modelling Long-Range Dependencies [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.128663
• Efficient Reuse and Variability Management for Cyber-Physical Production System Families / Meixner, K. (2025). 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
• Visual Analytics for Blind Source Separation in Time and Space / Piccolotto, N. (2025). 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 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
• 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
• Automated Eligibility Screening and its Evaluation in the Medical Domain / Kusa, W. (2024). Automated Eligibility Screening and its Evaluation in the Medical Domain [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124620
• 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
• 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
• Agents’ Knowledge and Its Limits in Byzantine Fault-Tolerant Distributed Systems / Fruzsa, K. (2024). Agents’ Knowledge and Its Limits in Byzantine Fault-Tolerant Distributed Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124621
• 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

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