Rachid Echahed

	2011
52		Rachid Echahed: Proceedings 6th International Workshop on Computing with Terms and Graphs TERMGRAPH 2011
51		Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR abs/1101.3417: (2011)
50		Rachid Echahed, Annegret Habel, Mohamed Mosbah: Graph Computation Models. ECEASST 39: (2011)
49		Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. ECEASST 41: (2011)
	2010
48		Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74
47		Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Modal Logic for Termgraph Rewriting CoRR abs/1003.4369: (2010)
	2009
46		Dominique Duval, Rachid Echahed, Frédéric Prost: A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA 2009: 194-208
45		Dominique Duval, Rachid Echahed, Frédéric Prost: Graph rewriting with polarized cloning CoRR abs/0911.3786: (2009)
	2008
44		Rachid Echahed: Inductively Sequential Term-Graph Rewrite Systems. ICGT 2008: 84-98
43		Rachid Echahed, Nicolas Peltier: A Needed Rewriting Strategy for Data-Structures with Pointers. RTA 2008: 63-78
42		Dominique Duval, Rachid Echahed, Frédéric Prost: A Cloning Pushout Approach to Term-Graph Transformation CoRR abs/0811.3400: (2008)
41		Rachid Echahed: On Term-Graph Rewrite Strategies. Electr. Notes Theor. Comput. Sci. 204: 99-110 (2008)
40		Rachid Echahed: Preface. Electr. Notes Theor. Comput. Sci. 216: 1-2 (2008)
	2007
39		Dominique Duval, Rachid Echahed, Frédéric Prost: Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136
38		Rachid Echahed, Nicolas Peltier: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. RTA 2007: 137-152
37		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		Rachid Echahed, Nicolas Peltier: Narrowing Data-Structures with Pointers. ICGT 2006: 92-106
35		Ricardo Caferra, Rachid Echahed, Nicolas Peltier: Rewriting term-graphs with priority. PPDP 2006: 109-120
	2005
34		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		Rachid Echahed, Frédéric Prost: Security policy in a declarative style. PPDP 2005: 153-163
32		Rachid Echahed, Frédéric Prost: Handling declared information leakage: extended abstract. WITS 2005: 1-4
31		Dominique Duval, Rachid Echahed, Frédéric Prost: Data-Structure Rewriting CoRR abs/cs/0503065: (2005)
	2003
30		Rachid Echahed, Frédéric Prost, Wendelin Serwe: Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101
	2002
29		Jérémie Blanc, Rachid Echahed: A generic operator over discrete time intervals. PPDP 2002: 145-155
28		Jérémie Blanc, Rachid Echahed: On the Operational Semantics of Timed Rewrite Systems. TIME 2002: 10-
27		Rachid Echahed, Wendelin Serwe: Defining Actions in Concurrent Declarative Programming. Electr. Notes Theor. Comput. Sci. 64: 176-194 (2002)
26		María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
	2000
25		Rachid Echahed, Wendelin Serwe: Combining Mobile Processes and Declarative Programming. Computational Logic 2000: 300-314
24		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		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page