Travelled to:1 × Austria
1 × Belgium
1 × Portugal
1 × Sweden
1 × The Netherlands
2 × Brazil
2 × Germany
3 × France
3 × United Kingdom
4 × Italy
7 × USA
Collaborated with:F.Prost N.Peltier D.Duval D.Bert ∅ A.Bouajjani W.Serwe S.Antoy M.Hanus P.Habermehl J.Blanc J.Janodet L.Ribeiro P.Balbiani A.Herzig R.Caferra R.Robbana B.M.Østvold P.Jacquet M.Potet S.Sebbar A.Corradini N.Brauner G.Finke H.Gregor P.Drabik O.Declerfayt D.Demeuse P.Schobbens F.Wautier
Talks about:rewrit (11) graph (8) transform (5) system (5) narrow (5) structur (4) strategi (4) program (4) process (4) logic (4)
Person: Rachid Echahed
DBLP: Echahed:Rachid
Facilitated 2 volumes:
EdEdContributed to:
2015
20142012
20112010
20092008200820072006
2006
2005200520032002
2000
199819971995
1995
1995
19941994
199319921991
19881986Wrote 29 papers:
- ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
- AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
- FASE-2014-DuvalEPR
- Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
- ICGT-2012-DuvalEP #graph transformation
- Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
- GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
- Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
- ICGT-2010-BalbianiEH #graph grammar #logic
- A Dynamic Logic for Termgraph Rewriting (PB, RE, AH), pp. 59–74.
- RTA-2009-DuvalEP #approach #category theory #graph transformation
- A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
- ICGT-2008-Echahed #graph grammar #term rewriting
- Inductively Sequential Term-Graph Rewrite Systems (RE), pp. 84–98.
- RTA-2008-EchahedP #pointer
- A Needed Rewriting Strategy for Data-Structures with Pointers (RE, NP), pp. 63–78.
- RTA-2007-DuvalEP #garbage collection #graph grammar
- Adjunction for Garbage Collection with Application to Graph Rewriting (DD, RE, FP), pp. 122–136.
- RTA-2007-EchahedP #confluence #pointer #strict #term rewriting
- Non Strict Confluent Rewrite Systems for Data-Structures with Pointers (RE, NP), pp. 137–152.
- ICGT-2006-EchahedP #pointer
- Narrowing Data-Structures with Pointers (RE, NP), pp. 92–106.
- PPDP-2006-CaferraEP
- Rewriting term-graphs with priority (RC, RE, NP), pp. 109–120.
- PADL-2005-BraunerEFGP #case study #generative
- Specializing Narrowing for Timetable Generation: A Case Study (NB, RE, GF, HG, FP), pp. 22–36.
- PPDP-2005-EchahedP #declarative #policy #security
- Security policy in a declarative style (RE, FP), pp. 153–163.
- PPDP-2003-EchahedPS #concurrent #process
- Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.
- PPDP-2002-BlancE
- A generic operator over discrete time intervals (JB, RE), pp. 145–155.
- CL-2000-EchahedS #declarative #mobile #process #programming
- Combining Mobile Processes and Declarative Programming (RE, WS), pp. 300–314.
- JICSLP-1998-EchahedJ #graph grammar
- Admissible Graph Rewriting and Narrowing (RE, JCJ), pp. 325–342.
- ICLP-1997-AntoyEH #evaluation #functional #logic #parallel
- Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.
- ILPS-1995-DidierE #abstraction #term rewriting
- Abstraction of Conditional Term Rewriting Systems (DB, RE), pp. 162–176.
- LICS-1995-BouajjaniEH #on the #problem #process #verification
- On the Verification Problem of Nonregular Properties for Nonregular Processes (AB, RE, PH), pp. 123–133.
- POPL-1995-BouajjaniEH #composition #infinity #parallel #process #verification
- Verifying Infinite State Processes with Sequential and Parallel Composition (AB, RE, PH), pp. 95–106.
- CAV-1994-BouajjaniER #hybrid #linear #using #verification
- Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
- POPL-1994-AntoyEH
- A Needed Narrowing Strategy (SA, RE, MH), pp. 268–279.
- WSA-1993-BertEO
- Abstract Rewriting (DB, RE, BMØ), pp. 178–192.
- ALP-1992-Echahed
- Uniform Narrowing Strategies (RE), pp. 259–275.
- WSA-1991-EchahedJPS #case study #comparative #equation #program transformation
- Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.
- ESOP-1988-BertDEDDSW #functional #logic #named #programming language
- LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
- ESOP-1986-BertE #design #functional #implementation #logic #programming language
- Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.