Rachid Echahed

Available identifiers

zbMath Open echahed.rachidMaRDI QIDQ912604

List of research outcomes

Publication	Date of Publication	Type
Reasoning formally about database queries and updates	2024-03-14	Paper
A rule-based procedure for graph query solving	2024-01-12	Paper
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
The pullback-pushout approach to algebraic graph transformation	2019-11-22	Paper
Algebraic graph rewriting with controlled embedding	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
Proving correctness of logically decorated graph rewriting systems	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 \(\mathrm{SROIQ}^{\sigma }\) 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

This page was built for person: Rachid Echahed