Julien Cohen

According to our database, Julien Cohen authored at least 18 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automated Proof Tactics for Model Transformation.

Julien Cohen, Massimo Tisi, Rémi Douence

J. Object Technol., 2024

2016

Renaming Global Variables in C Mechanically Proved Correct.

Julien Cohen

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

2013

Practical use of static composition of refactoring operations.

Julien Cohen, Akram Ajouli

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Transformations between Composite and Visitor Implementations in Java.

Akram Ajouli, Julien Cohen, Jean-Claude Royer

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Invertible Program Restructurings for Continuing Modular Maintenance.

Julien Cohen, Rémi Douence, Akram Ajouli

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Refactoring Composite to Visitor and Inverse Transformation in Java

Akram Ajouli, Julien Cohen

CoRR, 2011

2010

Variable elimination for building interpreters

Julien Cohen, Jean-Louis Giavitto, Olivier Michel

CoRR, 2010

Views, Program Transformations, and the Evolutivity Problem

Julien Cohen, Rémi Douence

CoRR, 2010

2009

Typage fort et typage souple des collections topologiques et des transformations

Julien Cohen

CoRR, 2009

A class of structured P2P systems supporting browsing

Julien Cohen

CoRR, 2009

2007

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs.

Julien Cohen

Tech. Sci. Informatiques, 2007

2005

Typage des collections topologiques hétérogènes et des transformations.

Julien Cohen

Tech. Sci. Informatiques, 2005

2004

Intégration des collections topologiques et des transformations dans un langage fonctionnel. (Integration of topological collections and transformations into a functional language).

Julien Cohen

PhD thesis, 2004

Computations in Space and Space in Computations.

Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher

Proceedings of the Unconventional Programming Paradigms, 2004

2003

Typing rule-based transformations over topological collections.

Julien Cohen

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Filtrage et règles de réécriture sur des structures indexées par des groupes.

Julien Cohen, Olivier Michel, Jean-Louis Giavitto

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2002

Pattern-matching and rewriting rules for group indexed data structures.

Jean-Louis Giavitto, Olivier Michel, Julien Cohen

ACM SIGPLAN Notices, 2002

Accretive Rules in Cayley P Systems.

Jean-Louis Giavitto, Olivier Michel, Julien Cohen

Proceedings of the Membrane Computing, International Workshop, 2002