Recently Completed

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

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

• 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
• Towards Automating Induction for Software Verification - Guiding Inductive Reasoning in Superposition-based Theorem Proving / Georgiou, P. (2024). Towards Automating Induction for Software Verification - Guiding Inductive Reasoning in Superposition-based Theorem Proving [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123801
• Automated Analysis of Probabilistic Loops / Moosbrugger, M. (2024). Automated Analysis of Probabilistic Loops [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123240
• Flexible Safety Systems: Use Cases, Requirements, System Design, and Software Architecture / Etz, D. (2024). Flexible Safety Systems: Use Cases, Requirements, System Design, and Software Architecture [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124080
• Privacy and Usability Aspects of Public Blockchains / Ghesmati, S. (2024). Privacy and Usability Aspects of Public Blockchains [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123326
• Leveraging Ontologies for Flexible Access to Graph-structured Data / Andresel, M. (2024). Leveraging Ontologies for Flexible Access to Graph-structured Data [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.124440
• Inductive Reasoning in Superposition / Hozzová, P. (2024). Inductive Reasoning in Superposition [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123241
• 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
• 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 Availability and Document-to-Document Retrieval for Domain-specific Neural Rankers / Althammer, S. (2024). Addressing Data Availability and Document-to-Document Retrieval for Domain-specific Neural Rankers [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123265
• 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
• 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
• Foundations of Adaptor Signatures for Distributed Ledger Protocols / Tairi, E. (2024). Foundations of Adaptor Signatures for Distributed Ledger Protocols [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123264
• Pay To Win: Algorithmic Incentive Manipulation Attacks on Permissionless Cryptocurrencies / Judmayer, A. (2024). Pay To Win: Algorithmic Incentive Manipulation Attacks on Permissionless Cryptocurrencies [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123266
• "Networks in Time and Space, Visual Analytics of Dynamic Network Representations" / Filipov, V. (2024). “Networks in Time and Space, Visual Analytics of Dynamic Network Representations” [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.123022

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