Some personal scientific and/or technical publications :
    Artificial Intelligence - Qualitative Physics - Qualitative Calculus - Expert Systems - Rule & Knowledge-based Systems -
        Meta-Knowledge - Bootstrapping - AI & Artificial Life
    Mathematical Specification Languages - Descartes - Automatic Program Generation - Program Validation & Verification
Unfortunately, much of this stuff is in French. I am managing to rewrite it in English.

Controlling Qualitative Resolution - pdf 70 ko - 1988 - English
Qualitative Calculus and Qualitative Physics: Theory & Applications - Slides pdf 173 ko - 1988 - English
New Methods in Qualitative Calculus (Applying Qualitative Calculus to Economy) - pdf 48 ko - 1988 - English - with Jérôme Collet
Amélioration de l'efficacité du pattern matching dans le langage à base de règles Boojum - pdf 79 ko - 1989 - French
Amélioration de l'efficacité du pattern matching dans le langage à base de règles Boojum - Slides pdf 48 ko - 1989 - French
Qualitative Physics (tutorial) - Slides pdf 316 ko - 1989 - English
Physique qualitative (tutorial) - Slides pdf 314 ko - 1989 - French
Méthodologies pour des systèmes experts de seconde génération - pdf 69 ko - 1989 - French
Nouvelles méthodes de calcul qualitatif - pdf 63 ko - 1989 - French
Predicting the Behavior of a Knowledge Base - pdf 51 ko - 1990 - English
Meta-Knowledge, Autonomy, and (Artificial) Evolution: Some Lessons Learnt So Far - pdf 42 ko - 1991 - English - with Sylvie Kornman
Connaissances pour Compiler des Connaissances - Le système Shal - pdf 166 ko - 1991 - French - abstract (English & French)
From Models to Real-Time: The KSE Nuclear Plant Alarm Processing System - pdf 47 ko - 1992 - English - with François Chériaux & Jean Ancelin
Des modèles au temps réel : le système KSE de traitement des alarmes nucléaires - pdf 50 ko - 1993 - French - with François Chériaux & Jean Ancelin
Le contrôle dans Shal - pdf 52 ko - 1993 - French
Définition du langage ErgoAlg - pdf 88 ko - 1993 - French
Description du langage IO de spécification des entrées-sorties de Descartes - pdf 145 ko - 1993 - French
Définition du langage Sum - pdf 43 ko - 1993 - French
Spécification formelle du composant Sum de Descartes - pdf 72 ko - 1993 - French
Où aller en Intelligence Artificielle ? Quelques réflexions sur le problème du bootstrap - pdf 93 ko - 1993 - French
Notes sur un exposé de Herbert Simon - pdf 11 ko - 1993 - French
Automatic Algorithm Synthesis applied to Arc Consistency: A Case Study - pdf 52 ko - 1994 - English
Program Transformation and Theorem Proving as Constraint Propagation - pdf 57 ko - 1994 - English
Le nouveau langage Shal pour le noyau de Descartes - pdf 78 ko - 1995 - French
Guide Descartes en Shal - pdf 78 ko - 1995 - French
Le langage Descartes (version 1996) - pdf 65 ko - 1996 - French
Les types dans Descartes - pdf 50 ko - 1996 - French
Set Differentiation: A Method for the Automatic Generation of Filtering Algorithms - postscript 123 ko - 1996 - English - Main author: Fawzia Derrough Darche
Spécification formelle et synthèse de programme - pdf 46 ko - 1996 - French
Spécification en Descartes et preuve "à la B" de la fonction de substitution généralisée du générateur de programmes Descartes - pdf 126 ko - 1997 - French
Réflexions sur l'IA - pdf 39 ko - 1997 - French
Spécification formelle et génération automatique de programmes : le système Descartes - pdf 41 ko - 1997 - French - with Bruno Ginoux, Jean-Yves Lucas, Laurent Pierre, Claudia Jimenez-Dominguez
Quelques notes sur une possible traduction B->Descartes - pdf 15 ko - 1998 - French
Le langage Descartes (version 1998) - 6 parties - 1998 - French
    1 Généralités - pdf 7 ko
    2 Présentation rapide - pdf 37 ko
    3 Les types - pdf 50 ko
    4 Les expressions - pdf 157 ko
    5 Modèle conceptuel - pdf 44 ko
    6 Bonne définition  - pdf 60 ko
A Tranformational Approach to Code Generation for Numerical Simulation: the SimGen System - submitted to ASE 2000 - pdf 133 ko - 2000 - English - with Sébastien Furic

Mouvements d'humeur

Petit glossaire à l'usage des managers débutants - pdf 11 ko - 1994 - French