Christian Haack

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Permission-based separation logic for multithreaded Java programs Logical Methods in Computer Science	2015-03-11	Paper
Separation Logic Contracts for a Java-Like Language with Fork/Join Algebraic Methodology and Software Technology	2009-01-27	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
Pattern-matching spi-calculus Information and Computation	2006-08-17	Paper
Type error slicing in implicitly typed higher-order languages Science of Computer Programming	2004-11-22	Paper
scientific article; zbMATH DE number 2087541 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1956560 (Why is no real title available?)	2003-07-30	Paper
ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik	1999-11-07	Paper
scientific article; zbMATH DE number 1101573 (Why is no real title available?)	1998-01-07	Paper
scientific article; zbMATH DE number 970336 (Why is no real title available?)	1997-03-11	Paper
A decomposition theorem for domains Information and Computation	1996-03-27	Paper
scientific article; zbMATH DE number 641550 (Why is no real title available?)	1995-10-29	Paper
scientific article; zbMATH DE number 66205 (Why is no real title available?)	1992-09-27	Paper

Research outcomes over time

This page was built for person: Christian Haack