pith. sign in

Rachid Echahed

Identifiers

  • name variant Rachid Echahed 0.60 · backfill

Papers (9)

  1. True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans cs.LO · 2019 · author #2
  2. A Set-Theoretic Framework for Parallel Graph Rewriting cs.LO · 2018 · author #2
  3. On the Verification of Logically Decorated Graph Transformations cs.LO · 2018 · author #2
  4. Parallel Graph Rewriting with Overlapping Rules cs.FL · 2017 · author #1
  5. AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version) cs.LO · 2014 · author #3
  6. SROIQsigma is decidable cs.LO · 2014 · author #2
  7. Transformation of Attributed Structures with Cloning (Long Version) cs.SE · 2014 · author #2
  8. Proceedings 6th International Workshop on Computing with Terms and Graphs cs.LO · 2011 · author #1
  9. Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation cs.LO · 2011 · author #2

Mentions

  • 1411.4597 #3 · backfill · confidence 0.70 Rachid Echahed
  • 1406.6605 #2 · backfill · confidence 0.70 Rachid Echahed
  • 1401.2751 #2 · backfill · confidence 0.70 Rachid Echahed
  • 1102.2268 #1 · backfill · confidence 0.70 Rachid Echahed
  • 1101.3417 #2 · backfill · confidence 0.70 Rachid Echahed

Frequent Coauthors