Rachid Echahed

Available identifiers

zbMath Open echahed.rachidMaRDI QIDQ912604

List of research outcomes

Publication	Date of Publication	Type
A strict constrained superposition calculus for graphs	2023-11-24	Paper
Combining Parallel Graph Rewriting and Quotient Graphs	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5021220	2022-01-12	Paper
Parallel coherent graph transformations	2021-10-27	Paper
Parallel rewriting of attributed graphs	2020-12-15	Paper
Algebraic graph rewriting with controlled embedding	2019-11-22	Paper
The Pullback-Pushout Approach to Algebraic Graph Transformation	2019-11-22	Paper
The PBPO graph transformation approach	2019-03-27	Paper
Parallel Graph Rewriting with Overlapping Rules	2019-01-10	Paper
Verifying graph transformation systems with description logics	2018-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q5369479	2017-10-17	Paper
Ensuring Correctness of Model Transformations While Remaining Decidable	2016-12-21	Paper
A needed narrowing strategy	2015-12-17	Paper
AGREE – Algebraic Graph Rewriting with Controlled Embedding	2015-09-22	Paper
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs	2014-09-15	Paper
On Term-Graph Rewrite Strategies	2014-01-24	Paper
Modeling Pointer Redirection as Cyclic Term-graph Rewriting	2013-12-20	Paper
Timed Term Rewrite Systems	2013-07-24	Paper
Defining Actions in Concurrent Declarative Programming	2013-07-24	Paper
Graph Transformation with Focus on Incident Edges	2012-10-02	Paper
A Dynamic Logic for Termgraph Rewriting	2010-10-04	Paper
A term-graph clausal logic: completeness and incompleteness results ★	2009-11-11	Paper
A Heterogeneous Pushout Approach to Term-Graph Transformation	2009-06-30	Paper
Narrowing Data-Structures with Pointers	2008-11-27	Paper
Inductively Sequential Term-Graph Rewrite Systems	2008-11-20	Paper
A Needed Rewriting Strategy for Data-Structures with Pointers	2008-08-28	Paper
Adjunction for Garbage Collection with Application to Graph Rewriting	2008-01-02	Paper
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers	2008-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q2767062	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4944885	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4941930	2000-03-19	Paper
On completeness of narrowing strategies	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789062	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713559	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rachid Echahed