Mika Cohen

According to our database1, Mika Cohen authored at least 15 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


MarioDAgger: A Time and Space Efficient Autonomous Driver.
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development.
Softw. Syst. Model., 2018

An experiment in ontology use for command and control interoperability.
Autom. Softw. Eng., 2015

Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases.
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.
Proceedings of the Advanced Information Systems Engineering Workshops, 2015

Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture.
Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014

Semantics for Mapping Relations in SKOS.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

First steps towards a context aware ontology-driven reporting system.
Proceedings of the I-SEMANTICS 2012 - 8th International Conference on Semantic Systems, 2012

Non-elementary speed up for model checking synchronous perfect recall.
Proceedings of the ECAI 2010, 2010

Model checking detectability of attacks in multiagent systems.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Automatic verification of temporal-epistemic properties of cryptographic protocols.
J. Appl. Non Class. Logics, 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
Proceedings of the IJCAI 2009, 2009

A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2009

Abstraction in model checking multi-agent systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A Complete Axiomatization of Knowledge and Cryptography.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007