Christian Haack

Available identifiers

zbMath Open haack.christianMaRDI QIDQ1887737

List of research outcomes

Publication	Date of Publication	Type
Permission-Based Separation Logic for Multithreaded Java Programs	2015-03-11	Paper
Separation Logic Contracts for a Java-Like Language with Fork/Join	2009-01-27	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Pattern-matching spi-calculus	2006-08-17	Paper
Type error slicing in implicitly typed higher-order languages	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738350	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417900	2003-07-30	Paper
ICIAM/GAMM 95 Applied sciences, especially Mechanics Minisymposia Contributions	1999-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4370995	1998-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q5688485	1997-03-11	Paper
A decomposition theorem for domains	1996-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4306790	1995-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4010813	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Haack