dblp.uni-trier.dewww.uni-trier.de

Rachid Echahed

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
44EERachid Echahed: Inductively Sequential Term-Graph Rewrite Systems. ICGT 2008: 84-98
43EERachid Echahed, Nicolas Peltier: A Needed Rewriting Strategy for Data-Structures with Pointers. RTA 2008: 63-78
42EEDominique Duval, Rachid Echahed, Frédéric Prost: A Cloning Pushout Approach to Term-Graph Transformation CoRR abs/0811.3400: (2008)
41EERachid Echahed: On Term-Graph Rewrite Strategies. Electr. Notes Theor. Comput. Sci. 204: 99-110 (2008)
40EERachid Echahed: Preface. Electr. Notes Theor. Comput. Sci. 216: 1-2 (2008)
2007
39EEDominique Duval, Rachid Echahed, Frédéric Prost: Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136
38EERachid Echahed, Nicolas Peltier: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. RTA 2007: 137-152
37EEDominique 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
36EERachid Echahed, Nicolas Peltier: Narrowing Data-Structures with Pointers. ICGT 2006: 92-106
35EERicardo Caferra, Rachid Echahed, Nicolas Peltier: Rewriting term-graphs with priority. PPDP 2006: 109-120
2005
34EENadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost: Specializing Narrowing for Timetable Generation: A Case Study. PADL 2005: 22-36
33EERachid Echahed, Frédéric Prost: Security policy in a declarative style. PPDP 2005: 153-163
32EERachid Echahed, Frédéric Prost: Handling declared information leakage: extended abstract. WITS 2005: 1-4
31EEDominique Duval, Rachid Echahed, Frédéric Prost: Data-Structure Rewriting CoRR abs/cs/0503065: (2005)
2003
30EERachid Echahed, Frédéric Prost, Wendelin Serwe: Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101
2002
29EEJérémie Blanc, Rachid Echahed: A generic operator over discrete time intervals. PPDP 2002: 145-155
28EEJérémie Blanc, Rachid Echahed: On the Operational Semantics of Timed Rewrite Systems. TIME 2002: 10-
27EERachid Echahed, Wendelin Serwe: Defining Actions in Concurrent Declarative Programming. Electr. Notes Theor. Comput. Sci. 64: (2002)
26EEMaría Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: (2002)
2000
25EERachid Echahed, Wendelin Serwe: Combining Mobile Processes and Declarative Programming. Computational Logic 2000: 300-314
24EESergio 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
22EERachid 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
11EEDidier 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

Coauthor Index

1Kamel Adi [20]
2María Alpuente [26]
3Sergio Antoy [10] [21] [24]
4Didier Bert [1] [2] [3] [8] [11] [15] [19] [20]
5Jérémie Blanc [28] [29]
6Ahmed Bouajjani [9] [12] [13] [14] [16] [17] [18]
7Nadia Brauner [34]
8Ricardo Caferra [35]
9Olivier Declerfayt [3]
10Demeuse Demeuse [3]
11Pascal Drabik [2] [3]
12Dominique Duval [31] [37] [39] [42]
13Santiago Escobar [26]
14Gerd Finke [34]
15Hanns Gregor [34]
16Peter Habermehl [17] [18]
17Michael Hanus [10] [21] [24]
18Paul Jacquet [6]
19Jean-Christophe Janodet [22] [23]
20Salvador Lucas [26]
21Bjarte M. Østvold [8]
22Nicolas Peltier [35] [36] [38] [43]
23Marie-Laure Potet [6]
24Frédéric Prost [30] [31] [32] [33] [34] [37] [39] [42]
25Riadh Robbana [12] [13] [14] [16]
26Pierre-Yves Schobbens [3]
27Sadik Sebbar [6]
28Wendelin Serwe [25] [27] [30]
29Joseph Sifakis [9]
30François Wautier [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)