Neis, G.: Compositional compiler correctness via parametric simulations. Dissertation, 269 S., Universität des Saarlandes, Saarbrücken (2018)

Ҫiҫek, E.: Relational Cost Analysis. Dissertation, XV, 459 S., Universität des Saarlandes, Saarbrücken (2018)

Mondal, M.: Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 S., Universität des Saarlandes, Saarbrücken (2017)

Wieder, A.: Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 S., Universität des Saarlandes, Saarbrücken (2017)

Akkus, I. E.: Towards A Non-tracking Web. Dissertation, XIV, 200 S., Technische Universität Kaiserslautern, Kaiserslautern (2016)

Li, C.: Building fast and consistent (geo-)replicated systems. Dissertation, 182 S., Universität des Saarlandes, Saarbrücken (2016)

Wang, Z.: Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 S., Technische Universität Kaiserslautern, Kaiserslautern (2016)

Bhatotia, P. K.: Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 S., Universität des Saarlandes, Saarbrücken (2015)

Bhatotia, P.: Incremental Parallel and Distributed Systems. Dissertation, 193 S., Universität des Saarlandes, Saarbrücken (2015)

Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 S., Universität des Saarlandes, Saarbrücken (2015)

Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 S., Universität des Saarlandes, Saarbrücken (2015)

Reznichenko, A.: Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 S., Technische Universität Kaiserslautern, Kaiserslautern (2014)

Santos, N. M. C.: Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 S., Universität des Saarlandes, Saarbrücken (2013)

Marcon, M.: System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 S., Universität des Saarlandes, Saarbrücken (2011)

Dischinger, M.: Making Broadband Access Networks Transparent to Researchers, Developers, and Users. Dissertation, 148 S., Universität des Saarlandes, Saarbrücken (2010)

Aryan, A.; Modi, M.; Saha, I.; Majumdar, R.; Mohalik, S.: Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. (2024), 13 S.

Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Frankenreiter, J.; Bechtold, S.; Gummadi, K.: Antitrust, Amazon, and Algorithmic Auditing. (2024), 27 S.

Denny, P.; Gulwani, S.; Heffernan, N. T.; Käser, T.; Moore, S.; Rafferty, A. N.; Singla, A.: Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 S.

Denny, P.; Gulwani, S.; Heffernan, N. T.; Käser, T.; Moore, S.; Rafferty, A. N.; Singla, A.: Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 S.

Jindal, G.; Ouaknine, J.: On the Counting Complexity of the Skolem Problem. (2024), 12 S.