Thesis - PhD (31)

1221.
Thesis - PhD
Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1222.
Thesis - PhD
Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1223.
Thesis - PhD
Reznichenko, A.: Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1224.
Thesis - PhD
Santos, N. M. C.: Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)
1225.
Thesis - PhD
Marcon, M.: 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
Dischinger, M.: 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
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 pp.
1228.
Working Paper
Devidze, R.; Kamalaruban, P.; Singla, A.: Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 pp.
1229.
Working Paper
Mandal, D.; Nika, A.; Kamalaruban, P.; Singla, A.; Radanović, G.: Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 pp.
1230.
Working Paper
Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Contract-Based Distributed Synthesis in Two-Objective Parity Games. (2023), 50 pp.
1231.
Working Paper
Anand, A.; Zetzsche, G.: Priority Downward Closures. (2023), 25 pp.
1232.
Working Paper
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 pp.
1233.
Working Paper
Berthé, V.; Karimov, T.; Ouaknine, J.; Vahanwala, M.; Worrell, J.: The Monadic Theory of Toric Words. (2023), 31 pp.
1234.
Working Paper
D'Costa, J.; Ouaknine, J.; Worrell, J.: Nonnegativity Problems for Matrix Semigroups. (2023), 17 pp.
1235.
Working Paper
Eniser, H. F.; Wüstholz, V.; Christakis, M.: Automatically Testing Functional Properties of Code Translation Models. (2023), 13 pp.
1236.
Working Paper
Francis, P.; Berneanu, C.; Gashi, E.: SynDiffix: More accurate synthetic structured data. (2023), 14 pp.
1237.
Working Paper
Gan, J.; Majumdar, R.; Mandal, D.; Radanovic, G.: Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. (2023), 15 pp.
1238.
Working Paper
Ghahremani, F.; Kelmendi, E.; Ouaknine, J.: Reachability in Injective Piecewise Affine Maps. (2023), 22 pp.
1239.
Working Paper
Goetzen, A.; Wang, R.; Redmiles, E. M.; Zannettou, S.; Ayalon, O.: Likes and Fragments: Examining Perceptions of Time Spent on TikTok. (2023), 11 pp.
1240.
Working Paper
Kolling, C.; Speicher, T.; Nanda, V.; Toneva, M.; Gummadi, K.: Pointwise Representational Similarity. (2023), 33 pp.
Go to Editor View