| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 51 |       | Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR abs/1101.3417: (2011) |
| 49 | | Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. ECEASST 41: (2011) |
| 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) |
| 42 | | Dominique Duval, Rachid Echahed, Frédéric Prost: A Cloning Pushout Approach to Term-Graph Transformation CoRR abs/0811.3400: (2008) |
| 39 | | Dominique Duval, Rachid Echahed, Frédéric Prost: Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136 |
| 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) |
| 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) |
| 30 | | Rachid Echahed, Frédéric Prost, Wendelin Serwe: Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101 |
Selection of 12 from 52 records - Rachid Echahed has 34 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page