Recently Completed

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

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

• On a priori belief updates in the epistemic analysis of distributed systems / Cignarale, G. (2025). On a priori belief updates in the epistemic analysis of distributed systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.135760
• Agile multi-domain model integration management in cyber-physical production systems engineering / Rinker, F. (2025). Agile multi-domain model integration management in cyber-physical production systems engineering [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.129689
• Automated security analysis of blockchain protocols / Rain, S. (2025). Automated security analysis of blockchain protocols [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.132842
• Federated learning systems in the industrial internet of things / Blumauer-Hießl, T. (2025). Federated learning systems in the industrial internet of things [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.136042
• Redundancy, rewriting, and induction / Hajdu, M. (2025). Redundancy, rewriting, and induction [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.136950
• A real-time approach to human behavior analysis using depth and thermal imaging / Heitzinger, T. (2025). A real-time approach to human behavior analysis using depth and thermal imaging [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.133225
• Modeling improvement and application of DAG-based blockchain networks / Guo, F. (2025). Modeling improvement and application of DAG-based blockchain networks [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.133164
• Specification mining for cyber-physical systems / Nesterini, E. (2025). Specification mining for cyber-physical systems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.134080
• Data leak detection : towards privacy aware asset protection in data driven research / Kieseberg, P. P. (2025). Data leak detection : towards privacy aware asset protection in data driven research [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.137721
• Improving colocated MPI application performance via process mapping in HPC systems : leveraging hierarchical process-to-core mappings and communicator-centric profiling / Vardas, I. (2025). Improving colocated MPI application performance via process mapping in HPC systems : leveraging hierarchical process-to-core mappings and communicator-centric profiling [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.136022
• Epistemic logic for distributed systems with crash failures / Randrianomentsoa, R. F. (2025). Epistemic logic for distributed systems with crash failures [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.131022
• Ensuring service level objective adherence in the edge-cloud continuum / Pusztai, T. W. (2025). Ensuring service level objective adherence in the edge-cloud continuum [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.127440
• Methods for analyzing task solvability in distributed computing / Rincón Galeana, H. (2025). Methods for analyzing task solvability in distributed computing [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.137846
• Autonomous Orchestration of Computing Continuum Systems through Active Inference / Sedlak, B. (2025). Autonomous Orchestration of Computing Continuum Systems through Active Inference [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.132002
• Improving Synthesis of Skolem Functions and Boolean Circuits / Reichl, F. X. (2025). Improving Synthesis of Skolem Functions and Boolean Circuits [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.127724
• Towards Semantic Interoperability for Behavior Change Driven Serious Games and Gamified Mobile Applications – Platform Engineering for Prevention of NCDs / Aigner, C. (2025). Towards Semantic Interoperability for Behavior Change Driven Serious Games and Gamified Mobile Applications – Platform Engineering for Prevention of NCDs [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.137861
• Towards a Generic Framework for Extending System Architectures of Autonomous Vehicles with a Self-Managing Functionality / Kain, T. (2025). Towards a Generic Framework for Extending System Architectures of Autonomous Vehicles with a Self-Managing Functionality [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.131808
• Advanced Persistent Threats: Attribution, Profiling, and Tracking / Saha, A. (2025). Advanced Persistent Threats: Attribution, Profiling, and Tracking [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.100309
• From Interactions to Integrated Actions: Exploring Active Perception and Inter-Modality in Data Physicalization / Pahr, D. (2025). From Interactions to Integrated Actions: Exploring Active Perception and Inter-Modality in Data Physicalization [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.137817
• Inspired by Biology: Towards Visualizing Complex Networks / Ehlers, H. (2025). Inspired by Biology: Towards Visualizing Complex Networks [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.137816

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