Publications
Macromolecular Dynamics Using High-Level Logical Rules,
, Ste-Marguerite, Canadian Institute for Advanced Research, 1988.
"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.
"Dérivation d'une structure de contrôle de retour-arrière",
Avancées applicatives, Actes des journées JFLA92: Bigre 76-77, pp. 202–219, feb, 1992.
"Domain Generating Functions for Solving Constraint Satisfaction Problems",
Journal of Functional Programming, vol. 1, no. 2, pp. 213-227, apr, 1991.
"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.
"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.
"The Combination of Symbolic and Numerical Computation for Three-Dimensional Modeling of RNA",
Science, vol. 253, no. 5025, pp. 1255-1260, sep, 1991.
pdf
"Constraint Satisfaction in Functional Programming",
First Workshop on Principles and Practice of Constraint Programming, Rhode-Island, pp. 184–188, apr, 1993.
] 