A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 519 | 2000 |

Design and implementation of a generic, logic and functional programming language D Bert, R Echahed European Symposium on Programming, 119-132, 1986 | 86 | 1986 |

On the verification problem of nonregular properties for nonregular processes A Bouajjani, R Echahed, P Habermehl Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 123-133, 1995 | 81 | 1995 |

Admissible Graph Rewriting and Narrowing. R Echahed, JC Janodet IJCSLP, 325-342, 1998 | 78 | 1998 |

On the automatic verification of systems with continuous variables and unbounded discrete data structures A Bouajjani, R Echahed, R Robbana International Hybrid Systems Workshop, 64-85, 1994 | 78 | 1994 |

Parallel Evaluation Strategies for Functional Logic Languages. S Antoy, R Echahed, M Hanus ICLP, 138-152, 1997 | 69 | 1997 |

On completeness of narrowing strategies R Echahed Colloquium on Trees in Algebra and Programming, 89-101, 1988 | 65 | 1988 |

Measurement of the X branching ratio D Buskulic, SW Snow, SL Cartwright, K Kleinknecht, P Hanke, ... Phys. Lett. B 298 (CERN-PPE-92-184), 479-491, 1992 | 58 | 1992 |

On model checking for real-time properties with durations A Bouajjani, R Echahed, J Sifakis [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 47 | 1993 |

On constructor-based graph rewriting systems R Echahed, JC Janodet Research Report 985-I, IMAG, 1997 | 43 | 1997 |

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 |

Verifying invariance properties of timed systems with duration variables A Bouajjani, R Echahed, R Robbana International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994 | 33 | 1994 |

Inductively sequential term-graph rewrite systems R Echahed International Conference on Graph Transformation, 84-98, 2008 | 31 | 2008 |

Uniform narrowing strategies R Echahed International Conference on Algebraic and Logic Programming, 259-275, 1992 | 31 | 1992 |

Verifying infinite state processes with sequential and parallel composition A Bouajjani, R Echahed, P Habermehl Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 30 | 1995 |

Abstract rewriting D Bert, R Echahed, BM Østvold Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993 | 30 | 1993 |

Abstraction of conditional term rewriting systems D Bert, R Echahed IMAG, 1995 | 29 | 1995 |

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 |

Combining mobile processes and declarative programming R Echahed, W Serwe International Conference on Computational Logic, 300-314, 2000 | 25 | 2000 |