Search the dblp DataBase

Publications of Author

1. Mika Cohen, Mads Dam
   A Complete Axiomatization of Knowledge and Cryptography. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:77-88 [Conf]
   
2. 
   Abstraction in model checking multi-agent systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Model checking detectability of attacks in multiagent systems. [Citation Graph (, )][DBLP]
   
   
4. 
   A Data Symmetry Reduction Technique for Temporal-epistemic Logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Non-elementary speed up for model checking synchronous perfect recall. [Citation Graph (, )][DBLP]
   
   
6. 
   A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. [Citation Graph (, )][DBLP]