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

This page was built for person: Kai Engelhardt