 | 2010 |
|---|
| 7 |       | Ioana Boureanu,
Mika Cohen,
Alessio Lomuscio:
Model checking detectability of attacks in multiagent systems.
AAMAS 2010: 691-698 |
| 6 | | Mika Cohen,
Alessio Lomuscio:
Non-elementary speed up for model checking synchronous perfect recall.
ECAI 2010: 1077-1078 |
| 2009 |
|---|
| 5 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Francesco Russo:
Abstraction in model checking multi-agent systems.
AAMAS (2) 2009: 945-952 |
| 4 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
ATVA 2009: 69-83 |
| 3 | | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Hongyang Qu:
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
IJCAI 2009: 721-726 |
| 2 | | Ioana Boureanu,
Mika Cohen,
Alessio Lomuscio:
Automatic verification of temporal-epistemic properties of cryptographic protocols.
Journal of Applied Non-Classical Logics 19(4): 463-487 (2009) |
| 2007 |
|---|
| 1 | | Mika Cohen,
Mads Dam:
A Complete Axiomatization of Knowledge and Cryptography.
LICS 2007: 77-88 |
Data released under the ODC-BY 1.0 license — See also our legal information page