Kai Engelhardt

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
A better composition operator for quantitative information flow analyses	2022-08-25	Paper
Causing communication closure: safe program composition with reliable non-FIFO channels Distributed Computing	2013-06-28	Paper
A refinement theory that supports reasoning about knowledge and time for synchronous agents Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Single-bit messages are insufficient for data link over duplicating channels Information Processing Letters	2010-04-19	Paper
Smaller Abstractions for ∀CTL* without Next Concurrency, Compositionality, and Correctness	2010-03-09	Paper
Data Refinement	2009-01-06	Paper
Model Checking Knowledge and Linear Time: PSPACE Cases Logical Foundations of Computer Science	2008-01-04	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
Distributed Computing – IWDC 2005 Lecture Notes in Computer Science	2006-10-10	Paper
Distributed Computing – IWDC 2005 Lecture Notes in Computer Science	2006-10-10	Paper
scientific article; zbMATH DE number 2196583 (Why is no real title available?)	2005-08-22	Paper
scientific article; zbMATH DE number 1512613 (Why is no real title available?)	2000-10-03	Paper
Data Refinement	1999-11-24	Paper

Research outcomes over time

This page was built for person: Kai Engelhardt