Recently Completed

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

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

• 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
• 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
• 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
• 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
• Redundant Edges and Parallel Algorithms in Binary Irregular Graph Pyramids / Banaeyan, M. (2024). Redundant Edges and Parallel Algorithms in Binary Irregular Graph Pyramids [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.103865
• Increasing Efficiency and Flexibility in Post-Quantum Cryptography / Cini, V. (2024). Increasing Efficiency and Flexibility in Post-Quantum Cryptography [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.121300
• Increasing Efficiency and Flexibility in Post-Quantum Cryptography / Cini, V. (2024). Increasing Efficiency and Flexibility in Post-Quantum Cryptography [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.121300
• Algorithms for Schematic Representations / Terziadis, S. (2024). Algorithms for Schematic Representations [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120711
• Multi-Light Imaging for Graphical Heritage / Brenner, S. (2024). Multi-Light Imaging for Graphical Heritage [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.122403
• Utilizing and Extending the Inherent Fault Tolerance Properties of Asynchronous QDI Circuits / Tabassam, Z. (2024). Utilizing and Extending the Inherent Fault Tolerance Properties of Asynchronous QDI Circuits [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.122341
• Foundations of Bitcoin-Compatible Scalability Protocols / Aumayr, L. (2024). Foundations of Bitcoin-Compatible Scalability Protocols [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.122127
• Data Driven Detection of Misconfigurations in Power Distribution Systems / Fellner, D. (2024). Data Driven Detection of Misconfigurations in Power Distribution Systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120150
• Visualization Onboarding. Supporting Users in Understanding Unfamiliar Visual Representations / Stoiber, C. (2024). Visualization Onboarding. Supporting Users in Understanding Unfamiliar Visual Representations [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119342
• Streaming and Quantitative Extensions of Answer Set Programming / Kiesel, R. P. D. (2024). Streaming and Quantitative Extensions of Answer Set Programming [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119341
• Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms / Tran, T. H. (2024). Symbolic Verification of TLA+ Specifications with Applications to Distributed Algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.117518
• Advancing state space search for static and dynamic Optimization by parallelization and learning / Frohner, N. (2023). Advancing state space search for static and dynamic Optimization by parallelization and learning [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113960
• Moment-based loop analysis / Stankovic, M. (2023). Moment-based loop analysis [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113863
• Single Image Depth Prediction on one perspective cultural heritage artefact / Frisky, A. Z. K. (2023). Single Image Depth Prediction on one perspective cultural heritage artefact [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.113862

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