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 | 42 | 2015 |

Security policy in a declarative style R Echahed, F Prost Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 38 | 2005 |

Detecting and removing dead-code using rank 2 intersection F Damiani, F Prost International Workshop on Types for Proofs and Programs, 66-87, 1996 | 28 | 1996 |

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 | 27 | 2019 |

Querying semantic trajectory episodes TP Nogueira, H Martin Proceedings of the Fourth ACM SIGSPATIAL International Workshop on Mobile …, 2015 | 27 | 2015 |

A static calculus of dependencies for the/spl lambda/-cube F Prost Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 21 | 2000 |

Transformation of attributed structures with cloning D Duval, R Echahed, F Prost, L Ribeiro International Conference on Fundamental Approaches to Software Engineering …, 2014 | 17 | 2014 |

Marking techniques for extraction. F Prost Laboratoire de l'informatique du parallélisme, 1995 | 13 | 1995 |

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 |

Treewidth, pathwidth and cospan decompositions C Blume, HJS Bruggink, M Friedrich, B König Electronic Communications of the EASST 41, 2011 | 9 | 2011 |

A logical analysis of entanglement and separability in quantum higher-order functions F Prost, C Zerrari arXiv preprint arXiv:0801.0649, 2008 | 9 | 2008 |

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 |

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 heterogeneous pushout approach to term-graph transformation D Duval, R Echahed, F Prost Rewriting Techniques and Applications: 20th International Conference, RTA …, 2009 | 8 | 2009 |

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 | 8 | 2005 |

Parallelism in AGREE transformations A Corradini, D Duval, F Prost, L Ribeiro International Conference on Graph Transformation, 37-53, 2016 | 7 | 2016 |

On the impact of information technologies on society: an historical perspective through the game of chess F Prost arXiv preprint arXiv:1203.3434, 2012 | 7 | 2012 |