Kai Engelhardt

Available identifiers

zbMath Open engelhardt.kaiMaRDI QIDQ963454

List of research outcomes

Publication	Date of Publication	Type
A better composition operator for quantitative information flow analyses	2022-08-25	Paper
Causing communication closure: safe program composition with reliable non-FIFO channels	2013-06-28	Paper
A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agents	2011-05-06	Paper
Single-bit messages are insufficient for data link over duplicating channels	2010-04-19	Paper
Smaller Abstractions for ∀CTL* without Next	2010-03-09	Paper
Data Refinement	2009-01-06	Paper
Model Checking Knowledge and Linear Time: PSPACE Cases	2008-01-04	Paper
Distributed Computing	2006-11-01	Paper
Distributed Computing – IWDC 2005	2006-10-10	Paper
Distributed Computing – IWDC 2005	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5465433	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4508297	2000-10-03	Paper
Data Refinement	1999-11-24	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: Kai Engelhardt