The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kai Engelhardt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kai Engelhardt, Ron van der Meyden, Kaile Su
    Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:9-30 [Conf]
  2. Kai Engelhardt, Willem P. de Roever
    Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:294-313 [Conf]
  3. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    A Program Refinement Framework Supporting Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:114-129 [Conf]
  4. Kai Engelhardt, Yoram Moses
    Single-Bit Messages Are Insufficient in the Presence of Duplication. [Citation Graph (0, 0)][DBLP]
    IWDC, 2005, pp:25-31 [Conf]
  5. Kai Engelhardt, Yoram Moses
    Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. [Citation Graph (0, 0)][DBLP]
    IWDC, 2005, pp:32-44 [Conf]
  6. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    A Refinement Theory that Supports Reasoning About Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:125-141 [Conf]
  7. Kai Engelhardt, Willem P. de Roever
    Simulation of Specification Statements in Hoare Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:324-335 [Conf]
  8. Kai Engelhardt, Ron van der Meyden, Yoram Moses
    Knowledge and the Logic of Local Propositions. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:29-41 [Conf]
  9. Kai Engelhardt, Yoram Moses
    Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. [Citation Graph (0, 0)][DBLP]
    DISC, 2005, pp:229-243 [Conf]
  10. Kai Engelhardt
    Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  11. Kai Engelhardt, Willem P. de Roever
    Towards a Practitioners' Approach to Abadi and Lamport's Method. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:550-575 [Journal]
  12. Kai Engelhardt, Peter Gammie, Ron van der Meyden
    Model Checking Knowledge and Linear Time: PSPACE Cases. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:195-211 [Conf]
  13. Kai Engelhardt, Yoram Moses
    Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  14. Smaller Abstractions for FOR ALL CTL* without Next. [Citation Graph (, )][DBLP]


  15. seL4: formal verification of an OS kernel. [Citation Graph (, )][DBLP]


  16. seL4: formal verification of an operating-system kernel. [Citation Graph (, )][DBLP]


  17. Causing communication closure: safe program composition with reliable non-FIFO channels. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002