- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j4 |      | Christian Haack, Clément Hurlin: Resource Usage Protocols for Iterators. Journal of Object Technology 8(4): 55-83 (2009) |
| c9 | | Christian Haack, Erik Poll: Type-Based Object Immutability with Flexible Initialization. ECOOP 2009: 520-545 |
| 2008 | ||
| c8 | | Christian Haack, Clément Hurlin: Separation Logic Contracts for a Java-Like Language with Fork/Join. AMAST 2008: 199-215 |
| c7 | | Christian Haack, Marieke Huisman, Clément Hurlin: Reasoning about Java's Reentrant Locks. APLAS 2008: 171-187 |
| 2007 | ||
| c6 | | Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert: Immutable Objects for a Java-Like Language. ESOP 2007: 347-362 |
| 2006 | ||
| j3 | | |
| 2005 | ||
| c5 | | Christian Haack, Alan Jeffrey: Timed Spi-Calculus with Types for Secrecy and Authenticity. CONCUR 2005: 202-216 |
| 2004 | ||
| j2 | | Christian Haack, Joe B. Wells: Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program. 50(1-3): 189-224 (2004) |
| c4 | | Christian Haack, Alan Jeffrey: Pattern-Matching Spi-Calculus. Formal Aspects in Security and Trust 2004: 55-70 |
| 2003 | ||
| c3 | | Christian Haack, Joe B. Wells: Type Error Slicing in Implicitly Typed Higher-Order Languages. ESOP 2003: 284-301 |
| 2002 | ||
| c2 | | Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells: Fully Automatic Adaptation of Software Components Based on Semantic Specifications. AMAST 2002: 83-98 |
| c1 | | |
| 1996 | ||
| j1 | | |
| 1 | Brian Howard | |
| 2 | Marieke Huisman | |
| 3 | Clément Hurlin | |
| 4 | Alan Jeffrey | |
| 5 | Erik Poll | |
| 6 | Aleksy Schubert | |
| 7 | Jan Schäfer (Jan Schaefer) | |
| 8 | Allen Stoughton | |
| 9 | Joe B. Wells |
Colors in the list of coauthors
Last update Sat May 18 22:59:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page