| 2008 |
|---|
| 11 | EE | Christian Haack,
Clément Hurlin:
Separation Logic Contracts for a Java-Like Language with Fork/Join.
AMAST 2008: 199-215 |
| 10 | EE | Christian Haack,
Marieke Huisman,
Clément Hurlin:
Reasoning about Java's Reentrant Locks.
APLAS 2008: 171-187 |
| 2007 |
|---|
| 9 | EE | Christian Haack,
Erik Poll,
Jan Schäfer,
Aleksy Schubert:
Immutable Objects for a Java-Like Language.
ESOP 2007: 347-362 |
| 2006 |
|---|
| 8 | EE | Christian Haack,
Alan Jeffrey:
Pattern-matching spi-calculus.
Inf. Comput. 204(8): 1195-1263 (2006) |
| 2005 |
|---|
| 7 | EE | Christian Haack,
Alan Jeffrey:
Timed Spi-Calculus with Types for Secrecy and Authenticity.
CONCUR 2005: 202-216 |
| 2004 |
|---|
| 6 | EE | Christian Haack,
Alan Jeffrey:
Pattern-Matching Spi-Calculus.
Formal Aspects in Security and Trust 2004: 55-70 |
| 5 | EE | Christian Haack,
Joe B. Wells:
Type error slicing in implicitly typed higher-order languages.
Sci. Comput. Program. 50(1-3): 189-224 (2004) |
| 2003 |
|---|
| 4 | EE | Christian Haack,
J. B. Wells:
Type Error Slicing in Implicitly Typed Higher-Order Languages.
ESOP 2003: 284-301 |
| 2002 |
|---|
| 3 | EE | Christian Haack,
Brian Howard,
Allen Stoughton,
J. B. Wells:
Fully Automatic Adaptation of Software Components Based on Semantic Specifications.
AMAST 2002: 83-98 |
| 2 | EE | J. B. Wells,
Christian Haack:
Branching Types.
ESOP 2002: 115-132 |
| 1996 |
|---|
| 1 | | Christian Haack:
A Decomposition Theorem for Domains.
Inf. Comput. 124(1): 62-67 (1996) |
