• Irène Durand, David J. Sherman, and Robert I. Strandh.
  Fine-grain partial evaluation of intermediate code from equational programs.
  In Journées de Travail sur l'Analyse Statique en Programmation Equationelle, Fonctionelle et Logique . Bigre Journal 74, Octobre 1991.
• Irène Durand, David J. Sherman, and Robert I. Strandh.
  Optimization of equational programs using partial evaluation.
  In Proceedings of the ACM/IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation , New Haven, Connecticut, 1991.
• Irène Durand and Aart Middeldorp.
  Decidable call by need computations in term rewriting.
  In Proceedings of the 14th International Conference on Automated Deduction volume 1249 of Lecture Notes in Computer Science , pages 4-18. Springer Verlag, 1997. Also Technical Report LaBRI 1153-96.
• Irène Durand and Aart Middeldorp.
  On the Modularity of Deciding Call-by-Need
  In Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures volume 2030 of Lecture Notes in Computer Science , pages 199-213. Springer Verlag, 2001.
• Irène Durand.
  Autowrite: A tool for checking properties of term rewriting systems (category: system description)
  In Proceedings of the 13th International Conference on Rewriting Techniques and Applications volume 2378 of Lecture Notes in Computer Science , pages 371-375. Springer Verlag, 2002.
• Irène Durand.
  Autowrite: A tool for term rewrite systems and tree automata.
  Workshop on Rewriting Strategies Aachen, June 2004
• Irène Durand and Sylviane Schwer.
  Reasoning about qualitative temporal information with s-words and s-languages.
  Proceedings of the 1st European Lisp Symposium, Bordeaux, France. pages 1-25, May 2008.