Christian Haack

17 papers A 4B 2Journal 8Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Prometheus: An open-source neutrino telescope simulation. Comput. Phys. Commun. Jeffrey Lazar, Stephan Meighen-Berger, Christian Haack, David Kim, Santiago Giner, Carlos A. Argüelles
2021	J	`jnl`	The impact of digital contact tracing on the SARS-CoV-2 pandemic - a comprehensive modelling study. EPJ Data Sci. 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
2020	J	`jnl`	Digital Contact Tracing Service: An improved decentralized design for privacy and effectiveness. CoRR 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
2015	J	`jnl`	Permission-Based Separation Logic for Multithreaded Java Programs. Log. Methods Comput. Sci. Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
2009	J	`jnl`	Resource Usage Protocols for Iterators. J. Object Technol. Christian Haack, Clément Hurlin
2009	A	`conf`	Type-Based Object Immutability with Flexible Initialization. ECOOP Christian Haack, Erik Poll
2008	B	`conf`	Reasoning about Java's Reentrant Locks. APLAS Christian Haack, Marieke Huisman, Clément Hurlin
2008	—	`conf`	Separation Logic Contracts for a Java-Like Language with Fork/Join. AMAST Christian Haack, Clément Hurlin
2007	A	`conf`	Immutable Objects for a Java-Like Language. ESOP Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
2006	J	`jnl`	Pattern-matching spi-calculus. Inf. Comput. Christian Haack, Alan Jeffrey
2005	B	`conf`	Timed Spi-Calculus with Types for Secrecy and Authenticity. CONCUR Christian Haack, Alan Jeffrey
2004	—	`conf`	Pattern-Matching Spi-Calculus. Formal Aspects in Security and Trust Christian Haack, Alan Jeffrey
2004	J	`jnl`	Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. Christian Haack, Joe B. Wells
2003	A	`conf`	Type Error Slicing in Implicitly Typed Higher-Order Languages. ESOP Christian Haack, Joe B. Wells
2002	A	`conf`	Branching Types. ESOP Joe B. Wells, Christian Haack
2002	—	`conf`	Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells
1996	J	`jnl`	A Decomposition Theorem for Domains. Inf. Comput. Christian Haack