Skip to content
cs-conference-ranking.org

Mika Cohen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

2007–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025ICMLAAnti-Submarine Warfare Planning Using Public Belief States and Self-Play.Christoffer Limr, Joel Brynielsson, Mika Cohen, Felix Rydell
2020ICMLAMarioDAgger: A Time and Space Efficient Autonomous Driver.Farzad Kamrani, Andreas Elers, Mika Cohen, Amir Hossein Payberah
2015CaiSEEnterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration.Mika Cohen, Michael Minock, Daniel Oskarsson, Bjrn Pelzer
2015EDBTNatural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases.Michael Minock, Daniel Oskarsson, Bjrn Pelzer, Mika Cohen
2010ECAINon-elementary speed up for model checking synchronous perfect recall.Mika Cohen, Alessio Lomuscio
2009ATVAA Data Symmetry Reduction Technique for Temporal-epistemic Logic.Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009IJCAIA Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2007LICSA Complete Axiomatization of Knowledge and Cryptography.Mika Cohen, Mads Dam