| 1994 |
|---|
| 5 | | F.-Y. Villemin,
A. Paoli:
Knowledge-based Querying.
ICTAI 1994: 382-388 |
| 1991 |
|---|
| 4 | | F.-Y. Villemin,
A. Paoli,
I. Tourrilhes,
M. Le:
The ALDOUS90 Project: Merging Object-Oriented Databases and Knowledge-based Systems.
DEXA 1991: 13-18 |
| 1987 |
|---|
| 3 | | Daniel Enselme,
Gérard Benay,
F.-Y. Villemin:
Automatic Program Synthesis from Data Structures.
ESEC 1987: 339-347 |
| 1982 |
|---|
| 2 | | F.-Y. Villemin:
SERFRE: A general-purpose multi-processor reduction machine.
ICPP 1982: 140-141 |
| 1981 |
|---|
| 1 | | F.-Y. Villemin:
PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces.
IJCAI 1981: 1004-1006 |
