| 2023 | FOSSACS | A Strict Constrained Superposition Calculus for Graphs. | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2021 | PPDP | A Superposition-Based Calculus for Diagrammatic Reasoning. | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2019 | FM | Reasoning Formally About Database Queries and Updates. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2018 | TASE | Verifying Graph Transformations with Guarded Logics. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2017 | LPAR | Parallel Graph Rewriting with Overlapping Rules. | Rachid Echahed, Aude Maignan |
| 2016 | ICTAC | Ensuring Correctness of Model Transformations While Remaining Decidable. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2015 | ICTERI | Provably Correct Graph Transformations with Small-tALC. | Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2014 | FASE | Transformation of Attributed Structures with Cloning. | Dominique Duval, Rachid Echahed, Frdric Prost, Leila Ribeiro |
| 2013 | ICTERI | Logical Foundations for Reasoning about Transformations of Knowledge Bases. | Mohamed Chaabani, Rachid Echahed, Martin Strecker |
| 2006 | PPDP | Rewriting term-graphs with priority. | Ricardo Caferra, Rachid Echahed, Nicolas Peltier |
| 2005 | PADL | Specializing Narrowing for Timetable Generation: A Case Study. | Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frdric Prost |
| 2005 | POPL | Handling declared information leakage: extended abstract. | Rachid Echahed, Frdric Prost |
| 2005 | PPDP | Security policy in a declarative style. | Rachid Echahed, Frdric Prost |
| 2003 | PPDP | Statically assuring secrecy for dynamic concurrent processes. | Rachid Echahed, Frdric Prost, Wendelin Serwe |
| 2002 | PPDP | A generic operator over discrete time intervals. | Jrmie Blanc, Rachid Echahed |
| 2002 | TIME | On the Operational Semantics of Timed Rewrite Systems. | Jrmie Blanc, Rachid Echahed |
| 1998 | ICLP | Admissible Graph Rewriting and Narrowing. | Rachid Echahed, Jean-Christophe Janodet |
| 1997 | ICLP | Parallel Evaluation Strategies for Functional Logic Languages. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1995 | LICS | On the Verification Problem of Nonregular Properties for Nonregular Processes | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1995 | POPL | Verifying Infinite State Processes with Sequential and Parallel Composition. | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1994 | CAV | Verification of Context-Free Timed Systems Using Linear Hybrid Observers. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | COMPASS | On the Operational Semantics of the Algebraic and Logic Programming Language LPG. | Didier Bert, Rachid Echahed |
| 1994 | CONCUR | Verification of Nonregular Temporal Properties for Context-Free Processes. | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | ICLP | Integrating Disequations in the Algebraic and Logic Programming Language LPG. | Didier Bert, Rachid Echahed |
| 1994 | POPL | A Needed Narrowing Strategy. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1993 | LICS | On Model Checking for Real-Time Properties with Durations | Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis |
| 1993 | SAS | Abstract Rewriting. | Didier Bert, Rachid Echahed, Bjarte M. stvold |
| 1991 | SAS | Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar |
| 1988 | ESOP | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, Franois Wautier |
| 1987 | STACS | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed |
| 1986 | ESOP | Design and Implementation of a Generic, Logic and Functional Programming Language. | Didier Bert, Rachid Echahed |