A needed narrowing strategy S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
524 2000 Design and implementation of a generic, logic and functional programming language D Bert, R Echahed
European Symposium on Programming, 119-132, 1986
90 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
79 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 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
71 1993 Parallel Evaluation Strategies for Functional Logic Languages. S Antoy, R Echahed, M Hanus
ICLP, 138-152, 1997
70 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
49 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
43 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
34 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
28 2019 Combining mobile processes and declarative programming R Echahed, W Serwe
International Conference on Computational Logic, 300-314, 2000
24 2000