Poster (2)
1221.
Poster
Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)
1222.
Poster
Residential Broadband Networks: Characteristics and Implications. (2008)
Hochschulschrift - Doktorarbeit (33)
1223.
Hochschulschrift - Doktorarbeit
Efficient Request Isolation in Function-as-a-Service. Dissertation, Universität des Saarlandes, Saarbrücken (2024)
1224.
Hochschulschrift - Doktorarbeit
Expanding the Horizons of Finite-precision Analysis. Dissertation, Universität des Saarlandes, Saarbrücken (2024)
1225.
Hochschulschrift - Doktorarbeit
Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages S., Universität des Saarlandes, Saarbrücken (2023)
1226.
Hochschulschrift - Doktorarbeit
Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 S., Universität des Saarlandes, Saarbrücken (2023)
1227.
Hochschulschrift - Doktorarbeit
Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p S., Universität des Saarlandes, Saarbrücken (2023)
1228.
Hochschulschrift - Doktorarbeit
Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 S., Universität des Saarlandes, Saarbrücken (2022)
1229.
Hochschulschrift - Doktorarbeit
Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)
1230.
Hochschulschrift - Doktorarbeit
Towards “Ultra-Reliable” CPS. Dissertation, 245 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1231.
Hochschulschrift - Doktorarbeit
Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 S., Universität des Saarlandes, Saarbrücken (2020)
1232.
Hochschulschrift - Doktorarbeit
A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 S., Universität des Saarlandes, Saarbrücken (2020)
1233.
Hochschulschrift - Doktorarbeit
High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 S., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1234.
Hochschulschrift - Doktorarbeit
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1235.
Hochschulschrift - Doktorarbeit
Non-reformist reform for Haskell Modularity. Dissertation, 248 S., Universität des Saarlandes, Saarbrücken (2019)
1236.
Hochschulschrift - Doktorarbeit
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1237.
Hochschulschrift - Doktorarbeit
Combinatorial Constructions for Effective Testing. Dissertation, 125 S., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1238.
Hochschulschrift - Doktorarbeit
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 S., Universität des Saarlandes, Saarbrücken (2019)
1239.
Hochschulschrift - Doktorarbeit
Towards privacy-compliant mobile computing. Dissertation, 133 S., Universität des Saarlandes, Saarbrücken (2018)
1240.
Hochschulschrift - Doktorarbeit
Heap-based reasoning about asynchronous programs. Dissertation, 156 S., Technische Universität Kaiserslautern, Kaiserslautern (2018)