| * | 2009 |
|---|
| 4 | EE | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Francesco Russo:
Abstraction in model checking multi-agent systems.
AAMAS (2) 2009: 945-952 |
| 3 | EE | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
ATVA 2009: 69-83 |
| 2 | EE | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
IJCAI 2009: 721-726 |
| 2007 |
|---|
| 1 | EE | Mika Cohen,
Mads Dam:
A Complete Axiomatization of Knowledge and Cryptography.
LICS 2007: 77-88 |
