BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Echahed:Rachid

Facilitated 2 volumes:

GCM 2012Ed
GCM 2010Ed

Contributed to:

ICGT 20152015
FASE 20142014
ICGT 20122012
GT-VMT 20112011
ICGT 20102010
RTA 20092009
ICGT 20082008
RTA 20082008
RTA 20072007
ICGT 20062006
PPDP 20062006
PADL 20052005
PPDP 20052005
PPDP 20032003
PPDP 20022002
CL 20002000
JICSLP 19981998
ICLP 19971997
ILPS 19951995
LICS 19951995
POPL 19951995
CAV 19941994
POPL 19941994
WSA 19931993
ALP 19921992
ESOP 19881988
ESOP 19861986

Wrote 29 papers:

ICGT-2015-CorradiniDEPR #algebra #graph grammar #named
AGREE — Algebraic Graph Rewriting with Controlled Embedding (AC, DD, RE, FP, LR), pp. 35–51.
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.
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.
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.
A Needed Narrowing Strategy (SA, RE, MH), pp. 268–279.
Abstract Rewriting (DB, RE, BMØ), pp. 178–192.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.