PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces. - F.-Y. Villemin (IJCAI, 1981)

SERFRE: A general-purpose multi-processor reduction machine. - F.-Y. Villemin (ICPP, 1982)

Automatic Program Synthesis from Data Structures. - Daniel Enselme; Gérard Benay; F.-Y. Villemin (ESEC, 1987)

The ALDOUS90 Project: Merging Object-Oriented Databases and Knowledge-based Systems. - F.-Y. Villemin; A. Paoli; I. Tourrilhes; M. Le (DEXA, 1991)

Knowledge-based Querying. - F.-Y. Villemin; A. Paoli (ICTAI, 1994)