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

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

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

Admissible Graph Rewriting and Narrowing. R Echahed, JC Janodet IJCSLP, 325-342, 1998 | 76 | 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 | 74 | 1994 |

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

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

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

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

Security policy in a declarative style R Echahed, F Prost Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 36 | 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 | 33 | 1994 |

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

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

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

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

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

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

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

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