| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Rachid Echahed 29 Jérémie Blanc , Rachid Echahed: A generic operator over discrete time intervals. PPDP 2002 : 145-155 28 Jérémie Blanc , Rachid Echahed: On the Operational Semantics of Timed Rewrite Systems. TIME 2002 : 10- 27 Rachid Echahed, Wendelin Serwe : Defining Actions in Concurrent Declarative Programming. ENTCS 64 : (2002) 26 María Alpuente , Rachid Echahed, Santiago Escobar , Salvador Lucas : Redundancy of Arguments Reduced to Induction. ENTCS 76 : (2002) 25 Rachid Echahed, Wendelin Serwe : Combining Mobile Processes and Declarative Programming. Computational Logic 2000 : 300-314 24 Sergio Antoy , Rachid Echahed, Michael Hanus : A needed narrowing strategy. JACM 47 (4): 776-822 (2000) 23 Rachid Echahed, Jean-Christophe Janodet : Admissible Graph Rewriting and Narrowing. IJCSLP 1998 : 325-342 22 Rachid Echahed, Jean-Christophe Janodet : Parallel Admissible Graph Rewriting. WADT 1998 : 122-137 21 Sergio Antoy , Rachid Echahed, Michael Hanus : Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997 : 138-152 20 Didier Bert , Rachid Echahed, Kamel Adi : Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST 1996 : 629-632 19 Didier , Rachid Echahed: Abstraction of Conditional Term Rewriting Systems. ILPS 1995 : 162-176 18 Ahmed Bouajjani , Rachid Echahed, Peter Habermehl : On the Verification Problem of Nonregular Properties for Nonregular Processes. LICS 1995 : 123-133 17 Ahmed Bouajjani , Rachid Echahed, Peter Habermehl : Verifying Infinite State Processes with Sequential and Parallel Composition. POPL 1995 : 95-106 16 Ahmed Bouajjani , Rachid Echahed, Riadh Robbana : Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994 : 118-131 15 Didier Bert , Rachid Echahed: On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994 : 132-152 14 Ahmed Bouajjani , Rachid Echahed, Riadh Robbana : Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994 : 81-97 13 Ahmed Bouajjani , Rachid Echahed, Riadh Robbana : Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994 : 193-210 12 Ahmed Bouajjani , Rachid Echahed, Riadh Robbana : On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems 1994 : 64-85 11 Didier Bert , Rachid Echahed: Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms 1994 : 76-93 10 Sergio Antoy , Rachid Echahed, Michael Hanus : A Needed Narrowing Strategy. POPL 1994 : 268-279 9 Ahmed Bouajjani , Rachid Echahed, Joseph Sifakis : On Model Checking for Real-Time Properties with Durations. LICS 1993 : 147-159 8 Didier Bert , Rachid Echahed, Bjarte M. Østvold : Abstract Rewriting. WSA 1993 : 178-192 7 Rachid Echahed: Uniform Narrowing Strategies. ALP 1992 : 259-275 6 Rachid Echahed, Paul Jacquet , Marie-Laure Potet , S. Sebbar : Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991 : 53-61 5 Rachid Echahed: On Completeness of Narrowing Strategies. TCS 72 (2&3): 133-146 (1990) 4 Rachid Echahed: On Comleteness of Narrowing Strategies. CAAP 1988 : 89-101 3 Didier Bert , P. Drabik , Rachid Echahed, O. Declerfayt , B. Demeuse , Pierre-Yves Schobbens , F. Wautier : LPG: A Generic, Logic and Functional Programming Language. ESOP 1988 : 376-377 2 Didier Bert , P. Drabik , Rachid Echahed: LPG: A Generic, Logic and Functional Programming Language. STACS 1987 : 468-469 1 Didier Bert , Rachid Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986 : 119-132  DiSC'03 © 2003 Association for Computing Machinery |
