A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 488 | 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 |

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

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 | 74 | 1995 |

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 | 73 | 1994 |

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

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

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 | 60 | 1993 |

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 |

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

Verifying invariance properties of timed systems with duration variables A Bouajjani, R Echahed, R Robbana Formal Techniques in Real-Time and Fault-Tolerant Systems, 193-210, 1994 | 35 | 1994 |

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

Abstract rewriting D Bert, R Echahed, BM Østvold International Workshop on Static Analysis, 178-192, 1993 | 29 | 1993 |

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

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

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

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 | 26 | 1995 |

A dynamic logic for termgraph rewriting P Balbiani, R Echahed, A Herzig International Conference on Graph Transformation, 59-74, 2010 | 23 | 2010 |

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