Mika Cohen

According to our database, Mika Cohen authored at least 17 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Comparison of Strategies for Honeypot Deployment.

Joel Brynielsson, Mika Cohen, Patrik Hansen, Samuel Lavebrink, Madeleine Lindström, Edward Tjörnhammar

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2023

2020

MarioDAgger: A Time and Space Efficient Autonomous Driver.

Farzad Kamrani, Andreas Elers, Mika Cohen, Amir Hossein Payberah

Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

2018

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

2015

An experiment in ontology use for command and control interoperability.

Mika Cohen, Ulrik Franke

Autom. Softw. Eng., 2015

Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases.

Michael Minock, Daniel Oskarsson, Björn Pelzer, Mika Cohen

Proceedings of the 18th International Conference on Extending Database Technology, 2015

Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration.

Mika Cohen, Michael Minock, Daniel Oskarsson, Björn Pelzer

Proceedings of the Advanced Information Systems Engineering Workshops, 2015

2014

Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture.

Mika Cohen

Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014

2013

Semantics for Mapping Relations in SKOS.

Mika Cohen

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2012

First steps towards a context aware ontology-driven reporting system.

Mika Cohen, Andreas Horndahl, Christian Mårtenson

Proceedings of the I-SEMANTICS 2012 - 8th International Conference on Semantic Systems, 2012

2010

Non-elementary speed up for model checking synchronous perfect recall.

Mika Cohen, Alessio Lomuscio

Proceedings of the ECAI 2010, 2010

Model checking detectability of attacks in multiagent systems.

Ioana Boureanu, Mika Cohen, Alessio Lomuscio

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Automatic verification of temporal-epistemic properties of cryptographic protocols.

Ioana Boureanu, Mika Cohen, Alessio Lomuscio

J. Appl. Non Class. Logics, 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Proceedings of the IJCAI 2009, 2009

A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Proceedings of the Automated Technology for Verification and Analysis, 2009

Abstraction in model checking multi-agent systems.

Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2007

Logics of Knowledge and Cryptography : Completeness and Expressiveness.

Mika Cohen

PhD thesis, 2007

A Complete Axiomatization of Knowledge and Cryptography.

Mika Cohen, Mads Dam

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007