Christian Haack

According to our database, Christian Haack authored at least 15 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2021

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, Matthias Neumair, Uljana Apel, Augustine Okolie

EPJ Data Sci., 2021

2020

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, 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

CoRR, 2020

2015

Permission-Based Separation Logic for Multithreaded Java Programs.

Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin

Log. Methods Comput. Sci., 2015

2009

Resource Usage Protocols for Iterators.

Christian Haack, Clément Hurlin

J. Object Technol., 2009

Type-Based Object Immutability with Flexible Initialization.

Christian Haack, Erik Poll

Proceedings of the ECOOP 2009, 2009

2008

Reasoning about Java's Reentrant Locks.

Christian Haack, Marieke Huisman, Clément Hurlin

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Separation Logic Contracts for a Java-Like Language with Fork/Join.

Christian Haack, Clément Hurlin

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Immutable Objects for a Java-Like Language.

Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert

Proceedings of the Programming Languages and Systems, 2007

2006

Pattern-matching spi-calculus.

Christian Haack, Alan Jeffrey

Inf. Comput., 2006

2005

Timed Spi-Calculus with Types for Secrecy and Authenticity.

Christian Haack, Alan Jeffrey

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Type error slicing in implicitly typed higher-order languages.

Christian Haack, Joe B. Wells

Sci. Comput. Program., 2004

2002

Branching Types.

Joe B. Wells, Christian Haack

Proceedings of the Programming Languages and Systems, 2002

Fully Automatic Adaptation of Software Components Based on Semantic Specifications.

Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells

Proceedings of the Algebraic Methodology and Software Technology, 2002

1996

A Decomposition Theorem for Domains.

Christian Haack

Inf. Comput., 1996