A Complete Axiomatization of Knowledge and Cryptography. - Mika Cohen; Mads Dam (LICS, 2007)

Logics of Knowledge and Cryptography : Completeness and Expressiveness. - Mika Cohen (2007)

Abstraction in model checking multi-agent systems. - Mika Cohen; Mads Dam; Alessio Lomuscio; Francesco Russo 003 (AAMAS (2), 2009)

A Data Symmetry Reduction Technique for Temporal-epistemic Logic. - Mika Cohen; Mads Dam; Alessio Lomuscio; Hongyang Qu 001 (ATVA, 2009)

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. - Mika Cohen; Mads Dam; Alessio Lomuscio; Hongyang Qu 001 (IJCAI, 2009)

Automatic verification of temporal-epistemic properties of cryptographic protocols. - Ioana Boureanu; Mika Cohen; Alessio Lomuscio (J. Appl. Non Class. Logics, 2009)

Model checking detectability of attacks in multiagent systems. - Ioana Boureanu; Mika Cohen; Alessio Lomuscio (AAMAS, 2010)

Non-elementary speed up for model checking synchronous perfect recall. - Mika Cohen; Alessio Lomuscio (ECAI, 2010)

First steps towards a context aware ontology-driven reporting system. - Mika Cohen; Andreas Horndahl; Christian Mårtenson (I-SEMANTICS, 2012)

Semantics for Mapping Relations in SKOS. - Mika Cohen (RR, 2013)

Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture. - Mika Cohen (PoEM, 2014)

Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration. - Mika Cohen; Michael Minock; Daniel Oskarsson; Björn Pelzer (CAiSE Workshops, 2015)

Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases. - Michael Minock; Daniel Oskarsson; Björn Pelzer; Mika Cohen (EDBT, 2015)

An experiment in ontology use for command and control interoperability. - Mika Cohen; Ulrik Franke (Autom. Softw. Eng., 2015)

What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development. - Ulrik Franke; Mika Cohen; Johan Sigholm (Softw. Syst. Model., 2018)

MarioDAgger: A Time and Space Efficient Autonomous Driver. - Farzad Kamrani; Andreas Elers; Mika Cohen; Amir Hossein Payberah (ICMLA, 2020)

Comparison of Strategies for Honeypot Deployment. - Joel Brynielsson; Mika Cohen; Patrik Hansen; Samuel Lavebrink; Madeleine Lindström; Edward Tjörnhammar (ASONAM, 2023)