| 2008 |
|---|
| 15 | EE | Kai Engelhardt,
Yoram Moses:
Single-bit messages are insufficient for data link over duplicating channels.
Inf. Process. Lett. 107(6): 235-239 (2008) |
| 2007 |
|---|
| 14 | EE | Kai Engelhardt,
Peter Gammie,
Ron van der Meyden:
Model Checking Knowledge and Linear Time: PSPACE Cases.
LFCS 2007: 195-211 |
| 13 | EE | Kai Engelhardt,
Yoram Moses:
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels
CoRR abs/cs/0701064: (2007) |
| 2005 |
|---|
| 12 | EE | Kai Engelhardt,
Yoram Moses:
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.
DISC 2005: 229-243 |
| 11 | EE | Kai Engelhardt,
Yoram Moses:
Single-Bit Messages Are Insufficient in the Presence of Duplication.
IWDC 2005: 25-31 |
| 10 | EE | Kai 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 |
| 8 | EE | Kai Engelhardt:
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 7 | EE | Kai Engelhardt,
Ron van der Meyden,
Yoram Moses:
A Refinement Theory that Supports Reasoning About Knowledge and Time.
LPAR 2001: 125-141 |
| 2000 |
|---|
| 6 | EE | Kai 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 |
