Conference Report (1)
1041.
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)
1042.
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)
1043.
Poster
Residential Broadband Networks: Characteristics and Implications. (2008)
Thesis - PhD (27)
1044.
Thesis - PhD
Information Consumption on Social Media. Dissertation, 127 pp., Universität des Saarlandes, Saarbrücken (2021)
1045.
Thesis - PhD
Towards “Ultra-Reliable” CPS. Dissertation, 245 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1046.
Thesis - PhD
Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 pp., Universität des Saarlandes, Saarbrücken (2020)
1047.
Thesis - PhD
A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 pp., Universität des Saarlandes, Saarbrücken (2020)
1048.
Thesis - PhD
High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1049.
Thesis - PhD
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1050.
Thesis - PhD
Non-reformist reform for Haskell Modularity. Dissertation, 248 pp., Universität des Saarlandes, Saarbrücken (2019)
1051.
Thesis - PhD
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1052.
Thesis - PhD
Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1053.
Thesis - PhD
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
1054.
Thesis - PhD
Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)
1055.
Thesis - PhD
Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1056.
Thesis - PhD
Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)
1057.
Thesis - PhD
Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)
1058.
Thesis - PhD
Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)
1059.
Thesis - PhD
Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1060.
Thesis - PhD
Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)