publications:
- title: "A Dynamic Logic for Termgraph Rewriting"
  author:
  - name: "Philippe Balbiani"
    link: "https://researchr.org/alias/philippe-balbiani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Andreas Herzig"
    link: "https://researchr.org/alias/andreas-herzig"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15928-2_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15928-2_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/BalbianiEH10"
  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:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Arend Rensink"
    link: "https://researchr.org/alias/arend-rensink"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Andy Schürr"
    link: "https://researchr.org/alias/andy-sch%C3%BCrr"
  volume: "6372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15927-5"
  kind: "inproceedings"
  key: "BalbianiEH10"
- title: "Uniform Narrowing Strategies"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55873-X"
  kind: "inproceedings"
  key: "Echahed92"
- title: "Parallel Evaluation Strategies for Functional Logic Languages"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AntoyEH97"
  cites: 0
  citedby: 0
  pages: "138-152"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AntoyEH97"
- title: "Narrowing Data-Structures with Pointers"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Nicolas Peltier"
    link: "https://researchr.org/alias/nicolas-peltier"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11841883_8"
  links:
    doi: "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:
  - name: "Andrea Corradini"
    link: "https://researchr.org/alias/andrea-corradini"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Leila Ribeiro"
    link: "https://researchr.org/alias/leila-ribeiro"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "4178"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-38870-2"
  kind: "inproceedings"
  key: "EchahedP06"
- title: "On the Operational Semantics of the Algebraic and Logic Programming Language LPG"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "906"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59132-X"
  kind: "inproceedings"
  key: "BertE94:0"
- title: "A generic operator over discrete time intervals"
  author:
  - name: "Jérémie Blanc"
    link: "https://researchr.org/alias/j%C3%A9r%C3%A9mie-blanc"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/571157.571172"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BlancE02"
- title: "Verification of Nonregular Temporal Properties for Context-Free Processes"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Riadh Robbana"
    link: "https://researchr.org/alias/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:
  - name: "Bengt Jonsson"
    link: "https://researchr.org/alias/bengt-jonsson"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  volume: "836"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58329-7"
  kind: "inproceedings"
  key: "BouajjaniER94:0"
- title: "On Model Checking for Real-Time Properties with Durations"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Joseph Sifakis"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "BouajjaniES93"
- title: "A Needed Rewriting Strategy for Data-Structures with Pointers"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Nicolas Peltier"
    link: "https://researchr.org/alias/nicolas-peltier"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70590-1_5"
  links:
    doi: "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:
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "5117"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70588-8"
  kind: "inproceedings"
  key: "EchahedP08"
- title: "Integrating Disequations in the Algebraic and Logic Programming Language LPG"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "1994"
  doi: "http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper07.ps.Z"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BertE94"
- title: "Preface"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.06.030"
  links:
    doi: "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"
  kind: "article"
  key: "Echahed08a"
- title: "Statically assuring secrecy for dynamic concurrent processes"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  - name: "Wendelin Serwe"
    link: "https://researchr.org/alias/wendelin-serwe"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/888251.888261"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "EchahedPS03"
- title: "On the Operational Semantics of Timed Rewrite Systems"
  author:
  - name: "Jérémie Blanc"
    link: "https://researchr.org/alias/j%C3%A9r%C3%A9mie-blanc"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "2002"
  doi: "http://computer.org/proceedings/time/1474/14740010abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BlancE02:0"
- title: "Rewriting term-graphs with priority"
  author:
  - name: "Ricardo Caferra"
    link: "https://researchr.org/alias/ricardo-caferra"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Nicolas Peltier"
    link: "https://researchr.org/alias/nicolas-peltier"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140350"
  links:
    doi: "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:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "CaferraEP06"
- title: "Modeling Pointer Redirection as Cyclic Term-graph Rewriting"
  author:
  - name: "Dominique Duval"
    link: "https://researchr.org/alias/dominique-duval"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.027"
  links:
    doi: "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"
  kind: "article"
  key: "DuvalEP07"
- title: "Parallel Admissible Graph Rewriting"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Jean-Christophe Janodet"
    link: "https://researchr.org/alias/jean-christophe-janodet"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890122.htm"
  links:
    doi: "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:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  volume: "1589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66246-4"
  kind: "inproceedings"
  key: "EchahedJ98:0"
- title: "Handling declared information leakage: extended abstract"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1045405.1045406"
  links:
    doi: "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:
  - name: "Catherine Meadows"
    link: "https://researchr.org/alias/catherine-meadows"
  publisher: "ACM"
  isbn: "1-58113-980-2"
  kind: "inproceedings"
  key: "EchahedP05"
- title: "A Needed Narrowing Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  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"
  kind: "inproceedings"
  key: "AntoyEH94"
- title: "Adjunction for Garbage Collection with Application to Graph Rewriting"
  author:
  - name: "Dominique Duval"
    link: "https://researchr.org/alias/dominique-duval"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_11"
  links:
    doi: "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:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  volume: "4533"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73447-5"
  kind: "inproceedings"
  key: "DuvalEP07:0"
- title: "Security policy in a declarative style"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1069774.1069789"
  links:
    doi: "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:
  - name: "Pedro Barahona"
    link: "https://researchr.org/alias/pedro-barahona"
  - name: "Amy P. Felty"
    link: "https://researchr.org/alias/amy-p.-felty"
  publisher: "ACM"
  isbn: "1-59593-090-6"
  kind: "inproceedings"
  key: "EchahedP05:0"
- title: "Combining Mobile Processes and Declarative Programming"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Wendelin Serwe"
    link: "https://researchr.org/alias/wendelin-serwe"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1861/18610300.htm"
  links:
    doi: "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:
  - name: "John W. Lloyd"
    link: "https://researchr.org/alias/john-w.-lloyd"
  - name: "Verónica Dahl"
    link: "https://researchr.org/alias/ver%C3%B3nica-dahl"
  - name: "Ulrich Furbach"
    link: "https://researchr.org/alias/ulrich-furbach"
  - name: "Manfred Kerber"
    link: "https://researchr.org/alias/manfred-kerber"
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  - name: "Luís Moniz Pereira"
    link: "https://researchr.org/alias/lu%C3%ADs-moniz-pereira"
  - name: "Yehoshua Sagiv"
    link: "https://researchr.org/alias/yehoshua-sagiv"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  volume: "1861"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67797-6"
  kind: "inproceedings"
  key: "EchahedS00"
- title: "On Term-Graph Rewrite Strategies"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.056"
  links:
    doi: "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"
  kind: "article"
  key: "Echahed08:0"
- title: "Admissible Graph Rewriting and Narrowing"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Jean-Christophe Janodet"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "EchahedJ98"
- title: "Abstract Rewriting"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Bjarte M. Østvold"
    link: "https://researchr.org/alias/bjarte-m.-%C3%B8stvold"
  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:
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Gilberto Filé"
    link: "https://researchr.org/alias/gilberto-fil%C3%A9"
  - name: "Antoine Rauzy"
    link: "https://researchr.org/alias/antoine-rauzy"
  volume: "724"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57264-3"
  kind: "inproceedings"
  key: "BertEO93"
- title: "A needed narrowing strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/347476.347484"
  links:
    doi: "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"
  kind: "article"
  key: "AntoyEH00"
- title: "Defining Actions in Concurrent Declarative Programming"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Wendelin Serwe"
    link: "https://researchr.org/alias/wendelin-serwe"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#008"
  links:
    doi: "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"
  kind: "article"
  key: "EchahedS02"
- title: "On Completeness of Narrowing Strategies"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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"
  kind: "article"
  key: "Echahed90"
- title: "Verfying Invariance Properties of Timed Systems with Duration Variables"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Riadh Robbana"
    link: "https://researchr.org/alias/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:
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Jan Vytopil"
    link: "https://researchr.org/alias/jan-vytopil"
  volume: "863"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58468-4"
  kind: "inproceedings"
  key: "BouajjaniER94:1"
- title: "On the Verification Problem of Nonregular Properties for Nonregular Processes"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Peter Habermehl"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "BouajjaniEH95"
- title: "Inductively Sequential Term-Graph Rewrite Systems"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87405-8_7"
  links:
    doi: "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:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Reiko Heckel"
    link: "http://www.cs.le.ac.uk/people/rh122/"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Gabriele Taentzer"
    link: "http://www.mathematik.uni-marburg.de/~taentzer/"
  volume: "5214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87404-1"
  kind: "inproceedings"
  key: "Echahed08"
- title: "Verification of Context-Free Timed Systems Using Linear Hybrid Observers"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Riadh Robbana"
    link: "https://researchr.org/alias/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:
  - name: "David L. Dill"
    link: "https://researchr.org/alias/david-l.-dill"
  volume: "818"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58179-0"
  kind: "inproceedings"
  key: "BouajjaniER94"
- title: "Verifying Infinite State Processes with Sequential and Parallel Composition"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Peter Habermehl"
    link: "https://researchr.org/alias/peter-habermehl"
  year: "1995"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BouajjaniEH95%3A0"
  cites: 0
  citedby: 0
  pages: "95-106"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "BouajjaniEH95:0"
- title: "Abstraction of Conditional Term Rewriting Systems"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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"
  kind: "inproceedings"
  key: "DidierE95"
- title: "A Heterogeneous Pushout Approach to Term-Graph Transformation"
  author:
  - name: "Dominique Duval"
    link: "https://researchr.org/alias/dominique-duval"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02348-4_14"
  links:
    doi: "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:
  - name: "Ralf Treinen"
    link: "https://researchr.org/alias/ralf-treinen"
  volume: "5595"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02347-7"
  kind: "inproceedings"
  key: "DuvalEP09"
- title: "Specializing Narrowing for Timetable Generation: A Case Study"
  author:
  - name: "Nadia Brauner"
    link: "https://researchr.org/alias/nadia-brauner"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Gerd Finke"
    link: "https://researchr.org/alias/gerd-finke"
  - name: "Hanns Gregor"
    link: "https://researchr.org/alias/hanns-gregor"
  - name: "Frédéric Prost"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-prost"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=22"
  links:
    doi: "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:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Daniel Cabeza"
    link: "https://researchr.org/alias/daniel-cabeza"
  volume: "3350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24362-3"
  kind: "inproceedings"
  key: "BraunerEFGP05"
- title: "Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Kamel Adi"
    link: "https://researchr.org/alias/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:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "1101"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61463-X"
  kind: "inproceedings"
  key: "BertEA96"
- title: "LPG: A Generic, Logic and Functional Programming Language"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Pascal Drabik"
    link: "https://researchr.org/alias/pascal-drabik"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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:
  - name: "Franz-Josef Brandenburg"
    link: "https://researchr.org/alias/franz-josef-brandenburg"
  - name: "Guy Vidal-Naquet"
    link: "https://researchr.org/alias/guy-vidal-naquet"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "247"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17219-X"
  kind: "inproceedings"
  key: "BertDE87"
- title: "Design and Implementation of a Generic, Logic and Functional Programming Language"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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:
  - name: "Bernard Robinet"
    link: "https://researchr.org/alias/bernard-robinet"
  - name: "Reinhard Wilhelm"
    link: "https://researchr.org/alias/reinhard-wilhelm"
  volume: "213"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16442-1"
  kind: "inproceedings"
  key: "BertE86"
- title: "LPG: A Generic, Logic and Functional Programming Language"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Pascal Drabik"
    link: "https://researchr.org/alias/pascal-drabik"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Olivier Declerfayt"
    link: "https://researchr.org/alias/olivier-declerfayt"
  - name: "Demeuse Demeuse"
    link: "https://researchr.org/alias/demeuse-demeuse"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "François Wautier"
    link: "https://researchr.org/alias/fran%C3%A7ois-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:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "300"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19027-9"
  kind: "inproceedings"
  key: "BertDEDDSW88"
- title: "Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Paul Jacquet"
    link: "https://researchr.org/alias/paul-jacquet"
  - name: "Marie-Laure Potet"
    link: "https://researchr.org/alias/marie-laure-potet"
  - name: "Sadik Sebbar"
    link: "https://researchr.org/alias/sadik-sebbar"
  year: "1991"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/EchahedJPS91"
  cites: 0
  citedby: 0
  pages: "53-61"
  booktitle: "JTASPEFT/WSA"
  kind: "inproceedings"
  key: "EchahedJPS91"
- title: "On Comleteness of Narrowing Strategies"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/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:
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "299"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19021-X"
  kind: "inproceedings"
  key: "Echahed88"
- title: "On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures"
  author:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Riadh Robbana"
    link: "https://researchr.org/alias/riadh-robbana"
  year: "1994"
  researchr: "https://researchr.org/publication/BouajjaniER94%3A2"
  cites: 0
  citedby: 0
  pages: "64-85"
  booktitle: "Hybrid Systems II"
  editor:
  - name: "Panos J. Antsaklis"
    link: "https://researchr.org/alias/panos-j.-antsaklis"
  - name: "Wolf Kohn"
    link: "https://researchr.org/alias/wolf-kohn"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Shankar Sastry"
    link: "https://researchr.org/alias/shankar-sastry"
  volume: "999"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60472-3"
  kind: "inproceedings"
  key: "BouajjaniER94:2"
- title: "Non Strict Confluent Rewrite Systems for Data-Structures with Pointers"
  author:
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Nicolas Peltier"
    link: "https://researchr.org/alias/nicolas-peltier"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_12"
  links:
    doi: "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:
  - name: "Franz Baader"
    link: "https://researchr.org/alias/franz-baader"
  volume: "4533"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73447-5"
  kind: "inproceedings"
  key: "EchahedP07"