Thesis - PhD (27)

1061.
Thesis - PhD
Li, C.: Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
1062.
Thesis - PhD
Wang, Z.: Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1063.
Thesis - PhD
Bhatotia, P. K.: Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)
1064.
Thesis - PhD
Bhatotia, P.: Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)
1065.
Thesis - PhD
Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1066.
Thesis - PhD
Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1067.
Thesis - PhD
Reznichenko, A.: Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1068.
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)
1069.
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)
1070.
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 (105)

1071.
Working Paper
Alzayat, M.; Mace, J.; Druschel, P.; Garg, D.: Groundhog: Efficient Request Isolation in FaaS. (2022), 17 pp.
1072.
Working Paper
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. (2022), 68 pp.
1073.
Working Paper
Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 pp.
1074.
Working Paper
Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 pp.
1075.
Working Paper
Bergsträßer, P.; Ganardi, M.; Lin, A. W.; Zetzsche, G.: Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. (2022), 19 pp.
1076.
Working Paper
Bhalerao, R.; McDonald, N.; Barakat, H.; Hamilton, V.; McCoy, D.; Redmiles, E. M.: Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. (2022), 39 pp.
1077.
Working Paper
Bilu, Y.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Purser, D.; Worrell, J.: Skolem Meets Schanuel. (2022), 15 pp.
1078.
Working Paper
Christakis, M.; Eniser, H. F.; Hoffmann, J.; Singla, A.; Wüstholz, V.: Specifying and Testing k-Safety Properties for Machine-Learning Models. (2022), 16 pp.
1079.
Working Paper
Corvelo Benz, N.; Gomez Rodriguez, M.: Counterfactual Inference of Second Opinions. (2022), 20 pp.
1080.
Working Paper
D'Costa, J.; Karimov, T.; Majumdar, R.; Ouaknine, J.; Salamati, M.; Worrell, J.: The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. (2022), 20 pp.
Go to Editor View