dblp.uni-trier.dewww.uni-trier.de

Kai Engelhardt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15EEKai Engelhardt, Yoram Moses: Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
2007
14EEKai Engelhardt, Peter Gammie, Ron van der Meyden: Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211
13EEKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR abs/cs/0701064: (2007)
2005
12EEKai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
11EEKai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
10EEKai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
2002
9 Kai Engelhardt, Ron van der Meyden, Kaile Su: Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic 2002: 9-30
8EEKai Engelhardt: Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
7EEKai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
2000
6EEKai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
1998
5 Willem P. de Roever, Kai Engelhardt: Data Refinement: Model-oriented Proof Theories and their Comparison Cambridge University Press 1998
4 Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
1996
3 Kai Engelhardt, Willem P. de Roever: Simulation of Specification Statements in Hoare Logic. MFCS 1996: 324-335
1995
2 Kai Engelhardt, Willem P. de Roever: Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Asp. Comput. 7(5): 550-575 (1995)
1993
1 Kai Engelhardt, Willem P. de Roever: Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME 1993: 294-313

Coauthor Index

1Peter Gammie [14]
2Ron van der Meyden [4] [6] [7] [9] [14]
3Yoram Moses [4] [6] [7] [10] [11] [12] [13] [15]
4Willem P. de Roever [1] [2] [3] [5]
5Kaile Su [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)