Thesis - PhD (27)

1021.
Thesis - PhD
Niksic, F.: Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1022.
Thesis - PhD
Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
1023.
Thesis - PhD
Aditya, P.: Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)
1024.
Thesis - PhD
Kloos, J.: Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1025.
Thesis - PhD
Neis, G.: Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)
1026.
Thesis - PhD
Ҫiҫek, E.: Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)
1027.
Thesis - PhD
Mondal, M.: Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)
1028.
Thesis - PhD
Wieder, A.: Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1029.
Thesis - PhD
Akkus, I. E.: Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1030.
Thesis - PhD
Li, C.: Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
1031.
Thesis - PhD
Wang, Z.: Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1032.
Thesis - PhD
Bhatotia, P. K.: Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)
1033.
Thesis - PhD
Bhatotia, P.: Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)
1034.
Thesis - PhD
Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1035.
Thesis - PhD
Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1036.
Thesis - PhD
Reznichenko, A.: Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1037.
Thesis - PhD
Santos, N. M. C.: Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)
1038.
Thesis - PhD
Marcon, M.: System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 pp., Universität des Saarlandes, Saarbrücken (2011)
1039.
Thesis - PhD
Dischinger, M.: Making Broadband Access Networks Transparent to Researchers, Developers, and Users. Dissertation, 148 pp., Universität des Saarlandes, Saarbrücken (2010)

Working Paper (101)

1040.
Working Paper
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. (2022), 68 pp.
Go to Editor View