Poster (2)
1201.
Poster
Residential Broadband Networks: Characteristics and Implications. (2008)
Hochschulschrift - Doktorarbeit (31)
1202.
Hochschulschrift - Doktorarbeit
Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)
1203.
Hochschulschrift - Doktorarbeit
Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)
1204.
Hochschulschrift - Doktorarbeit
Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)
1205.
Hochschulschrift - Doktorarbeit
Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)
1206.
Hochschulschrift - Doktorarbeit
Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)
1207.
Hochschulschrift - Doktorarbeit
Towards “Ultra-Reliable” CPS. Dissertation, 245 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1208.
Hochschulschrift - Doktorarbeit
Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 S., Universität des Saarlandes, Saarbrücken (2020)
1209.
Hochschulschrift - Doktorarbeit
A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 S., Universität des Saarlandes, Saarbrücken (2020)
1210.
Hochschulschrift - Doktorarbeit
High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1211.
Hochschulschrift - Doktorarbeit
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1212.
Hochschulschrift - Doktorarbeit
Non-reformist reform for Haskell Modularity. Dissertation, 248 S., Universität des Saarlandes, Saarbrücken (2019)
1213.
Hochschulschrift - Doktorarbeit
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1214.
Hochschulschrift - Doktorarbeit
Combinatorial Constructions for Effective Testing. Dissertation, 125 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1215.
Hochschulschrift - Doktorarbeit
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 S., Universität des Saarlandes, Saarbrücken (2019)
1216.
Hochschulschrift - Doktorarbeit
Towards privacy-compliant mobile computing. Dissertation, 133 S., Universität des Saarlandes, Saarbrücken (2018)
1217.
Hochschulschrift - Doktorarbeit
Heap-based reasoning about asynchronous programs. Dissertation, 156 S., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1218.
Hochschulschrift - Doktorarbeit
Compositional compiler correctness via parametric simulations. Dissertation, 269 S., Universität des Saarlandes, Saarbrücken (2018)
1219.
Hochschulschrift - Doktorarbeit
Relational Cost Analysis. Dissertation, XV, 459 S., Universität des Saarlandes, Saarbrücken (2018)
1220.
Hochschulschrift - Doktorarbeit
Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 S., Universität des Saarlandes, Saarbrücken (2017)