| AGREE–algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro International Conference on Graph Transformation, 35-51, 2015 | 46 | 2015 |
| Security policy in a declarative style R Echahed, F Prost Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 38 | 2005 |
| The PBPO graph transformation approach A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Journal of Logical and Algebraic Methods in Programming 103, 213-231, 2019 | 31 | 2019 |
| Querying semantic trajectory episodes TP Nogueira, H Martin Proceedings of the Fourth ACM SIGSPATIAL International Workshop on Mobile …, 2015 | 27 | 2015 |
| Detecting and removing dead-code using rank 2 intersection F Damiani, F Prost International Workshop on Types for Proofs and Programs, 66-87, 1996 | 27 | 1996 |
| A static calculus of dependencies for the/spl lambda/-cube F Prost Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 22 | 2000 |
| Transformation of attributed structures with cloning D Duval, R Echahed, F Prost, L Ribeiro International Conference on Fundamental Approaches to Software Engineering …, 2014 | 16 | 2014 |
| Marking techniques for extraction. F Prost Laboratoire de l'informatique du parallélisme, 1995 | 13 | 1995 |
| Treewidth, pathwidth and cospan decompositions C Blume, HJS Bruggink, M Friedrich, B König Electronic Communications of the EASST 41, 2011 | 11 | 2011 |
| Algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Theoretical Computer Science 802, 19-37, 2020 | 10 | 2020 |
| Reasoning about entanglement and separability in quantum higher-order functions F Prost, C Zerrari International Conference on Unconventional Computation, 219-235, 2009 | 10 | 2009 |
| The pullback-pushout approach to algebraic graph transformation A Corradini, D Duval, R Echahed, F Prost, L Ribeiro International Conference on Graph Transformation, 3-19, 2017 | 9 | 2017 |
| On the impact of information technologies on society: an historical perspective through the game of chess F Prost arXiv preprint arXiv:1203.3434, 2012 | 9 | 2012 |
| Specializing narrowing for timetable generation: A case study N Brauner, R Echahed, G Finke, H Gregor, F Prost Practical Aspects of Declarative Languages: 7th International Symposium …, 2005 | 9 | 2005 |
| Intégration des méthodes de réécriture et de recherche opérationnelle pour la modélisation et la résolution de contraintes: application à la planification de personnel médical N Brauner, R Echahed, G Finke, F Prost, W Serwe GISEH 2003, 2003 | 9 | 2003 |
| Parallelism in AGREE transformations A Corradini, D Duval, F Prost, L Ribeiro International Conference on Graph Transformation, 37-53, 2016 | 8 | 2016 |
| Graph transformation with focus on incident edges D Duval, R Echahed, F Prost International Conference on Graph Transformation, 156-171, 2012 | 8 | 2012 |
| A heterogeneous pushout approach to term-graph transformation D Duval, R Echahed, F Prost Rewriting Techniques and Applications: 20th International Conference, RTA …, 2009 | 8 | 2009 |
| A logical analysis of entanglement and separability in quantum higher-order functions F Prost, C Zerrari arXiv preprint arXiv:0801.0649, 2008 | 8 | 2008 |
| Graph rewriting with polarized cloning D Duval, R Echahed, F Prost arXiv preprint arXiv:0911.3786, 2009 | 7 | 2009 |
