Measurement of the branching ratio D Buskulic, D Decamp, C Goy, JP Lees, MN Minard, B Mours, R Alemany, ... Physics Letters B 298, 479-491, 1993 | 64 | 1993 |

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

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 | 28 | 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 | 28 | 1996 |

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

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

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

Marking techniques for extraction F Prost | 12 | 1995 |

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 |

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 logical analysis of entanglement and separability in quantum higher-order functions F Prost, C Zerrari arXiv preprint arXiv:0801.0649, 2008 | 8 | 2008 |

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

A heterogeneous pushout approach to term-graph transformation D Duval, R Echahed, F Prost International Conference on Rewriting Techniques and Applications, 194-208, 2009 | 7 | 2009 |

A heterogeneous pushout approach to term-graph transformation D Duval, R Echahed, F Prost International Conference on Rewriting Techniques and Applications, 194-208, 2009 | 7 | 2009 |

Specializing narrowing for timetable generation: A case study N Brauner, R Echahed, G Finke, H Gregor, F Prost International Workshop on Practical Aspects of Declarative Languages, 22-36, 2005 | 7 | 2005 |

Handling declared information leakage R Echahed, F Prost Proceedings of the 2005 workshop on Issues in the theory of security, 1-4, 2005 | 7 | 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 | 6 | 2019 |

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