Rachid Echahed
Identifiers
- name variant Rachid Echahed 0.60 · backfill
Papers (9)
- True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans cs.LO · 2019 · author #2
- A Set-Theoretic Framework for Parallel Graph Rewriting cs.LO · 2018 · author #2
- On the Verification of Logically Decorated Graph Transformations cs.LO · 2018 · author #2
- Parallel Graph Rewriting with Overlapping Rules cs.FL · 2017 · author #1
- AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version) cs.LO · 2014 · author #3
- SROIQsigma is decidable cs.LO · 2014 · author #2
- Transformation of Attributed Structures with Cloning (Long Version) cs.SE · 2014 · author #2
- Proceedings 6th International Workshop on Computing with Terms and Graphs cs.LO · 2011 · author #1
- Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation cs.LO · 2011 · author #2
Mentions
Frequent Coauthors
- Dominique Duval 3 shared papers
- Fr\'ed\'eric Prost 2 shared papers
- Jon Ha\"el Brenas 2 shared papers
- Leila Ribeiro 2 shared papers
- Martin Strecker 2 shared papers
- Thierry Boy de la Tour 2 shared papers
- Anadrea Corradini 1 shared papers
- Aude Maignan 1 shared papers
- Frederic Prost 1 shared papers