Conference Report (1)

1041.
Conference Report
Chen, Y.; Acar, U. A.; Tangwongsan, K.: 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
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: 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
Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Residential Broadband Networks: Characteristics and Implications. (2008)

Thesis - PhD (27)

1044.
Thesis - PhD
Babaei, M.: Information Consumption on Social Media. Dissertation, 127 pp., Universität des Saarlandes, Saarbrücken (2021)
1045.
Thesis - PhD
Gujarati, A.: Towards “Ultra-Reliable” CPS. Dissertation, 245 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1046.
Thesis - PhD
Jung, R.: Understanding and Evolving the Rust Programming Language. Dissertation, VI, 287 pp., Universität des Saarlandes, Saarbrücken (2020)
1047.
Thesis - PhD
Rajani, V.: A Type-theory for Higher-order Amortized Analysis. Dissertation, XI, 113 pp., Universität des Saarlandes, Saarbrücken (2020)
1048.
Thesis - PhD
Vanga, M.: High-Throughput and Predictable VM Scheduling for High-Density Workloads. Dissertation, 219 pp., Technische Universität Kaiserslautern, Kaiserslautern (2020)
1049.
Thesis - PhD
Chakraborty, S.: Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1050.
Thesis - PhD
Kilpatrick, S.: Non-reformist reform for Haskell Modularity. Dissertation, 248 pp., Universität des Saarlandes, Saarbrücken (2019)
1051.
Thesis - PhD
Munz, R.: Towards Usability in Private Data Analytics. Dissertation, XXII, 146 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1052.
Thesis - PhD
Niksic, F.: Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
1053.
Thesis - PhD
Zafar, M. B.: Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
1054.
Thesis - PhD
Aditya, P.: Towards privacy-compliant mobile computing. Dissertation, 133 pp., Universität des Saarlandes, Saarbrücken (2018)
1055.
Thesis - PhD
Kloos, J.: Heap-based reasoning about asynchronous programs. Dissertation, 156 pp., Technische Universität Kaiserslautern, Kaiserslautern (2018)
1056.
Thesis - PhD
Neis, G.: Compositional compiler correctness via parametric simulations. Dissertation, 269 pp., Universität des Saarlandes, Saarbrücken (2018)
1057.
Thesis - PhD
Ҫiҫek, E.: Relational Cost Analysis. Dissertation, XV, 459 pp., Universität des Saarlandes, Saarbrücken (2018)
1058.
Thesis - PhD
Mondal, M.: Understanding & Controlling User Privacy in Social Media via Exposure. Dissertation, xxi, 205 pp., Universität des Saarlandes, Saarbrücken (2017)
1059.
Thesis - PhD
Wieder, A.: Blocking analysis of spin locks under partitioned fixed-priority scheduling. Dissertation, 260 pp., Universität des Saarlandes, Saarbrücken (2017)
1060.
Thesis - PhD
Akkus, I. E.: Towards A Non-tracking Web. Dissertation, XIV, 200 pp., Technische Universität Kaiserslautern, Kaiserslautern (2016)
Go to Editor View