@inproceedings{BalbianiEH10,
  title = {A Dynamic Logic for Termgraph Rewriting},
  author = {Philippe Balbiani and Rachid Echahed and Andreas Herzig},
  year = {2010},
  doi = {10.1007/978-3-642-15928-2_5},
  url = {http://dx.doi.org/10.1007/978-3-642-15928-2_5},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/BalbianiEH10},
  cites = {0},
  citedby = {0},
  pages = {59-74},
  booktitle = {Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
  editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schürr},
  volume = {6372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15927-5},
}

@inproceedings{Echahed92,
  title = {Uniform Narrowing Strategies},
  author = {Rachid Echahed},
  year = {1992},
  researchr = {https://researchr.org/publication/Echahed92},
  cites = {0},
  citedby = {0},
  pages = {259-275},
  booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings},
  editor = {Hélène Kirchner and Giorgio Levi},
  volume = {632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55873-X},
}

@inproceedings{AntoyEH97,
  title = {Parallel Evaluation Strategies for Functional Logic Languages},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/AntoyEH97},
  cites = {0},
  citedby = {0},
  pages = {138-152},
  booktitle = {ICLP},
}

@inproceedings{EchahedP06,
  title = {Narrowing Data-Structures with Pointers},
  author = {Rachid Echahed and Nicolas Peltier},
  year = {2006},
  doi = {10.1007/11841883_8},
  url = {http://dx.doi.org/10.1007/11841883_8},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/EchahedP06},
  cites = {0},
  citedby = {0},
  pages = {92-106},
  booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
  editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg},
  volume = {4178},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38870-2},
}

@inproceedings{BertE94:0,
  title = {On the Operational Semantics of the Algebraic and Logic Programming Language LPG},
  author = {Didier Bert and Rachid Echahed},
  year = {1994},
  tags = {programming languages, semantics, logic programming,  algebra, programming, operational semantics, logic},
  researchr = {https://researchr.org/publication/BertE94%3A0},
  cites = {0},
  citedby = {0},
  pages = {132-152},
  booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers},
  editor = {Egidio Astesiano and Gianna Reggio and Andrzej Tarlecki},
  volume = {906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59132-X},
}

@inproceedings{BlancE02,
  title = {A generic operator over discrete time intervals},
  author = {Jérémie Blanc and Rachid Echahed},
  year = {2002},
  doi = {10.1145/571157.571172},
  url = {http://doi.acm.org/10.1145/571157.571172},
  researchr = {https://researchr.org/publication/BlancE02},
  cites = {0},
  citedby = {0},
  pages = {145-155},
  booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)},
  publisher = {ACM},
}

@inproceedings{BouajjaniER94:0,
  title = {Verification of Nonregular Temporal Properties for Context-Free Processes},
  author = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  year = {1994},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/BouajjaniER94%3A0},
  cites = {0},
  citedby = {0},
  pages = {81-97},
  booktitle = {CONCUR  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
  editor = {Bengt Jonsson and Joachim Parrow},
  volume = {836},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58329-7},
}

@inproceedings{BouajjaniES93,
  title = {On Model Checking for Real-Time Properties with Durations},
  author = {Ahmed Bouajjani and Rachid Echahed and Joseph Sifakis},
  year = {1993},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BouajjaniES93},
  cites = {0},
  citedby = {0},
  pages = {147-159},
  booktitle = {Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{EchahedP08,
  title = {A Needed Rewriting Strategy for Data-Structures with Pointers},
  author = {Rachid Echahed and Nicolas Peltier},
  year = {2008},
  doi = {10.1007/978-3-540-70590-1_5},
  url = {http://dx.doi.org/10.1007/978-3-540-70590-1_5},
  tags = {data-flow, graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/EchahedP08},
  cites = {0},
  citedby = {0},
  pages = {63-78},
  booktitle = {Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
  editor = {Andrei Voronkov},
  volume = {5117},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70588-8},
}

@inproceedings{BertE94,
  title = {Integrating Disequations in the Algebraic and Logic Programming Language LPG},
  author = {Didier Bert and Rachid Echahed},
  year = {1994},
  url = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper07.ps.Z},
  tags = {programming languages, logic programming,  algebra, programming, logic},
  researchr = {https://researchr.org/publication/BertE94},
  cites = {0},
  citedby = {0},
  pages = {76-93},
  booktitle = {ICLP},
}

@article{Echahed08a,
  title = {Preface},
  author = {Rachid Echahed},
  year = {2008},
  doi = {10.1016/j.entcs.2008.06.030},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.06.030},
  researchr = {https://researchr.org/publication/Echahed08a},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {216},
  pages = {1-2},
}

@inproceedings{EchahedPS03,
  title = {Statically assuring secrecy for dynamic concurrent processes},
  author = {Rachid Echahed and Frédéric Prost and Wendelin Serwe},
  year = {2003},
  doi = {10.1145/888251.888261},
  url = {http://doi.acm.org/10.1145/888251.888261},
  researchr = {https://researchr.org/publication/EchahedPS03},
  cites = {0},
  citedby = {0},
  pages = {91-101},
  booktitle = {Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden},
  publisher = {ACM},
  isbn = {1-58113-705-2},
}

@inproceedings{BlancE02:0,
  title = {On the Operational Semantics of Timed Rewrite Systems},
  author = {Jérémie Blanc and Rachid Echahed},
  year = {2002},
  url = {http://computer.org/proceedings/time/1474/14740010abs.htm},
  tags = {semantics, graph-rewriting, operational semantics, rewriting},
  researchr = {https://researchr.org/publication/BlancE02%3A0},
  cites = {0},
  citedby = {0},
  pages = {10},
  booktitle = {TIME},
}

@inproceedings{CaferraEP06,
  title = {Rewriting term-graphs with priority},
  author = {Ricardo Caferra and Rachid Echahed and Nicolas Peltier},
  year = {2006},
  doi = {10.1145/1140335.1140350},
  url = {http://doi.acm.org/10.1145/1140335.1140350},
  tags = {term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CaferraEP06},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy},
  editor = {Annalisa Bossi and Michael J. Maher},
  publisher = {ACM},
  isbn = {1-59593-388-3},
}

@article{DuvalEP07,
  title = {Modeling Pointer Redirection as Cyclic Term-graph Rewriting},
  author = {Dominique Duval and Rachid Echahed and Frédéric Prost},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.027},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.10.027},
  tags = {modeling, term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DuvalEP07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {176},
  number = {1},
  pages = {65-84},
}

@inproceedings{EchahedJ98:0,
  title = {Parallel Admissible Graph Rewriting},
  author = {Rachid Echahed and Jean-Christophe Janodet},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1589/15890122.htm},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EchahedJ98%3A0},
  cites = {0},
  citedby = {0},
  pages = {122-137},
  booktitle = {Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT  98, Lisbon, Portugal, April 2-4, 1998, Selected Papers},
  editor = {José Luiz Fiadeiro},
  volume = {1589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66246-4},
}

@inproceedings{EchahedP05,
  title = {Handling declared information leakage: extended abstract},
  author = {Rachid Echahed and Frédéric Prost},
  year = {2005},
  doi = {10.1145/1045405.1045406},
  url = {http://doi.acm.org/10.1145/1045405.1045406},
  researchr = {https://researchr.org/publication/EchahedP05},
  cites = {0},
  citedby = {0},
  pages = {1-4},
  booktitle = {Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005},
  editor = {Catherine Meadows},
  publisher = {ACM},
  isbn = {1-58113-980-2},
}

@inproceedings{AntoyEH94,
  title = {A Needed Narrowing Strategy},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  year = {1994},
  researchr = {https://researchr.org/publication/AntoyEH94},
  cites = {0},
  citedby = {0},
  pages = {268-279},
  booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{DuvalEP07:0,
  title = {Adjunction for Garbage Collection with Application to Graph Rewriting},
  author = {Dominique Duval and Rachid Echahed and Frédéric Prost},
  year = {2007},
  doi = {10.1007/978-3-540-73449-9_11},
  url = {http://dx.doi.org/10.1007/978-3-540-73449-9_11},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/DuvalEP07%3A0},
  cites = {0},
  citedby = {0},
  pages = {122-136},
  booktitle = {Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings},
  editor = {Franz Baader},
  volume = {4533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73447-5},
}

@inproceedings{EchahedP05:0,
  title = {Security policy in a declarative style},
  author = {Rachid Echahed and Frédéric Prost},
  year = {2005},
  doi = {10.1145/1069774.1069789},
  url = {http://doi.acm.org/10.1145/1069774.1069789},
  tags = {security},
  researchr = {https://researchr.org/publication/EchahedP05%3A0},
  cites = {0},
  citedby = {0},
  pages = {153-163},
  booktitle = {Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal},
  editor = {Pedro Barahona and Amy P. Felty},
  publisher = {ACM},
  isbn = {1-59593-090-6},
}

@inproceedings{EchahedS00,
  title = {Combining Mobile Processes and Declarative Programming},
  author = {Rachid Echahed and Wendelin Serwe},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1861/18610300.htm},
  tags = {programming, mobile},
  researchr = {https://researchr.org/publication/EchahedS00},
  cites = {0},
  citedby = {0},
  pages = {300-314},
  booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings},
  editor = {John W. Lloyd and Verónica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Luís Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey},
  volume = {1861},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67797-6},
}

@article{Echahed08:0,
  title = {On Term-Graph Rewrite Strategies},
  author = {Rachid Echahed},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.056},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.056},
  tags = {term rewriting, graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/Echahed08%3A0},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {204},
  pages = {99-110},
}

@inproceedings{EchahedJ98,
  title = {Admissible Graph Rewriting and Narrowing},
  author = {Rachid Echahed and Jean-Christophe Janodet},
  year = {1998},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EchahedJ98},
  cites = {0},
  citedby = {0},
  pages = {325-342},
  booktitle = {Implementation Technology for Programming Languages based on Logic},
}

@inproceedings{BertEO93,
  title = {Abstract Rewriting},
  author = {Didier Bert and Rachid Echahed and Bjarte M. Østvold},
  year = {1993},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BertEO93},
  cites = {0},
  citedby = {0},
  pages = {178-192},
  booktitle = {Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings},
  editor = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
  volume = {724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57264-3},
}

@article{AntoyEH00,
  title = {A needed narrowing strategy},
  author = {Sergio Antoy and Rachid Echahed and Michael Hanus},
  year = {2000},
  doi = {10.1145/347476.347484},
  url = {http://doi.acm.org/10.1145/347476.347484},
  researchr = {https://researchr.org/publication/AntoyEH00},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {47},
  number = {4},
  pages = {776-822},
}

@article{EchahedS02,
  title = {Defining Actions in Concurrent Declarative Programming},
  author = {Rachid Echahed and Wendelin Serwe},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#008},
  tags = {programming},
  researchr = {https://researchr.org/publication/EchahedS02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {64},
  pages = {176-194},
}

@article{Echahed90,
  title = {On Completeness of Narrowing Strategies},
  author = {Rachid Echahed},
  year = {1990},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Echahed90},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {72},
  number = {2&3},
  pages = {133-146},
}

@inproceedings{BouajjaniER94:1,
  title = {Verfying Invariance Properties of Timed Systems with Duration Variables},
  author = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  year = {1994},
  researchr = {https://researchr.org/publication/BouajjaniER94%3A1},
  cites = {0},
  citedby = {0},
  pages = {193-210},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings},
  editor = {Hans Langmaack and Willem P. de Roever and Jan Vytopil},
  volume = {863},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58468-4},
}

@inproceedings{BouajjaniEH95,
  title = {On the Verification Problem of Nonregular Properties for Nonregular Processes},
  author = {Ahmed Bouajjani and Rachid Echahed and Peter Habermehl},
  year = {1995},
  researchr = {https://researchr.org/publication/BouajjaniEH95},
  cites = {0},
  citedby = {0},
  pages = {123-133},
  booktitle = {Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{Echahed08,
  title = {Inductively Sequential Term-Graph Rewrite Systems},
  author = {Rachid Echahed},
  year = {2008},
  doi = {10.1007/978-3-540-87405-8_7},
  url = {http://dx.doi.org/10.1007/978-3-540-87405-8_7},
  tags = {term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Echahed08},
  cites = {0},
  citedby = {0},
  pages = {84-98},
  booktitle = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
  volume = {5214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87404-1},
}

@inproceedings{BouajjaniER94,
  title = {Verification of Context-Free Timed Systems Using Linear Hybrid Observers},
  author = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  year = {1994},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/BouajjaniER94},
  cites = {0},
  citedby = {0},
  pages = {118-131},
  booktitle = {Computer Aided Verification, 6th International Conference, CAV  94, Stanford, California, USA, June 21-23, 1994, Proceedings},
  editor = {David L. Dill},
  volume = {818},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58179-0},
}

@inproceedings{BouajjaniEH95:0,
  title = {Verifying Infinite State Processes with Sequential and Parallel Composition},
  author = {Ahmed Bouajjani and Rachid Echahed and Peter Habermehl},
  year = {1995},
  tags = {composition},
  researchr = {https://researchr.org/publication/BouajjaniEH95%3A0},
  cites = {0},
  citedby = {0},
  pages = {95-106},
  booktitle = {POPL},
}

@inproceedings{DidierE95,
  title = {Abstraction of Conditional Term Rewriting Systems},
  author = {Didier Bert and Rachid Echahed},
  year = {1995},
  tags = {term rewriting, graph-rewriting, abstraction, rewriting},
  researchr = {https://researchr.org/publication/DidierE95},
  cites = {0},
  citedby = {0},
  pages = {162-176},
  booktitle = {ILPS},
}

@inproceedings{DuvalEP09,
  title = {A Heterogeneous Pushout Approach to Term-Graph Transformation},
  author = {Dominique Duval and Rachid Echahed and Frédéric Prost},
  year = {2009},
  doi = {10.1007/978-3-642-02348-4_14},
  url = {http://dx.doi.org/10.1007/978-3-642-02348-4_14},
  tags = {graph transformation, term rewriting, graph-rewriting, rewriting, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/DuvalEP09},
  cites = {0},
  citedby = {0},
  pages = {194-208},
  booktitle = {Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings},
  editor = {Ralf Treinen},
  volume = {5595},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02347-7},
}

@inproceedings{BraunerEFGP05,
  title = {Specializing Narrowing for Timetable Generation: A Case Study},
  author = {Nadia Brauner and Rachid Echahed and Gerd Finke and Hanns Gregor and Frédéric Prost},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=22},
  tags = {case study},
  researchr = {https://researchr.org/publication/BraunerEFGP05},
  cites = {0},
  citedby = {0},
  pages = {22-36},
  booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
  editor = {Manuel V. Hermenegildo and Daniel Cabeza},
  volume = {3350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24362-3},
}

@inproceedings{BertEA96,
  title = {Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation},
  author = {Didier Bert and Rachid Echahed and Kamel Adi},
  year = {1996},
  tags = {programming languages, functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/BertEA96},
  cites = {0},
  citedby = {0},
  pages = {629-632},
  booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST  96, Munich, Germany, July 1-5, 1996, Proceedings},
  editor = {Martin Wirsing and Maurice Nivat},
  volume = {1101},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61463-X},
}

@inproceedings{BertDE87,
  title = {LPG: A Generic, Logic and Functional Programming Language},
  author = {Didier Bert and Pascal Drabik and Rachid Echahed},
  year = {1987},
  tags = {programming languages, generic programming, functional programming, logic programming, programming, logic, Pascal},
  researchr = {https://researchr.org/publication/BertDE87},
  cites = {0},
  citedby = {0},
  pages = {468-469},
  booktitle = {STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings},
  editor = {Franz-Josef Brandenburg and Guy Vidal-Naquet and Martin Wirsing},
  volume = {247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17219-X},
}

@inproceedings{BertE86,
  title = {Design and Implementation of a Generic, Logic and Functional Programming Language},
  author = {Didier Bert and Rachid Echahed},
  year = {1986},
  tags = {programming languages, generic programming, functional programming, language design, logic programming, programming, logic, design},
  researchr = {https://researchr.org/publication/BertE86},
  cites = {0},
  citedby = {0},
  pages = {119-132},
  booktitle = {ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings},
  editor = {Bernard Robinet and Reinhard Wilhelm},
  volume = {213},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16442-1},
}

@inproceedings{BertDEDDSW88,
  title = {LPG: A Generic, Logic and Functional Programming Language},
  author = {Didier Bert and Pascal Drabik and Rachid Echahed and Olivier Declerfayt and Demeuse Demeuse and Pierre Yves Schobbens and François Wautier},
  year = {1988},
  tags = {programming languages, generic programming, functional programming, logic programming, programming, logic, Pascal},
  researchr = {https://researchr.org/publication/BertDEDDSW88},
  cites = {0},
  citedby = {0},
  pages = {376-377},
  booktitle = {ESOP  88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings},
  editor = {Harald Ganzinger},
  volume = {300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19027-9},
}

@inproceedings{EchahedJPS91,
  title = {Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation},
  author = {Rachid Echahed and Paul Jacquet and Marie-Laure Potet and Sadik Sebbar},
  year = {1991},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/EchahedJPS91},
  cites = {0},
  citedby = {0},
  pages = {53-61},
  booktitle = {JTASPEFT/WSA},
}

@inproceedings{Echahed88,
  title = {On Comleteness of Narrowing Strategies},
  author = {Rachid Echahed},
  year = {1988},
  researchr = {https://researchr.org/publication/Echahed88},
  cites = {0},
  citedby = {0},
  pages = {89-101},
  booktitle = {CAAP  88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings},
  editor = {Max Dauchet and Maurice Nivat},
  volume = {299},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19021-X},
}

@inproceedings{BouajjaniER94:2,
  title = {On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures},
  author = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
  year = {1994},
  researchr = {https://researchr.org/publication/BouajjaniER94%3A2},
  cites = {0},
  citedby = {0},
  pages = {64-85},
  booktitle = {Hybrid Systems II},
  editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry},
  volume = {999},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60472-3},
}

@inproceedings{EchahedP07,
  title = {Non Strict Confluent Rewrite Systems for Data-Structures with Pointers},
  author = {Rachid Echahed and Nicolas Peltier},
  year = {2007},
  doi = {10.1007/978-3-540-73449-9_12},
  url = {http://dx.doi.org/10.1007/978-3-540-73449-9_12},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EchahedP07},
  cites = {0},
  citedby = {0},
  pages = {137-152},
  booktitle = {Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings},
  editor = {Franz Baader},
  volume = {4533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73447-5},
}