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)

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.

Devidze, R.; Kamalaruban, P.; Singla, A.: Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 S.

Mandal, D.; Nika, A.; Kamalaruban, P.; Singla, A.; Radanović, G.: Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 S.

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 S.

Anand, A.; Zetzsche, G.: Priority Downward Closures. (2023), 25 S.

Baumann, P.; D'Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 S.

Berthé, V.; Karimov, T.; Ouaknine, J.; Vahanwala, M.; Worrell, J.: The Monadic Theory of Toric Words. (2023), 31 S.