Thesis - PhD (31)
1221.
Thesis - PhD
Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1222.
Thesis - PhD
Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1223.
Thesis - PhD
Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1224.
Thesis - PhD
Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)
1225.
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)
1226.
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)
1227.
Working Paper
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.
1228.
Working Paper
Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 pp.
1229.
Working Paper
Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 pp.
1230.
Working Paper
Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 pp.
1231.
Working Paper
Priority Downward Closures. (2023), 25 pp.
1232.
Working Paper
Unboundedness Problems for Machines with Reversal-bounded Counters. (2023), 33 pp.
1233.
Working Paper
The Monadic Theory of Toric Words. (2023), 31 pp.
1234.
Working Paper
Nonnegativity Problems for Matrix Semigroups. (2023), 17 pp.
1235.
Working Paper
Automatically Testing Functional Properties of Code Translation Models. (2023), 13 pp.
1236.
Working Paper
SynDiffix: More accurate synthetic structured data. (2023), 14 pp.
1237.
Working Paper
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 pp.
1238.
Working Paper
Reachability in Injective Piecewise Affine Maps. (2023), 22 pp.
1239.
Working Paper
Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 pp.
1240.
Working Paper
Pointwise Representational Similarity. (2023), 33 pp.