Thesis - PhD (33)
1241.
Thesis - PhD
Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1242.
Thesis - PhD
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
1243.
Thesis - PhD
Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)
1244.
Thesis - PhD
Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1245.
Thesis - PhD
Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)
1246.
Thesis - PhD
Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)
1247.
Thesis - PhD
Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)
1248.
Thesis - PhD
Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1249.
Thesis - PhD
Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1250.
Thesis - PhD
Building fast and consistent (geo-)replicated systems. Dissertation, 182 pp., Universität des Saarlandes, Saarbrücken (2016)
1251.
Thesis - PhD
Algorithms and Tools for Verification and Testing of Asynchronous Programs. Dissertation, 157 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
1252.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)
1253.
Thesis - PhD
Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)
1254.
Thesis - PhD
Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)
1255.
Thesis - PhD
Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)
1256.
Thesis - PhD
Private-by-design Advertising and Analytics: From Theory to Practice. Dissertation, VIII, 124 pp., Technische Universität Kaiserslautern, Kaiserslautern (2014)
1257.
Thesis - PhD
Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)
1258.
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)
1259.
Thesis - PhD
Making Broadband Access Networks Transparent to Researchers, Developers, and Users. Dissertation, 148 pp., Universität des Saarlandes, Saarbrücken (2010)
Working Paper (120)
1260.
Working Paper
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. (2024), 13 pp.