|
Search the dblp DataBase
Rachid Echahed:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rachid Echahed
Uniform Narrowing Strategies. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:259-275 [Conf]
- Didier Bert, Rachid Echahed, Kamel Adi
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:629-632 [Conf]
- Rachid Echahed
On Comleteness of Narrowing Strategies. [Citation Graph (0, 0)][DBLP] CAAP, 1988, pp:89-101 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Context-Free Timed Systems Using Linear Hybrid Observers. [Citation Graph (0, 0)][DBLP] CAV, 1994, pp:118-131 [Conf]
- Rachid Echahed, Wendelin Serwe
Combining Mobile Processes and Declarative Programming. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:300-314 [Conf]
- Didier Bert, Rachid Echahed
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1994, pp:132-152 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Nonregular Temporal Properties for Context-Free Processes. [Citation Graph (0, 0)][DBLP] CONCUR, 1994, pp:81-97 [Conf]
- Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier
LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP] ESOP, 1988, pp:376-377 [Conf]
- Didier Bert, Rachid Echahed
Design and Implementation of a Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP] ESOP, 1986, pp:119-132 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verfying Invariance Properties of Timed Systems with Duration Variables. [Citation Graph (0, 0)][DBLP] FTRTFT, 1994, pp:193-210 [Conf]
- Rachid Echahed, Nicolas Peltier
Narrowing Data-Structures with Pointers. [Citation Graph (0, 0)][DBLP] ICGT, 2006, pp:92-106 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1994, pp:64-85 [Conf]
- Didier Bert, Rachid Echahed
Integrating Disequations in the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:76-93 [Conf]
- Sergio Antoy, Rachid Echahed, Michael Hanus
Parallel Evaluation Strategies for Functional Logic Languages. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:138-152 [Conf]
- Rachid Echahed, Jean-Christophe Janodet
Admissible Graph Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP] IJCSLP, 1998, pp:325-342 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
On the Verification Problem of Nonregular Properties for Nonregular Processes [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:123-133 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis
On Model Checking for Real-Time Properties with Durations [Citation Graph (0, 0)][DBLP] LICS, 1993, pp:147-159 [Conf]
- Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost
Specializing Narrowing for Timetable Generation: A Case Study. [Citation Graph (0, 0)][DBLP] PADL, 2005, pp:22-36 [Conf]
- Sergio Antoy, Rachid Echahed, Michael Hanus
A Needed Narrowing Strategy. [Citation Graph (0, 0)][DBLP] POPL, 1994, pp:268-279 [Conf]
- Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
Verifying Infinite State Processes with Sequential and Parallel Composition. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:95-106 [Conf]
- Jérémie Blanc, Rachid Echahed
A generic operator over discrete time intervals. [Citation Graph (0, 0)][DBLP] PPDP, 2002, pp:145-155 [Conf]
- Ricardo Caferra, Rachid Echahed, Nicolas Peltier
Rewriting term-graphs with priority. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:109-120 [Conf]
- Rachid Echahed, Frédéric Prost
Security policy in a declarative style. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:153-163 [Conf]
- Rachid Echahed, Frédéric Prost, Wendelin Serwe
Statically assuring secrecy for dynamic concurrent processes. [Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:91-101 [Conf]
- Didier Bert, Rachid Echahed, Bjarte M. Østvold
Abstract Rewriting. [Citation Graph (0, 0)][DBLP] WSA, 1993, pp:178-192 [Conf]
- Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. [Citation Graph (0, 0)][DBLP] JTASPEFT/WSA, 1991, pp:53-61 [Conf]
- Didier Bert, Rachid Echahed
Abstraction of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:162-176 [Conf]
- Didier Bert, Pascal Drabik, Rachid Echahed
LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP] STACS, 1987, pp:468-469 [Conf]
- Jérémie Blanc, Rachid Echahed
On the Operational Semantics of Timed Rewrite Systems. [Citation Graph (0, 0)][DBLP] TIME, 2002, pp:10-0 [Conf]
- Rachid Echahed, Jean-Christophe Janodet
Parallel Admissible Graph Rewriting. [Citation Graph (0, 0)][DBLP] WADT, 1998, pp:122-137 [Conf]
- María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
Redundancy of Arguments Reduced to Induction. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
- Rachid Echahed, Wendelin Serwe
Defining Actions in Concurrent Declarative Programming. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
- Dominique Duval, Rachid Echahed, Frédéric Prost
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:65-84 [Journal]
- Sergio Antoy, Rachid Echahed, Michael Hanus
A needed narrowing strategy. [Citation Graph (0, 0)][DBLP] J. ACM, 2000, v:47, n:4, pp:776-822 [Journal]
- Rachid Echahed
On Completeness of Narrowing Strategies. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:72, n:2&3, pp:133-146 [Journal]
- Dominique Duval, Rachid Echahed, Frédéric Prost
Adjunction for Garbage Collection with Application to Graph Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:122-136 [Conf]
- Rachid Echahed, Nicolas Peltier
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. [Citation Graph (0, 0)][DBLP] RTA, 2007, pp:137-152 [Conf]
- Dominique Duval, Rachid Echahed, Frédéric Prost
Data-Structure Rewriting [Citation Graph (0, 0)][DBLP] CoRR, 2005, v:0, n:, pp:- [Journal]
Inductively Sequential Term-Graph Rewrite Systems. [Citation Graph (, )][DBLP]
A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP]
Handling declared information leakage: extended abstract. [Citation Graph (, )][DBLP]
A Needed Rewriting Strategy for Data-Structures with Pointers. [Citation Graph (, )][DBLP]
A Heterogeneous Pushout Approach to Term-Graph Transformation. [Citation Graph (, )][DBLP]
A Cloning Pushout Approach to Term-Graph Transformation [Citation Graph (, )][DBLP]
Graph rewriting with polarized cloning [Citation Graph (, )][DBLP]
A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP]
On Term-Graph Rewrite Strategies. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.054secs, Finished in 0.056secs
|