"Security Policies Enforcement Using Finite and pushdown Edit Automata", D.Beauquier, J. Cohen and R.Lanotte
International Journal of Information Security, volume 12, Issue 4, pages 319-336, August 2013.

"Security Policies Enforcement Using Finite Edit Automata", D.Beauquier, J. Cohen and R.Lanotte
Electronic Notes in Theoretical Computer Science, volume 229, pages 19-35, July 2009,
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008)

"Stability of Real-Time Abstract State Machines under Desynchronization", J.Cohen, A.Slissenko
Proc. of the First Int. Conference on Abstract State Machines, B and Z (ABZ2008), September 2008,Volume 5238, LNCS

"Implementation of Sturdy Real-Time Abstract State Machines by Machines with Delays", J.Cohen, A.Slissenko,
Proc. of the 6th Intern. Conf. on Computer Science and Information Technology (CSIT'2007), September 24--28, 2007, Yerevan, Armenia.
Organized by National Academy of Science of Armenia in cooperation with Test Technology Technical Council of IEEE Computer Society, 2008. National Academy of Science of Armenia. Note: 8 pages.

"On implementation of instantaneous actions real-time Abstract State Machines by machines with delays", J.Cohen, A.Slissenko,
Proc. of the 6th Intern. Conf. on Computer Science and Information Technology (CSIT'2005),
Organized by National Academy of Science of Armenia in cooperation with Test Technology Technical Council of IEEE Computer Society, 2008. National Academy of Science of Armenia, pages 48-53

"On implementations of instantaneous actions real-time ASM by ASM with delays", J.Cohen, A.Slissenko,
Proc. of the 12th Intern. Workshop on Abstract State Machines (ASM'2005), March 8-11, 2005, Paris, France, pages 387-396

"On implementations of distributed real-time abstract state machines", J.Cohen, A.Slissenko,
Proc. of the 6th Intern. Conf. on Computer Science and Information Technology (CSIT'2003),
Organized by National Academy of Science of Armenia in cooperation with Test Technology Technical Council of IEEE Computer Society, 2008. National Academy of Science of Armenia, pages 58-62

"On Refinements of Timed Abstract State Machines", J.Cohen et A.Slissenko
Formal Methods and Tools for Computer Science, EUROCAST~2001,
Extended Abstracts, 2001 IUCTC Universidad de Las Palmas de Gran Canaria, ISBN 84-699-3971-8, pages 247-250.


"On Verification of refinements of Timed Distributed Algorithms" co-auteur A.Slissenko
Proc. of the Intern. Worshop on Abstract State Machines (ASM'2000), March 20-24, 2000, Switzerland, Monte Verità, Ticino
Lect.notes in Comput. Sci., vol. 1912, pages 34-49. Springer-Verlag, 2000.

"From Timed Automata to Timed Abstract State Machines 1999" co-auteur D.Beauquier
Proc. of 2nd International Conference on Computer Science and Information Technologies CSIT'99 p 18-23, 1999.

"On the expressive power of temporal logic" , J.Cohen, D.Perrin, J.E.Pin JCSS volume 46, p 271-294, 1993.

"On the expressive power of temporal logic on infinite words", J.Cohen
TCS volume 83 p 301-312, 1991.

Thèse : Etude algébrique de la logique temporelle (1989)