Thesis - PhD (31)
1201.
Thesis - PhD
High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1202.
Thesis - PhD
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1203.
Thesis - PhD
Non-reformist reform for Haskell Modularity. Dissertation, 248 pp., Universität des Saarlandes, Saarbrücken (2019)
1204.
Thesis - PhD
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1205.
Thesis - PhD
Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1206.
Thesis - PhD
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
1207.
Thesis - PhD
Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)
1208.
Thesis - PhD
Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1209.
Thesis - PhD
Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)
1210.
Thesis - PhD
Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)
1211.
Thesis - PhD
Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)
1212.
Thesis - PhD
Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1213.
Thesis - PhD
Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1214.
Thesis - PhD
Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
1215.
Thesis - PhD
Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1216.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)
1217.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)
1218.
Thesis - PhD
Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1219.
Thesis - PhD
Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1220.
Thesis - PhD
Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)