Accretive Rules in Cayley P Systems. - Jean-Louis Giavitto; Olivier Michel 001; Julien Cohen (WMC-CdeA, 2002)

Pattern-matching and rewriting rules for group indexed data structures. - Jean-Louis Giavitto; Olivier Michel 001; Julien Cohen (ACM SIGPLAN Notices, 2002)

Filtrage et règles de réécriture sur des structures indexées par des groupes. - Julien Cohen; Olivier Michel 001; Jean-Louis Giavitto (JFLA, 2003)

Typing rule-based transformations over topological collections. - Julien Cohen (RULE@RDP, 2003)

Computations in Space and Space in Computations. - Jean-Louis Giavitto; Olivier Michel 001; Julien Cohen; Antoine Spicher (UPP, 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 (2004)

Typage des collections topologiques hétérogènes et des transformations. - Julien Cohen (Tech. Sci. Informatiques, 2005)

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs. - Julien Cohen (Tech. Sci. Informatiques, 2007)

A class of structured P2P systems supporting browsing - Julien Cohen (CoRR, 2009)

Typage fort et typage souple des collections topologiques et des transformations - Julien Cohen (CoRR, 2009)

Views, Program Transformations, and the Evolutivity Problem - Julien Cohen; Rémi Douence (CoRR, 2010)

Variable elimination for building interpreters - Julien Cohen; Jean-Louis Giavitto; Olivier Michel 001 (CoRR, 2010)

Refactoring Composite to Visitor and Inverse Transformation in Java - Akram Ajouli; Julien Cohen (CoRR, 2011)

Invertible Program Restructurings for Continuing Modular Maintenance. - Julien Cohen; Rémi Douence; Akram Ajouli (CSMR, 2012)

Transformations between Composite and Visitor Implementations in Java. - Akram Ajouli; Julien Cohen; Jean-Claude Royer (EUROMICRO-SEAA, 2013)

Practical use of static composition of refactoring operations. - Julien Cohen; Akram Ajouli (SAC, 2013)

Renaming Global Variables in C Mechanically Proved Correct. - Julien Cohen (VPT@ETAPS, 2016)

Automated Proof Tactics for Model Transformation. - Julien Cohen; Massimo Tisi; Rémi Douence (J. Object Technol., 2024)