Cohen, Mika
176  results:
Search for persons X
?
1

Comparison of Strategies for Honeypot Deployment:

, In: Proceedings of the 2023 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
Brynielsson, Joel ; Cohen, Mika ; Hansen, Patrik... - p. 611-618 , 2023
 
?
 
?
4

An experiment in ontology use for command and control inter..:

Cohen, Mika ; Franke, Ulrik
Automated Software Engineering.  22 (2014)  2 - p. 145-157 , 2014
 
?
5

First steps towards a context aware ontology-driven reporti..:

, In: Proceedings of the 8th International Conference on Semantic Systems,
 
?
6

Model checking detectability of attacks in multiagent syste..:

, In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1,
 
?
7

Automatic verification of temporal-epistemic properties of ..:

Boureanu, Ioana ; Cohen, Mika ; Lomuscio, Alessio
Journal of Applied Non-Classical Logics.  19 (2009)  4 - p. 463-487 , 2009
 
?
8

Interactives and Visitor Learning:

Falk, John H. ; Scott, Carol ; Dierking, Lynn..
Curator: The Museum Journal.  47 (2004)  2 - p. 171-198 , 2004
 
?
9

Natural Language Specification and Violation Reporting of B..:

Cohen, Mika ; Minock, Michael ; Oskarsson, Daniel.
Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, p. 541-544.  , 2015
 
?
10

Natural Language Specification and Violation Reporting of B..:

Minock, Michael ; Cohen, Mika ; Oskarsson, Daniel.
Advances in Database Technology - EDBT 2015, 18th International Conference on Extending Database Technology, Brussels, Belgium, March 23-27, Proceedings, p. 541-544.  , 2015
 
?
11

Simulation Preorder Semantics for Traceability Relations in..:

Cohen, Mika
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-45501-2_8.  , 2014
 
?
12

Simulation Preorder Semantics for Traceability Relations in..:

Cohen, Mika
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-45501-2_8.  , 2014
 
1-15