Joëlle Cohen - Concepedia

Author

Joëlle Cohen

Also Known As

J.E. Cohen, Joëlle Cohen

Publications

117

Citations

H-Index

Concepts

All Affiliations

Joëlle Cohen is an author at University of Insubria specializing in engineering, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	117
2	Computer Science	3	3	117
3	Data Security	2	2	28
4	Information Security	2	2	28
5	Systems Engineering	1	1	15

Joëlle Cohen

Publications

117

Citations

H-Index

Page 1

	Year	Citations
On the expressive power of temporal logic Joëlle Cohen, Dominique Perrin, Jean-Éric Pin Journal of Computer and System Sciences EngineeringAutomated ReasoningDynamic LogicFormal MethodsComputer Science	1993	89
Security Policies Enforcement Using Finite Edit Automata Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte Electronic Notes in Theoretical Computer Science EngineeringInformation SecurityVerificationPushdown AutomatonFinite Edit Automaton	2009	15
Security policies enforcement using finite and pushdown edit automata Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte International Journal of Information Security EngineeringInformation SecurityFormal MethodsSecurityPushdown Automaton	2013	13

Page 1