Computations in space and space in computations JL Giavitto, O Michel, J Cohen, A Spicher Unconventional Programming Paradigms, 97-97, 2005 | 68 | 2005 |
Pattern-matching and rewriting rules for group indexed data structures JL Giavitto, O Michel, J Cohen ACM SIGPLAN Notices 37 (12), 76-87, 2002 | 27 | 2002 |
Intégration des collections topologiques et des transformations dans un langage fonctionnel J Cohen Université d'Evry-Val d'Essonne, 2004 | 20 | 2004 |
Invertible Program Restructurings for Continuing Modular Maintenance J Cohen, R Douence, A Ajouli Software Maintenance and Reengineering (CSMR), 2012 16th European Conference …, 2012 | 14 | 2012 |
Accretive rules in Cayley P systems JL Giavitto, O Michel, J Cohen Lecture notes in computer science 2597, 319-338, 2003 | 13 | 2003 |
Typing rule-based transformations over topological collections J Cohen Electronic Notes in Theoretical Computer Science 86 (2), 61-76, 2003 | 12 | 2003 |
MGS: transformer des collections complexes pour la simulation en biologie O Michel, JL Giavitto, J Cohen Journées Francophones des Langages Applicatifs (JFLA’02), Anglet (France), 2002 | 12 | 2002 |
Transformations between Composite and Visitor implementations in Java A Ajouli, J Cohen, JC Royer Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO …, 2013 | 11 | 2013 |
Renaming Global Variables in C Mechanically Proved Correct J Cohen Fourth International Workshop on Verification and Program Transformation, 2016 | 9 | 2016 |
Practical use of static composition of refactoring operations J Cohen, A Ajouli Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1700-1705, 2013 | 9 | 2013 |
Refactoring Composite to Visitor and Inverse Transformation in Java A Ajouli, J Cohen arXiv preprint arXiv:1112.4271, 2011 | 7 | 2011 |
Une présentation du langage MGS (tutoriel) JL Giavitto, O Michel, J Cohen Technical Report LaMI-84-2002, LaMI, 2002 | 7 | 2002 |
Typage fort et typage souple des collections topologiques et des transformations J Cohen arXiv preprint arXiv:0912.4878, 2009 | 6 | 2009 |
Interprétation par SK-traduction et syntaxe abstraite d’ordre supérieur J Cohen Journées Francophones des Langages Applicatifs (JFLA 2005), 17-34, 2005 | 6 | 2005 |
Views, Program Transformations, and the Evolutivity Problem in a Functional Language J Cohen, R Douence arXiv preprint arXiv:1005.1213, 2010 | 5* | 2010 |
Typage des collections topologiques hétérogènes et des transformations J Cohen TECHNIQUE ET SCIENCE INFORMATIQUES 24 (9), 1081, 2005 | 4 | 2005 |
Filtrage et règles de réécriture sur des structures indexées par des groupes. J Cohen, O Michel, JL Giavitto JFLA, 77-92, 2003 | 4 | 2003 |
A Correct Refactoring Operation to Rename Global Variables in C Programs J Cohen https://hal.archives-ouvertes.fr/hal-01248121, 2015 | 1 | 2015 |
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs J Cohen TSI-Technique et Science Informatiques 26 (9), 1137-1168, 2007 | 1 | 2007 |
Program Transformation based Views for Modular Maintenance (poster) A Ajouli, J Cohen, R Douence Actes des troisièmes journées nationales du Groupement De Recherche CNRS du …, 2011 | | 2011 |