Safer Parallelization Hähnle, R.; Tabar, A. H.; Heydari Tabar, A.; Mazaheri, A.; Norouzi, M.; Steinhöfel, D.; Wolf, F. 2020. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II Hrsg.: Margaria, Tiziana; Steffen, Bernhard, 117–137, Springer International Publishing. doi:10.1007/978-3-030-61470-6_8
Multivariate Conditional Transformation Models Kneib, T.; Klein, N.; Hothorn, T. 2020. Proceedings of the 35th International Workshop on Statistical Modelling. Ed.: I. Irigoien, 131–136, Universidad del País Vasco
Enhanced variable selection for distributional regression Strömer, A.; Weinhold, L.; Staerk, C.; Titze, S.; Klein, N.; Mayr, A. 2020. Proceedings of the 35th International Workshop on Statistical Modelling. Ed.: I. Irigoien, 233–237, Universidad del Pais Vasco
2020 Winter Simulation Conference (WSC) Bae, K.-H.; Feng, B.; Kim, S.; Lazarova-Molnar, S.; Zheng, Z.; Roeder, T.; Thiesing, R. (Eds.) 2020. Institute of Electrical and Electronics Engineers (IEEE)
Multilokales Leben von Studierenden in Karlsruhe Kramer, C. 2020. Multilokale Lebensführungen und räumliche Entwicklungen : ein Kompendium. Hrsg.: R. Danielzyk, 278–285, Akademie für Raumentwicklung in der Leibniz-Gemeinschaft (ARL)
KIT – Die Universität in der Helmholtz-Gemeinschaft