![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Rachid Echahed
Person information
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c66]Dominique Duval, Rachid Echahed:
Symbolic Graph Query Solving. SCSS 2024: 96-113 - 2023
- [c65]Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier:
A Strict Constrained Superposition Calculus for Graphs. FoSSaCS 2023: 135-155 - [c64]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Rule-Based Procedure for Graph Query Solving. ICGT 2023: 163-183 - 2022
- [i16]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Rule-based Operational Semantics of Graph Query Languages. CoRR abs/2202.10142 (2022) - 2021
- [c63]Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier:
A Superposition-Based Calculus for Diagrammatic Reasoning. PPDP 2021: 10:1-10:13 - [c62]Dominique Duval, Rachid Echahed, Frédéric Prost:
Querying RDF Databases with Sub-CONSTRUCTs. SCSS 2021: 49-64 - [i15]Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier:
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond. CoRR abs/2103.11709 (2021) - 2020
- [j11]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802: 19-37 (2020) - [j10]Thierry Boy de la Tour, Rachid Echahed:
Parallel rewriting of attributed graphs. Theor. Comput. Sci. 848: 106-132 (2020) - [c61]Thierry Boy de la Tour, Rachid Echahed:
Parallel Coherent Graph Transformations. WADT 2020: 75-97 - [c60]Thierry Boy de la Tour, Rachid Echahed:
Combining Parallel Graph Rewriting and Quotient Graphs. WRLA@ETAPS 2020: 1-18 - [c59]Dominique Duval, Rachid Echahed, Frédéric Prost:
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF 2020: 55-70 - [i14]Dominique Duval, Rachid Echahed, Frédéric Prost:
All You Need Is CONSTRUCT. CoRR abs/2010.00843 (2020)
2010 – 2019
- 2019
- [j9]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103: 213-231 (2019) - [c58]Jon Haël Brenas, Rachid Echahed
, Martin Strecker
:
Reasoning Formally About Database Queries and Updates. FM 2019: 556-572 - [e5]Rachid Echahed, Detlef Plump:
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. EPTCS 309, 2019 [contents] - [i13]Thierry Boy de la Tour, Rachid Echahed:
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans. CoRR abs/1904.08850 (2019) - [i12]Dominique Duval, Rachid Echahed, Frédéric Prost:
On foundational aspects of RDF and SPARQL. CoRR abs/1910.07519 (2019) - 2018
- [j8]Jon Haël Brenas
, Martin Strecker
, Rachid Echahed, Arash Shaban-Nejad
:
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6: 64728-64741 (2018) - [j7]Rachid Echahed:
Foreword: special issue on term and graph rewriting. Math. Struct. Comput. Sci. 28(8): 1287-1289 (2018) - [c57]Jon Haël Brenas, Rachid Echahed, Martin Strecker
:
Verifying Graph Transformation Systems with Description Logics. ICGT 2018: 155-170 - [c56]Jon Haël Brenas, Rachid Echahed, Martin Strecker
:
Verifying Graph Transformations with Guarded Logics. TASE 2018: 124-131 - [i11]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Verification of Logically Decorated Graph Transformations. CoRR abs/1803.02776 (2018) - [i10]Thierry Boy de la Tour, Rachid Echahed:
A Set-Theoretic Framework for Parallel Graph Rewriting. CoRR abs/1808.03161 (2018) - 2017
- [c55]Andrea Corradini
, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017: 3-19 - [c54]Rachid Echahed, Aude Maignan
:
Parallel Graph Rewriting with Overlapping Rules. LPAR 2017: 300-318 - [c53]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS 2017: 29-41 - [i9]Rachid Echahed, Aude Maignan:
Parallel Graph Rewriting with Overlapping Rules. CoRR abs/1701.06790 (2017) - 2016
- [c52]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
On the Closure of Description Logics under Substitutions. Description Logics 2016 - [c51]Jon Haël Brenas, Rachid Echahed, Martin Strecker
:
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC 2016: 315-332 - [c50]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD 2016: 14:1-14:15 - [e4]Rachid Echahed, Mark Minas:
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings. Lecture Notes in Computer Science 9761, Springer 2016, ISBN 978-3-319-40529-2 [contents] - 2015
- [c49]Andrea Corradini
, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT 2015: 35-51 - [c48]Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Provably Correct Graph Transformations with Small-tALC. ICTERI 2015: 78-93 - 2014
- [j6]Rachid Echahed, Annegret Habel, Mohamed Mosbah:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014) - [c47]Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning. FASE 2014: 310-324 - [c46]Jon Haël Brenas, Rachid Echahed, Martin Strecker
:
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS 2014: 164-178 - [i8]Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning (Long Version). CoRR abs/1401.2751 (2014) - [i7]Jon Haël Brenas, Rachid Echahed, Martin Strecker:
SROIQsigma is decidable. CoRR abs/1406.6605 (2014) - [i6]Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR abs/1411.4597 (2014) - 2013
- [j5]Rachid Echahed, Annegret Habel, Mohamed Mosbah:
Graph Computation Models 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013) - [c45]Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics 2013: 616-627 - [c44]Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI 2013: 521-532 - [e3]Rachid Echahed, Detlef Plump:
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. EPTCS 110, 2013 [contents] - 2012
- [c43]Dominique Duval, Rachid Echahed, Frédéric Prost:
Graph Transformation with Focus on Incident Edges. ICGT 2012: 156-171 - 2011
- [j4]Rachid Echahed, Annegret Habel, Mohamed Mosbah:
Graph Computation Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011) - [j3]Dominique Duval, Rachid Echahed, Frédéric Prost:
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [e2]Rachid Echahed:
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. EPTCS 48, 2011 [contents] - [i5]Dominique Duval, Rachid Echahed, Frédéric Prost:
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. CoRR abs/1101.3417 (2011) - 2010
- [c42]Philippe Balbiani
, Rachid Echahed, Andreas Herzig:
A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74 - [i4]Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Modal Logic for Termgraph Rewriting. CoRR abs/1003.4369 (2010)
2000 – 2009
- 2009
- [c41]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA 2009: 194-208 - [i3]Dominique Duval, Rachid Echahed, Frédéric Prost:
Graph rewriting with polarized cloning. CoRR abs/0911.3786 (2009) - 2008
- [c40]Rachid Echahed:
Inductively Sequential Term-Graph Rewrite Systems. ICGT 2008: 84-98 - [c39]Rachid Echahed, Nicolas Peltier:
A Needed Rewriting Strategy for Data-Structures with Pointers. RTA 2008: 63-78 - [e1]Rachid Echahed:
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 216, Elsevier 2008 [contents] - [i2]Dominique Duval, Rachid Echahed, Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation. CoRR abs/0811.3400 (2008) - 2007
- [c38]Dominique Duval, Rachid Echahed, Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136 - [c37]Rachid Echahed, Nicolas Peltier:
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. RTA 2007: 137-152 - [c36]Rachid Echahed:
Preface. WFLP@RDP 2007: 1-2 - [c35]Rachid Echahed:
On Term-Graph Rewrite Strategies. WRS@RDP 2007: 99-110 - 2006
- [c34]Rachid Echahed, Nicolas Peltier:
Narrowing Data-Structures with Pointers. ICGT 2006: 92-106 - [c33]Ricardo Caferra, Rachid Echahed, Nicolas Peltier:
Rewriting term-graphs with priority. PPDP 2006: 109-120 - [c32]Dominique Duval, Rachid Echahed, Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. TERMGRAPH@ETAPS 2006: 65-84 - 2005
- [c31]Nadia Brauner
, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost:
Specializing Narrowing for Timetable Generation: A Case Study. PADL 2005: 22-36 - [c30]Rachid Echahed, Frédéric Prost:
Handling declared information leakage: extended abstract. WITS 2005: 1-4 - [c29]Rachid Echahed, Frédéric Prost:
Security policy in a declarative style. PPDP 2005: 153-163 - [i1]Dominique Duval, Rachid Echahed, Frédéric Prost:
Data-Structure Rewriting. CoRR abs/cs/0503065 (2005) - 2003
- [c28]Rachid Echahed, Frédéric Prost, Wendelin Serwe:
Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101 - 2002
- [c27]Jérémie Blanc, Rachid Echahed:
A generic operator over discrete time intervals. PPDP 2002: 145-155 - [c26]Jérémie Blanc, Rachid Echahed:
On the Operational Semantics of Timed Rewrite Systems. TIME 2002: 10-17 - [c25]María Alpuente
, Rachid Echahed, Santiago Escobar
, Salvador Lucas
:
Redundancy of Arguments Reduced to Induction. WFLP 2002: 20-41 - 2001
- [c24]Rachid Echahed, Wendelin Serwe:
Defining Actions in Concurrent Declarative Programming. WFLP 2001: 176-194 - 2000
- [j2]Sergio Antoy, Rachid Echahed, Michael Hanus
:
A needed narrowing strategy. J. ACM 47(4): 776-822 (2000) - [c23]Rachid Echahed, Wendelin Serwe:
Combining Mobile Processes and Declarative Programming. Computational Logic 2000: 300-314
1990 – 1999
- 1998
- [c22]Rachid Echahed, Jean-Christophe Janodet:
Admissible Graph Rewriting and Narrowing. IJCSLP 1998: 325-342 - [c21]Rachid Echahed, Jean-Christophe Janodet:
Parallel Admissible Graph Rewriting. WADT 1998: 122-137 - 1997
- [c20]Sergio Antoy, Rachid Echahed, Michael Hanus:
Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152 - 1996
- [c19]Didier Bert, Rachid Echahed, Kamel Adi:
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST 1996: 629-632 - 1995
- [c18]Ahmed Bouajjani, Rachid Echahed, Peter Habermehl:
On the Verification Problem of Nonregular Properties for Nonregular Processes. LICS 1995: 123-133 - [c17]Ahmed Bouajjani, Rachid Echahed, Peter Habermehl:
Verifying Infinite State Processes with Sequential and Parallel Composition. POPL 1995: 95-106 - [c16]Didier Bert, Rachid Echahed:
Abstraction of Conditional Term Rewriting Systems. ILPS 1995: 162-176 - 1994
- [c15]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131 - [c14]Didier Bert, Rachid Echahed:
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994: 132-152 - [c13]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994: 81-97 - [c12]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210 - [c11]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems 1994: 64-85 - [c10]Didier Bert, Rachid Echahed:
Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms 1994: 76-93 - [c9]Sergio Antoy, Rachid Echahed, Michael Hanus:
A Needed Narrowing Strategy. POPL 1994: 268-279 - 1993
- [c8]Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis:
On Model Checking for Real-Time Properties with Durations. LICS 1993: 147-159 - [c7]Didier Bert, Rachid Echahed, Bjarte M. Østvold:
Abstract Rewriting. WSA 1993: 178-192 - 1992
- [c6]Rachid Echahed:
Uniform Narrowing Strategies. ALP 1992: 259-275 - 1991
- [c5]Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar:
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61 - 1990
- [b1]Rachid Echahed:
Sur l'intégration des langages algébriques et logique. (On the integration of algebraic and logic programming languages). Grenoble Institute of Technology, France, 1990 - [j1]Rachid Echahed:
On Completeness of Narrowing Strategies. Theor. Comput. Sci. 72(2&3): 133-146 (1990)
1980 – 1989
- 1988
- [c4]Rachid Echahed:
On Comleteness of Narrowing Strategies. CAAP 1988: 89-101 - [c3]Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier:
LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377 - 1987
- [c2]Didier Bert, Pascal Drabik, Rachid Echahed:
LPG: A Generic, Logic and Functional Programming Language. STACS 1987: 468-469 - 1986
- [c1]Didier Bert, Rachid Echahed:
Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986: 119-132
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint