The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rachid Echahed: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rachid Echahed
    Uniform Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:259-275 [Conf]
  2. 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]
  3. Rachid Echahed
    On Comleteness of Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:89-101 [Conf]
  4. 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]
  5. Rachid Echahed, Wendelin Serwe
    Combining Mobile Processes and Declarative Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:300-314 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Rachid Echahed, Nicolas Peltier
    Narrowing Data-Structures with Pointers. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:92-106 [Conf]
  12. 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]
  13. 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]
  14. Sergio Antoy, Rachid Echahed, Michael Hanus
    Parallel Evaluation Strategies for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:138-152 [Conf]
  15. Rachid Echahed, Jean-Christophe Janodet
    Admissible Graph Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:325-342 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Sergio Antoy, Rachid Echahed, Michael Hanus
    A Needed Narrowing Strategy. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:268-279 [Conf]
  20. 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]
  21. Jérémie Blanc, Rachid Echahed
    A generic operator over discrete time intervals. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:145-155 [Conf]
  22. Ricardo Caferra, Rachid Echahed, Nicolas Peltier
    Rewriting term-graphs with priority. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:109-120 [Conf]
  23. Rachid Echahed, Frédéric Prost
    Security policy in a declarative style. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:153-163 [Conf]
  24. 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]
  25. Didier Bert, Rachid Echahed, Bjarte M. Østvold
    Abstract Rewriting. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:178-192 [Conf]
  26. 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]
  27. Didier Bert, Rachid Echahed
    Abstraction of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:162-176 [Conf]
  28. 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]
  29. 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]
  30. Rachid Echahed, Jean-Christophe Janodet
    Parallel Admissible Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:122-137 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Dominique Duval, Rachid Echahed, Frédéric Prost
    Data-Structure Rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  39. Inductively Sequential Term-Graph Rewrite Systems. [Citation Graph (, )][DBLP]


  40. A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP]


  41. Handling declared information leakage: extended abstract. [Citation Graph (, )][DBLP]


  42. A Needed Rewriting Strategy for Data-Structures with Pointers. [Citation Graph (, )][DBLP]


  43. A Heterogeneous Pushout Approach to Term-Graph Transformation. [Citation Graph (, )][DBLP]


  44. A Cloning Pushout Approach to Term-Graph Transformation [Citation Graph (, )][DBLP]


  45. Graph rewriting with polarized cloning [Citation Graph (, )][DBLP]


  46. A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP]


  47. On Term-Graph Rewrite Strategies. [Citation Graph (, )][DBLP]


  48. Preface. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002