Design and Implementation of a Generic, Logic and Functional Programming Language. - Didier Bert; Rachid Echahed (ESOP, 1986)

LPG: A Generic, Logic and Functional Programming Language. - Didier Bert; Pascal Drabik; Rachid Echahed (STACS, 1987)

On Comleteness of Narrowing Strategies. - Rachid Echahed (CAAP, 1988)

LPG: A Generic, Logic and Functional Programming Language. - Didier Bert; Pascal Drabik; Rachid Echahed; Olivier Declerfayt; Brigitte Demeuse; Pierre-Yves Schobbens; François Wautier (ESOP, 1988)

On Completeness of Narrowing Strategies. - Rachid Echahed (Theor. Comput. Sci., 1990)

Sur l'intégration des langages algébriques et logique. (On the integration of algebraic and logic programming languages). - Rachid Echahed (1990)

Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. - Rachid Echahed; Paul Jacquet; Marie-Laure Potet; Sadik Sebbar (JTASPEFT/WSA, 1991)

Uniform Narrowing Strategies. - Rachid Echahed (ALP, 1992)

On Model Checking for Real-Time Properties with Durations - Ahmed Bouajjani; Rachid Echahed; Joseph Sifakis (LICS, 1993)

Abstract Rewriting. - Didier Bert; Rachid Echahed; Bjarte M. Østvold (WSA, 1993)

Verification of Context-Free Timed Systems Using Linear Hybrid Observers. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (CAV, 1994)

On the Operational Semantics of the Algebraic and Logic Programming Language LPG. - Didier Bert; Rachid Echahed (COMPASS/ADT, 1994)

Verification of Nonregular Temporal Properties for Context-Free Processes. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (CONCUR, 1994)

Verfying Invariance Properties of Timed Systems with Duration Variables. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (FTRTFT, 1994)

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. - Ahmed Bouajjani; Rachid Echahed; Riadh Robbana (Hybrid Systems, 1994)

Integrating Disequations in the Algebraic and Logic Programming Language LPG. - Didier Bert; Rachid Echahed (ICLP Workshop: Integration of Declarative Paradigms, 1994)

On the Verification Problem of Nonregular Properties for Nonregular Processes - Ahmed Bouajjani; Rachid Echahed; Peter Habermehl (LICS, 1995)

Verifying Infinite State Processes with Sequential and Parallel Composition. - Ahmed Bouajjani; Rachid Echahed; Peter Habermehl (POPL, 1995)

Abstraction of Conditional Term Rewriting Systems. - Didier Bert; Rachid Echahed (ILPS, 1995)

Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. - Didier Bert; Rachid Echahed; Kamel Adi (AMAST, 1996)

Parallel Evaluation Strategies for Functional Logic Languages. - Sergio Antoy; Rachid Echahed; Michael Hanus (ICLP, 1997)

Admissible Graph Rewriting and Narrowing. - Rachid Echahed; Jean-Christophe Janodet (IJCSLP, 1998)

Parallel Admissible Graph Rewriting. - Rachid Echahed; Jean-Christophe Janodet (WADT, 1998)

Combining Mobile Processes and Declarative Programming. - Rachid Echahed; Wendelin Serwe (Computational Logic, 2000)

A needed narrowing strategy. - Sergio Antoy; Rachid Echahed; Michael Hanus (J. ACM, 2000)

Defining Actions in Concurrent Declarative Programming. - Rachid Echahed; Wendelin Serwe (WFLP, 2001)

A generic operator over discrete time intervals. - Jérémie Blanc; Rachid Echahed (PPDP, 2002)

On the Operational Semantics of Timed Rewrite Systems. - Jérémie Blanc; Rachid Echahed (TIME, 2002)

Redundancy of Arguments Reduced to Induction. - María Alpuente; Rachid Echahed; Santiago Escobar 001; Salvador Lucas (WFLP, 2002)

Statically assuring secrecy for dynamic concurrent processes. - Rachid Echahed; Frédéric Prost; Wendelin Serwe (PPDP, 2003)

Specializing Narrowing for Timetable Generation: A Case Study. - Nadia Brauner; Rachid Echahed; Gerd Finke; Hanns Gregor; Frédéric Prost (PADL, 2005)

Handling declared information leakage: extended abstract. - Rachid Echahed; Frédéric Prost (WITS, 2005)

Security policy in a declarative style. - Rachid Echahed; Frédéric Prost (PPDP, 2005)

Data-Structure Rewriting - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2005)

Narrowing Data-Structures with Pointers. - Rachid Echahed; Nicolas Peltier (ICGT, 2006)

Rewriting term-graphs with priority. - Ricardo Caferra; Rachid Echahed; Nicolas Peltier (PPDP, 2006)

Modeling Pointer Redirection as Cyclic Term-graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (TERMGRAPH@ETAPS, 2006)

Adjunction for Garbage Collection with Application to Graph Rewriting. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2007)

Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. - Rachid Echahed; Nicolas Peltier (RTA, 2007)

On Term-Graph Rewrite Strategies. - Rachid Echahed (WRS@RDP, 2007)

Preface. - Rachid Echahed (WFLP@RDP, 2007)

Inductively Sequential Term-Graph Rewrite Systems. - Rachid Echahed (ICGT, 2008)

A Needed Rewriting Strategy for Data-Structures with Pointers. - Rachid Echahed; Nicolas Peltier (RTA, 2008)

A Cloning Pushout Approach to Term-Graph Transformation - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2008)

A Heterogeneous Pushout Approach to Term-Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (RTA, 2009)

Graph rewriting with polarized cloning - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2009)

A Dynamic Logic for Termgraph Rewriting. - Philippe Balbiani; Rachid Echahed; Andreas Herzig (ICGT, 2010)

A Modal Logic for Termgraph Rewriting - Philippe Balbiani; Rachid Echahed; Andreas Herzig (CoRR, 2010)

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. - Dominique Duval; Rachid Echahed; Frédéric Prost (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Graph Computation Models. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Graph Transformation with Focus on Incident Edges. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2012)

Logical Foundations for Reasoning about Transformations of Knowledge Bases. - Mohamed Chaabani; Rachid Echahed; Martin Strecker (ICTERI, 2013)

Graph Computation Models 2012. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Transformation of Attributed Structures with Cloning. - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (FASE, 2014)

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (IFIP TCS, 2014)

SROIQsigma is decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2014)

Transformation of Attributed Structures with Cloning (Long Version). - Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (CoRR, 2014)

Preface. - Rachid Echahed; Annegret Habel; Mohamed Mosbah 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

AGREE - Algebraic Graph Rewriting with Controlled Embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2015)

Provably Correct Graph Transformations with Small-tALC. - Nadezhda Baklanova; Jon Haël Brenas; Rachid Echahed; Christian Percebois; Martin Strecker; Hanh Nhi Tran (ICTERI, 2015)

On the Closure of Description Logics under Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (Description Logics, 2016)

Ensuring Correctness of Model Transformations While Remaining Decidable. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICTAC, 2016)

Proving Correctness of Logically Decorated Graph Rewriting Systems. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FSCD, 2016)

The Pullback-Pushout Approach to Algebraic Graph Transformation. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (ICGT, 2017)

Parallel Graph Rewriting with Overlapping Rules. - Rachid Echahed; Aude Maignan (LPAR, 2017)

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (SCSS, 2017)

Verifying Graph Transformation Systems with Description Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (ICGT, 2018)

Verifying Graph Transformations with Guarded Logics. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (TASE, 2018)

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. - Jon Haël Brenas; Martin Strecker; Rachid Echahed; Arash Shaban-Nejad (IEEE Access, 2018)

On the Verification of Logically Decorated Graph Transformations. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (CoRR, 2018)

A Set-Theoretic Framework for Parallel Graph Rewriting. - Thierry Boy de la Tour; Rachid Echahed (CoRR, 2018)

Foreword: special issue on term and graph rewriting. - Rachid Echahed (Math. Struct. Comput. Sci., 2018)

Reasoning Formally About Database Queries and Updates. - Jon Haël Brenas; Rachid Echahed; Martin Strecker (FM, 2019)

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans. - Thierry Boy de la Tour; Rachid Echahed (CoRR, 2019)

On foundational aspects of RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2019)

The PBPO graph transformation approach. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)

Parallel Coherent Graph Transformations. - Thierry Boy de la Tour; Rachid Echahed (WADT, 2020)

Combining Parallel Graph Rewriting and Quotient Graphs. - Thierry Boy de la Tour; Rachid Echahed (WRLA@ETAPS, 2020)

All You Need Is CONSTRUCT. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2020)

An Algebraic Graph Transformation Approach for RDF and SPARQL. - Dominique Duval; Rachid Echahed; Frédéric Prost (GCM@STAF, 2020)

Algebraic graph rewriting with controlled embedding. - Andrea Corradini 001; Dominique Duval; Rachid Echahed; Frédéric Prost; Leila Ribeiro 001 (Theor. Comput. Sci., 2020)

Parallel rewriting of attributed graphs. - Thierry Boy de la Tour; Rachid Echahed (Theor. Comput. Sci., 2020)

A Superposition-Based Calculus for Diagrammatic Reasoning. - Rachid Echahed; Mnacho Echenim; Mehdi Mhalla; Nicolas Peltier (PPDP, 2021)

A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond. - Rachid Echahed; Mnacho Echenim; Mehdi Mhalla; Nicolas Peltier (CoRR, 2021)

Querying RDF Databases with Sub-CONSTRUCTs. - Dominique Duval; Rachid Echahed; Frédéric Prost (SCSS, 2021)

A Rule-based Operational Semantics of Graph Query Languages. - Dominique Duval; Rachid Echahed; Frédéric Prost (CoRR, 2022)

A Strict Constrained Superposition Calculus for Graphs. - Rachid Echahed; Mnacho Echenim; Mehdi Mhalla; Nicolas Peltier (FoSSaCS, 2023)

A Rule-Based Procedure for Graph Query Solving. - Dominique Duval; Rachid Echahed; Frédéric Prost (ICGT, 2023)

Symbolic Graph Query Solving. - Dominique Duval; Rachid Echahed (SCSS, 2024)

DTGraph: Declarative Transformations of Property Graphs. - Angela Bonifati; Yann Ramusat; Filip Murlak; Amela Fejza; Rachid Echahed (Proc. VLDB Endow., 2024)