Conference Paper (937)
1221.
Conference Paper
Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, pp. 389 - 402. ACM, New York, USA (2006)
1222.
Conference Paper
Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), pp. 43 - 48. (2006)
1223.
Conference Paper
Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, pp. 85 - 98. ACM, New York, USA (2006)
Conference Report (1)
1224.
Conference Report
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, pp. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, September 01, 2014 - September 03, 2014. ACM, New York, NY (2014)
Poster (2)
1225.
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)
1226.
Poster
Residential Broadband Networks: Characteristics and Implications. (2008)
Thesis - PhD (33)
1227.
Thesis - PhD
Efficient Request Isolation in Function-as-a-Service. Dissertation, Universität des Saarlandes, Saarbrücken (2024)
1228.
Thesis - PhD
Expanding the Horizons of Finite-precision Analysis. Dissertation, Universität des Saarlandes, Saarbrücken (2024)
1229.
Thesis - PhD
Algorithmic Verification of Linear Dynamical Systems. Dissertation, vii, 200 pages pp., Universität des Saarlandes, Saarbrücken (2023)
1230.
Thesis - PhD
Automated and Foundational Verification of Low-level Programs. Dissertation, ix, 168 pp., Universität des Saarlandes, Saarbrücken (2023)
1231.
Thesis - PhD
Real-Time Execution Management in the ROS 2 Framework. Dissertation, xvi, 189 p pp., Universität des Saarlandes, Saarbrücken (2023)
1232.
Thesis - PhD
Verified Compilation and Optimization of Floating-point Kernels. Dissertation, XIII, 131 pp., Universität des Saarlandes, Saarbrücken (2022)
1233.
Thesis - PhD
Information Consumption on Social Media. Dissertation, 127 pp., Universität des Saarlandes, Saarbrücken (2021)
1234.
Thesis - PhD
Towards “Ultra-Reliable” CPS. Dissertation, 245 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1235.
Thesis - PhD
Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 pp., Universität des Saarlandes, Saarbrücken (2020)
1236.
Thesis - PhD
A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 pp., Universität des Saarlandes, Saarbrücken (2020)
1237.
Thesis - PhD
High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1238.
Thesis - PhD
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1239.
Thesis - PhD
Non-reformist reform for Haskell Modularity. Dissertation, 248 pp., Universität des Saarlandes, Saarbrücken (2019)
1240.
Thesis - PhD
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)