2008 |
44 | EE | Rachid Echahed:
Inductively Sequential Term-Graph Rewrite Systems.
ICGT 2008: 84-98 |
43 | EE | Rachid Echahed,
Nicolas Peltier:
A Needed Rewriting Strategy for Data-Structures with Pointers.
RTA 2008: 63-78 |
42 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
A Cloning Pushout Approach to Term-Graph Transformation
CoRR abs/0811.3400: (2008) |
41 | EE | Rachid Echahed:
On Term-Graph Rewrite Strategies.
Electr. Notes Theor. Comput. Sci. 204: 99-110 (2008) |
40 | EE | Rachid Echahed:
Preface.
Electr. Notes Theor. Comput. Sci. 216: 1-2 (2008) |
2007 |
39 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Adjunction for Garbage Collection with Application to Graph Rewriting.
RTA 2007: 122-136 |
38 | EE | Rachid Echahed,
Nicolas Peltier:
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.
RTA 2007: 137-152 |
37 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Modeling Pointer Redirection as Cyclic Term-graph Rewriting.
Electr. Notes Theor. Comput. Sci. 176(1): 65-84 (2007) |
2006 |
36 | EE | Rachid Echahed,
Nicolas Peltier:
Narrowing Data-Structures with Pointers.
ICGT 2006: 92-106 |
35 | EE | Ricardo Caferra,
Rachid Echahed,
Nicolas Peltier:
Rewriting term-graphs with priority.
PPDP 2006: 109-120 |
2005 |
34 | EE | Nadia Brauner,
Rachid Echahed,
Gerd Finke,
Hanns Gregor,
Frédéric Prost:
Specializing Narrowing for Timetable Generation: A Case Study.
PADL 2005: 22-36 |
33 | EE | Rachid Echahed,
Frédéric Prost:
Security policy in a declarative style.
PPDP 2005: 153-163 |
32 | EE | Rachid Echahed,
Frédéric Prost:
Handling declared information leakage: extended abstract.
WITS 2005: 1-4 |
31 | EE | Dominique Duval,
Rachid Echahed,
Frédéric Prost:
Data-Structure Rewriting
CoRR abs/cs/0503065: (2005) |
2003 |
30 | EE | Rachid Echahed,
Frédéric Prost,
Wendelin Serwe:
Statically assuring secrecy for dynamic concurrent processes.
PPDP 2003: 91-101 |
2002 |
29 | EE | Jérémie Blanc,
Rachid Echahed:
A generic operator over discrete time intervals.
PPDP 2002: 145-155 |
28 | EE | Jérémie Blanc,
Rachid Echahed:
On the Operational Semantics of Timed Rewrite Systems.
TIME 2002: 10- |
27 | EE | Rachid Echahed,
Wendelin Serwe:
Defining Actions in Concurrent Declarative Programming.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
26 | EE | María Alpuente,
Rachid Echahed,
Santiago Escobar,
Salvador Lucas:
Redundancy of Arguments Reduced to Induction.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
2000 |
25 | EE | Rachid Echahed,
Wendelin Serwe:
Combining Mobile Processes and Declarative Programming.
Computational Logic 2000: 300-314 |
24 | EE | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
A needed narrowing strategy.
J. ACM 47(4): 776-822 (2000) |
1998 |
23 | | Rachid Echahed,
Jean-Christophe Janodet:
Admissible Graph Rewriting and Narrowing.
IJCSLP 1998: 325-342 |
22 | EE | Rachid Echahed,
Jean-Christophe Janodet:
Parallel Admissible Graph Rewriting.
WADT 1998: 122-137 |
1997 |
21 | | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
Parallel Evaluation Strategies for Functional Logic Languages.
ICLP 1997: 138-152 |
1996 |
20 | | 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 |
19 | | Didier Bert,
Rachid Echahed:
Abstraction of Conditional Term Rewriting Systems.
ILPS 1995: 162-176 |
18 | | Ahmed Bouajjani,
Rachid Echahed,
Peter Habermehl:
On the Verification Problem of Nonregular Properties for Nonregular Processes
LICS 1995: 123-133 |
17 | | Ahmed Bouajjani,
Rachid Echahed,
Peter Habermehl:
Verifying Infinite State Processes with Sequential and Parallel Composition.
POPL 1995: 95-106 |
1994 |
16 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verification of Context-Free Timed Systems Using Linear Hybrid Observers.
CAV 1994: 118-131 |
15 | | Didier Bert,
Rachid Echahed:
On the Operational Semantics of the Algebraic and Logic Programming Language LPG.
COMPASS/ADT 1994: 132-152 |
14 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verification of Nonregular Temporal Properties for Context-Free Processes.
CONCUR 1994: 81-97 |
13 | | Ahmed Bouajjani,
Rachid Echahed,
Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables.
FTRTFT 1994: 193-210 |
12 | | 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 |
11 | EE | Didier Bert,
Rachid Echahed:
Integrating Disequations in the Algebraic and Logic Programming Language LPG.
ICLP Workshop: Integration of Declarative Paradigms 1994: 76-93 |
10 | | Sergio Antoy,
Rachid Echahed,
Michael Hanus:
A Needed Narrowing Strategy.
POPL 1994: 268-279 |
1993 |
9 | | Ahmed Bouajjani,
Rachid Echahed,
Joseph Sifakis:
On Model Checking for Real-Time Properties with Durations
LICS 1993: 147-159 |
8 | | Didier Bert,
Rachid Echahed,
Bjarte M. Østvold:
Abstract Rewriting.
WSA 1993: 178-192 |
1992 |
7 | | Rachid Echahed:
Uniform Narrowing Strategies.
ALP 1992: 259-275 |
1991 |
6 | | 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 |
5 | | Rachid Echahed:
On Completeness of Narrowing Strategies.
Theor. Comput. Sci. 72(2&3): 133-146 (1990) |
1988 |
4 | | Rachid Echahed:
On Comleteness of Narrowing Strategies.
CAAP 1988: 89-101 |
3 | | Didier Bert,
Pascal Drabik,
Rachid Echahed,
Olivier Declerfayt,
Demeuse Demeuse,
Pierre-Yves Schobbens,
François Wautier:
LPG: A Generic, Logic and Functional Programming Language.
ESOP 1988: 376-377 |
1987 |
2 | | Didier Bert,
Pascal Drabik,
Rachid Echahed:
LPG: A Generic, Logic and Functional Programming Language.
STACS 1987: 468-469 |
1986 |
1 | | Didier Bert,
Rachid Echahed:
Design and Implementation of a Generic, Logic and Functional Programming Language.
ESOP 1986: 119-132 |