Christian Haack

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 4

Top Topics

Factors Influencing

Experimental Study

Top Venues

Comput. Phys. Commun.

Log. Methods Comput. Sci.

Publications

Jeffrey Lazar, Stephan Meighen-Berger, Christian Haack, David Kim, Santiago Giner, Carlos A. Argüelles
Prometheus: An open-source neutrino telescope simulation. Comput. Phys. Commun. 304 (2024)
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, Matthias Neumair, Uljana Apel, Augustine Okolie
The impact of digital contact tracing on the SARS-CoV-2 pandemic - a comprehensive modelling study. EPJ Data Sci. 10 (1) (2021)
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, Lorenz Marx, Stephan Meighen-Berger, Birgit Neumair, Matthias Neumair, Julia Pollmann, Tina R. Pollmann, Elisa Resconi, Stefan Schönert, Andrea Turcati, Christoph Wiesinger, Giovanni Zattera, Christopher Allan, Esteban Barco, Kai Bitterschulte, Jörn Buchwald, Clara Fischer, Judith Gampe, Martin Häcker, Jasin Islami, Anatol Pomplun, Sebastian Preisner, Nele Quast, Christian Romberg, Christoph Steinlehner, Tjark Ziehm
Digital Contact Tracing Service: An improved decentralized design for privacy and effectiveness. CoRR (2020)
Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
Permission-Based Separation Logic for Multithreaded Java Programs. Log. Methods Comput. Sci. 11 (1) (2015)
Christian Haack, Clément Hurlin
Resource Usage Protocols for Iterators. J. Object Technol. 8 (4) (2009)
Christian Haack, Erik Poll
Type-Based Object Immutability with Flexible Initialization. ECOOP (2009)
Christian Haack, Clément Hurlin
Separation Logic Contracts for a Java-Like Language with Fork/Join. AMAST (2008)
Christian Haack, Marieke Huisman, Clément Hurlin
Reasoning about Java's Reentrant Locks. APLAS (2008)
Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
Immutable Objects for a Java-Like Language. ESOP (2007)
Christian Haack, Alan Jeffrey
Pattern-matching spi-calculus. Inf. Comput. 204 (8) (2006)
Christian Haack, Alan Jeffrey
Timed Spi-Calculus with Types for Secrecy and Authenticity. CONCUR (2005)
Christian Haack, Joe B. Wells
Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. 50 (1-3) (2004)
Christian Haack, Alan Jeffrey
Pattern-Matching Spi-Calculus. Formal Aspects in Security and Trust (2004)
Christian Haack, Joe B. Wells
Type Error Slicing in Implicitly Typed Higher-Order Languages. ESOP (2003)
Joe B. Wells, Christian Haack
Branching Types. ESOP (2002)
Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST (2002)
Christian Haack
A Decomposition Theorem for Domains. Inf. Comput. 124 (1) (1996)