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