Thesis - PhD (31)
1221.
Thesis - PhD
Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1222.
Thesis - PhD
Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1223.
Thesis - PhD
Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
1224.
Thesis - PhD
Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1225.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)
1226.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)
1227.
Thesis - PhD
Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1228.
Thesis - PhD
Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1229.
Thesis - PhD
Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1230.
Thesis - PhD
Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)
1231.
Thesis - PhD
System Designs for Bulk and User-generated Content Delivery in the Internet. Dissertation, XVI, 112 pp., Universität des Saarlandes, Saarbrücken (2011)
1232.
Thesis - PhD
Making Broadband Access Networks Transparent to Researchers, Developers, and Users. Dissertation, 148 pp., Universität des Saarlandes, Saarbrücken (2010)
Working Paper (118)
1233.
Working Paper
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.
1234.
Working Paper
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.
1235.
Working Paper
Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 pp.
1236.
Working Paper
Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 pp.
1237.
Working Paper
Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 pp.
1238.
Working Paper
Priority Downward Closures. (2023), 25 pp.
1239.
Working Paper
Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 pp.
1240.
Working Paper
The Monadic Theory of Toric Words. (2023), 31 pp.