| A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 530 | 2000 |
| Design and implementation of a generic, logic and functional programming language D Bert, R Echahed European Symposium on Programming, 119-132, 1986 | 88 | 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 | 82 | 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 | 80 | 1994 |
| Admissible Graph Rewriting and Narrowing. R Echahed, JC Janodet IJCSLP, 325-342, 1998 | 79 | 1998 |
| 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 | 72 | 1992 |
| 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 | 66 | 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 | 46 | 1993 |
| 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 | 45 | 2015 |
| 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 | 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 | 35 | 1994 |
| Uniform narrowing strategies R Echahed International Conference on Algebraic and Logic Programming, 259-275, 1992 | 32 | 1992 |
| Inductively sequential term-graph rewrite systems R Echahed International Conference on Graph Transformation, 84-98, 2008 | 31 | 2008 |
| 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 | 31 | 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 | 30 | 2019 |
| 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 |
| A dynamic logic for termgraph rewriting P Balbiani, R Echahed, A Herzig International Conference on Graph Transformation, 59-74, 2010 | 23 | 2010 |
