A Decomposition Theorem for Domains. - Christian Haack (Inf. Comput., 1996)

Fully Automatic Adaptation of Software Components Based on Semantic Specifications. - Christian Haack; Brian Howard 001; Allen Stoughton; Joe B. Wells (AMAST, 2002)

Branching Types. - Joe B. Wells; Christian Haack (ESOP, 2002)

Type error slicing in implicitly typed higher-order languages. - Christian Haack; Joe B. Wells (Sci. Comput. Program., 2004)

Timed Spi-Calculus with Types for Secrecy and Authenticity. - Christian Haack; Alan Jeffrey (CONCUR, 2005)

Pattern-matching spi-calculus. - Christian Haack; Alan Jeffrey (Inf. Comput., 2006)

Immutable Objects for a Java-Like Language. - Christian Haack; Erik Poll; Jan Schäfer; Aleksy Schubert (ESOP, 2007)

Separation Logic Contracts for a Java-Like Language with Fork/Join. - Christian Haack; Clément Hurlin (AMAST, 2008)

Reasoning about Java's Reentrant Locks. - Christian Haack; Marieke Huisman; Clément Hurlin (APLAS, 2008)

Type-Based Object Immutability with Flexible Initialization. - Christian Haack; Erik Poll (ECOOP, 2009)

Resource Usage Protocols for Iterators. - Christian Haack; Clément Hurlin (J. Object Technol., 2009)

Permission-Based Separation Logic for Multithreaded Java Programs. - Afshin Amighi; Christian Haack; Marieke Huisman; Clément Hurlin (Log. Methods Comput. Sci., 2015)

Digital Contact Tracing Service: An improved decentralized design for privacy and effectiveness. - Kilian Holzapfel; Martina Karl; Linus Lotz; Georg Carle; Christian Djeffal; Christian Fruck; Christian Haack; Dirk Heckmann; Philipp H. Kindt; Michael Köppl; Patrick Krause; Lolian Shtembari; et al. (CoRR, 2020)

The impact of digital contact tracing on the SARS-CoV-2 pandemic - a comprehensive modelling study. - Tina R. Pollmann; Stefan Schönert; Johannes Müller; Julia Pollmann; Elisa Resconi; Christoph Wiesinger; Christian Haack; Lolian Shtembari; Andrea Turcati; Birgit Neumair; Stephan Meighen-Berger; Giovanni Zattera; et al. (EPJ Data Sci., 2021)

Prometheus: An open-source neutrino telescope simulation. - Jeffrey Lazar; Stephan Meighen-Berger; Christian Haack; David Kim; Santiago Giner; Carlos A. Argüelles (Comput. Phys. Commun., 2024)