Get started
Author

Mika Cohen

Observed names: Cohen Mika, Cohen, Mika
ORCID: 0009-0004-3863-5201
Observed ORCID: 0009-0004-3863-5201
OpenAlex ID: A5014572820
A Complete Axiomatization of Knowledge and Cryptography
2007 · Mika Cohen, Mads Dam · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 38
A symmetry reduction technique for model checking temporal-epistemic logic
2009 · Cohen, Mika, Dam, Mads, et al. · 29
Logical Omniscience in the Semantics of BAN Logics
2003 · Mika Cohen, Mads Dam · 24
Automatic verification of temporal-epistemic properties of cryptographic protocols
2009 · Ioana Boureanu, Mika Cohen, et al. · Journal of Applied Non-Classical Logics · 22
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
2009 · Mika Cohen, Mads Dam, et al. · Lecture notes in computer science · 12
What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development
2016 · Ulrik Franke, Mika Cohen, et al. · Software & Systems Modeling · 7
Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols
2009 · Ioana Boureanu, Mika Cohen, et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 6
PDF
Comparison of Strategies for Honeypot Deployment
2023 · Joel Brynielsson, Mika Cohen, et al. · IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) · 4
PDF
Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases
2015 · Minock, Michael, Oskarsson, Daniel, et al. · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 4
Semantics for Mapping Relations in SKOS
2013 · Mika Cohen · Lecture notes in computer science · 3
Logics of Knowledge and Cryptography : Completeness and Expressiveness
2007 · Mika Cohen · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 3
Reinforcement Learning for decision support in defense and security: A systematic review
2026 · Maarten P. D. Schadd, David S. Berman, et al. · Annals of Operations Research · 2
PDF
Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration
2015 · Mika Cohen, Michael Minock, et al. · Lecture notes in business information processing · 2
First steps towards a context aware ontology-driven reporting system
2012 · Mika Cohen, Andreas Horndahl, et al. · International Conference on Semantic Systems · 2
The Cost of Uncertainty in Self-Play Reinforcement Learning and Search
2025 · Marcus Oscarsson, Joel Brynielsson, et al. · IEEE International Conference on Intelligence and Security Informatics (ISI) · 1
Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture
2014 · Mika Cohen · Lecture notes in business information processing · 1
Reinforcement Learning for decision support in defense and security. A systematic review
2026 · Schadd, Maarten, Berman, David, et al. · Annals of Operations Research
Strategic Steering of Large Language Models via Game-Theoretic Action Space Optimization
2026 · Samuel Lavebrink, Joel Brynielsson, et al. · Lecture notes in computer science
PDF
Outsmarting Willful-Thinking Opponents: Bayesian Belief Revision for Adversarial Reasoning in Large Language Models
2026 · Madeleine Lindström, Joel Brynielsson, et al. · Lecture notes in computer science
PDF
Context Relay for Long-Running Penetration-Testing Agents
2026 · Marius Vangeli, Joel Brynielsson, et al.
PDF
Anti-Submarine Warfare Planning Using Public Belief States and Self-Play
2025 · Christoffer Limér, Joel Brynielsson, et al. · International Conference on Machine Learning and Applications
Exploratory Wargaming with a “Superhuman” Tactician in the Team : A Controlled Experiment
2025 · Bell, Nicholas, Brynielsson, Joel, et al. · Diva portal (Dalarna University Library)
PDF
MarioDAgger: A Time and Space Efficient Autonomous Driver
2020 · Farzad Kamrani, Andreas Elers, et al. · International Conference on Machine Learning and Applications
An experiment in ontology use for command and control interoperability
2014 · Mika Cohen, Ulrik Franke · Automated Software Engineering
Non-elementary speed up for model checking synchronous perfect recall
2010 · Cohen Mika, Lomuscio Alessio · Frontiers in artificial intelligence and applications
Works count: 41
Citation count: 171
H-index: 6
I10-index: 5
Year
Topic
Type