Approche multi-processus pour la coopération entre systèmes à base de connaissances
Doctorat de l'Université de Nice Sophia Antipolis, février 1993

DRIVER : une couche objet virtuelle persistante pour le raisonnement sur les bases de données relationnelles,
Doctorat de l'INSA Lyon, mars 1993

Quelques problèmes mathématiques en chimie quantique moléculaire
Doctorat de l'Ecole Polytechnique, décembre 1993