Julien Cohen

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Venues

CoRR

SAC

VPT@ETAPS

EUROMICRO-SEAA

University of Évry Val d'Essonne, France (PHD)

Education History

University of Évry Val d'Essonne, France

PHD

Publications

Julien Cohen
Renaming Global Variables in C Mechanically Proved Correct. VPT@ETAPS (2016)
Akram Ajouli, Julien Cohen, Jean-Claude Royer
Transformations between Composite and Visitor Implementations in Java. EUROMICRO-SEAA (2013)
Akram Ajouli, Julien Cohen, Jean-Claude Royer
Transformations between Composite and Visitor implementations in Java. CoRR (2013)
Julien Cohen, Akram Ajouli
Practical use of static composition of refactoring operations. SAC (2013)
Julien Cohen, Rémi Douence, Akram Ajouli
Invertible Program Restructurings for Continuing Modular Maintenance. CSMR (2012)
Julien Cohen, Rémi Douence, Akram Ajouli
Invertible Program Restructurings for Continuing Modular Maintenance CoRR (2012)
Akram Ajouli, Julien Cohen
Refactoring Composite to Visitor and Inverse Transformation in Java CoRR (2011)
Julien Cohen, Rémi Douence
Views, Program Transformations, and the Evolutivity Problem CoRR (2010)
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
Variable elimination for building interpreters CoRR (2010)
Julien Cohen
Typing rule-based transformations over topological collections CoRR (2009)
Julien Cohen
A class of structured P2P systems supporting browsing CoRR (2009)
Julien Cohen
Typage fort et typage souple des collections topologiques et des transformations CoRR (2009)
Julien Cohen
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs. Tech. Sci. Informatiques 26 (9) (2007)
Julien Cohen
Typage des collections topologiques hétérogènes et des transformations. Tech. Sci. Informatiques 24 (9) (2005)
Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher
Computations in Space and Space in Computations. UPP (2004)
Julien Cohen, Olivier Michel, Jean-Louis Giavitto
Filtrage et règles de réécriture sur des structures indexées par des groupes. JFLA (2003)
Julien Cohen
Typing rule-based transformations over topological collections. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
Pattern-matching and rewriting rules for group indexed data structures. ACM SIGPLAN Notices 37 (12) (2002)
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
Accretive Rules in Cayley P Systems. WMC-CdeA (2002)

Julien Cohen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Cohen