AGREE–algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015 | 37 | 2015 |

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

Detecting and removing dead-code using rank 2 intersection F Damiani, F Prost Types for Proofs and Programs: International Workshop TYPES’96 Aussois …, 1998 | 27 | 1998 |

Querying semantic trajectory episodes TP Nogueira, H Martin Proceedings of the Fourth ACM SIGSPATIAL International Workshop on Mobile …, 2015 | 25 | 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 |

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

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

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

Reasoning about entanglement and separability in quantum higher-order functions F Prost, C Zerrari Unconventional Computation: 8th International Conference, UC 2009, Ponta …, 2009 | 10 | 2009 |

The pullback-pushout approach to algebraic graph transformation A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Graph Transformation: 10th International Conference, ICGT 2017, Held as Part …, 2017 | 9 | 2017 |

Graph transformation with focus on incident edges D Duval, R Echahed, F Prost Graph Transformations: 6th International Conference, ICGT 2012, Bremen …, 2012 | 8 | 2012 |

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

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

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 |

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

Algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Theoretical Computer Science 802, 19-37, 2020 | 7 | 2020 |

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 |

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

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

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 |