| A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 503 | 2000 |
| Design and implementation of a generic, logic and functional programming language D Bert, R Echahed ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of …, 2005 | 84 | 2005 |
| 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 Hybrid Systems II, 64-85, 2005 | 79 | 2005 |
| Admissible Graph Rewriting and Narrowing. R Echahed, JC Janodet IJCSLP, 325-342, 1998 | 76 | 1998 |
| Parallel Evaluation Strategies for Functional Logic Languages. S Antoy, R Echahed, M Hanus ICLP, 138-152, 1997 | 69 | 1997 |
| 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 | 65 | 1993 |
| On completeness of narrowing strategies R Echahed CAAP'88: 13th Colloquium on Trees in Algebra and Programming Nancy, France …, 1988 | 62 | 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 | 37 | 2005 |
| 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 | 35 | 2015 |
| Verifying invariance properties of timed systems with duration variables A Bouajjani, R Echahed, R Robbana Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994 | 34 | 1994 |
| Inductively sequential term-graph rewrite systems R Echahed ICGT 8, 84-98, 2008 | 30 | 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 | 30 | 1995 |
| Uniform narrowing strategies R Echahed Algebraic and Logic Programming: Third International Conference Volterra …, 2005 | 29 | 2005 |
| Abstraction of conditional term rewriting systems D Bert, R Echahed IMAG, 1995 | 29 | 1995 |
| Abstract rewriting D Bert, R Echahed, BM Ĝstvold Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993 | 29 | 1993 |
| Combining mobile processes and declarative programming R Echahed, W Serwe Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 26 | 2000 |
| A Dynamic Logic for Termgraph Rewriting. P Balbiani, R Echahed, A Herzig ICGT 6372, 59-74, 2010 | 22 | 2010 |
