Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rachid Echahed
2010 – today
- 2013
[j10]- [c40]Mohamed Chaabani, Rachid Echahed, Martin Strecker: Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics 2013: 616-627
- [c39]Mohamed Chaabani, Rachid Echahed, Martin Strecker: Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI 2013: 521-532
- [e2]Rachid Echahed, Detlef Plump (Eds.): Proceedings 7th International Workshop on Computing with Terms and Graphs. EPTCS 110, 2013
- 2012
- [c38]Dominique Duval, Rachid Echahed, Frédéric Prost: Graph Transformation with Focus on Incident Edges. ICGT 2012: 156-171
- 2011
- [j9]
- [j8]Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. ECEASST 41 (2011)
- [e1]
- [i5]Dominique Duval, Rachid Echahed, Frédéric Prost: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. CoRR abs/1101.3417 (2011)
- 2010
- [c37]Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74
- [i4]Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Modal Logic for Termgraph Rewriting. CoRR abs/1003.4369 (2010)
2000 – 2009
- 2009
- [c36]Dominique Duval, Rachid Echahed, Frédéric Prost: A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA 2009: 194-208
- [i3]Dominique Duval, Rachid Echahed, Frédéric Prost: Graph rewriting with polarized cloning. CoRR abs/0911.3786 (2009)
- 2008
- [j7]Rachid Echahed: On Term-Graph Rewrite Strategies. Electr. Notes Theor. Comput. Sci. 204: 99-110 (2008)
- [j6]
- [c35]
- [c34]Rachid Echahed, Nicolas Peltier: A Needed Rewriting Strategy for Data-Structures with Pointers. RTA 2008: 63-78
- [i2]Dominique Duval, Rachid Echahed, Frédéric Prost: A Cloning Pushout Approach to Term-Graph Transformation. CoRR abs/0811.3400 (2008)
- 2007
- [j5]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)
- [c33]Dominique Duval, Rachid Echahed, Frédéric Prost: Adjunction for Garbage Collection with Application to Graph Rewriting. RTA 2007: 122-136
- [c32]Rachid Echahed, Nicolas Peltier: Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. RTA 2007: 137-152
- 2006
- [c31]
- [c30]Ricardo Caferra, Rachid Echahed, Nicolas Peltier: Rewriting term-graphs with priority. PPDP 2006: 109-120
- 2005
- [c29]Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost: Specializing Narrowing for Timetable Generation: A Case Study. PADL 2005: 22-36
- [c28]Rachid Echahed, Frédéric Prost: Handling declared information leakage: extended abstract. WITS 2005: 1-4
- [c27]
- [i1]Dominique Duval, Rachid Echahed, Frédéric Prost: Data-Structure Rewriting. CoRR abs/cs/0503065 (2005)
- 2003
- [c26]Rachid Echahed, Frédéric Prost, Wendelin Serwe: Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101
- 2002
- [j4]Rachid Echahed, Wendelin Serwe: Defining Actions in Concurrent Declarative Programming. Electr. Notes Theor. Comput. Sci. 64: 176-194 (2002)
- [j3]María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
- [c25]
- [c24]Jérémie Blanc, Rachid Echahed: On the Operational Semantics of Timed Rewrite Systems. TIME 2002: 10-17
- 2000
- [j2]Sergio Antoy, Rachid Echahed, Michael Hanus: A needed narrowing strategy. J. ACM 47(4): 776-822 (2000)
- [c23]Rachid Echahed, Wendelin Serwe: Combining Mobile Processes and Declarative Programming. Computational Logic 2000: 300-314
1990 – 1999
- 1998
- [c22]Rachid Echahed, Jean-Christophe Janodet: Admissible Graph Rewriting and Narrowing. IJCSLP 1998: 325-342
- [c21]
- 1997
- [c20]Sergio Antoy, Rachid Echahed, Michael Hanus: Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152
- 1996
- [c19]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
- [c18]Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: On the Verification Problem of Nonregular Properties for Nonregular Processes. LICS 1995: 123-133
- [c17]Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: Verifying Infinite State Processes with Sequential and Parallel Composition. POPL 1995: 95-106
- [c16]
- 1994
- [c15]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
- [c14]Didier Bert, Rachid Echahed: On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994: 132-152
- [c13]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994: 81-97
- [c12]Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210
- [c11]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
- [c10]Didier Bert, Rachid Echahed: Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms 1994: 76-93
- [c9]
- 1993
- [c8]Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis: On Model Checking for Real-Time Properties with Durations. LICS 1993: 147-159
- [c7]
- 1992
- [c6]
- 1991
- [c5]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
- [j1]Rachid Echahed: On Completeness of Narrowing Strategies. Theor. Comput. Sci. 72(2&3): 133-146 (1990)
1980 – 1989
- 1988
- [c4]
- [c3]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
- [c2]Didier Bert, Pascal Drabik, Rachid Echahed: LPG: A Generic, Logic and Functional Programming Language. STACS 1987: 468-469
- 1986
- [c1]Didier Bert, Rachid Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986: 119-132
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:11 CEST by the dblp team