"The Combination of Symbolic and Numerical Computation for Three-Dimensional Modeling of RNA", Science, vol. 253, no. 5025, pp. 1255-1260, sep, 1991.
"Domain Generating Functions for Solving Constraint Satisfaction Problems", Journal of Functional Programming, vol. 1, no. 2, pp. 213-227, apr, 1991.
"Towards a Unified Information System for Macromolecular Folding and Conformational Prediction", Journal of Molecular Graphics – Workshop on Aspects of Molecular Graphics (dec 1989), vol. 9, Pisa, pp. 56–57, mar, 1991.
"Using functional and logic programming in molecular graphics applications (poster presentation)", Conference of Molecular Graphics Society, Uppsala, Sweden, jul, 1990.
Artificial Intelligence and Molecular Graphics: Promises and Reality, , Université de Montréal, Canadian Institute for Advanced Research, 1989.
"Using Functional Languages to Study the Relationships Between Nucleic Acid Primary, Secondary and Tertiary Structure Elements", 8th Annual Conference of Molecular Graphics Society, Glasgow, mar, 1989.
"FUS: a Rule-Based System for the Rapid Evaluation of Folding and Unfolding Strategies", 7th Annual Conference of Molecular Graphics Society, San Diego, aug, 1988.
"FUS: a System to Simulate Conformational Changes in Biological Macromolecules", CABIOS (Computer Applications in Bio-Sciences), vol. 4, no. 4, pp. 445-451, 1988.
Macromolecular Dynamics Using High-Level Logical Rules, , Ste-Marguerite, Canadian Institute for Advanced Research, 1988.
"A Secondary and Tertiary Structure Editor for Nucleic Acids", CABIOS (Computer Applications in Bio-Sciences), vol. 4, no. 1, pp. 143-146, 1988.