papers
Publications (6)
cs.CY2020
Digital Contact Tracing Service: An improved decentralized design for privacy and effectiveness
Kilian Holzapfel, Martina Karl, Linus Lotz +34
astro-ph.HE2025
Using End-to-End Optimized Summary Statistics to Improve IceCube's Diffuse Galactic Fits
Oliver Janik, Christian Haack
astro-ph.HE2021
Search for STaus in IceCube
Jan-Henrik Schmidt-Dencker, Stephan Meighen-Berger, Christian Haack
hep-ex2023
Prometheus: An Open-Source Neutrino Telescope Simulation
Jeffrey Lazar, Stephan Meighen-Berger, Christian Haack +3
astro-ph.HE2021
A New Search for Neutrino Point Sources with IceCube
Chiara Bellenghi, Theo Glauch, Christian Haack +4
cs.LO2015
Permission-Based Separation Logic for Multithreaded Java Programs
Christian Haack, Marieke Huisman, Clément Hurlin +1