Structure and Interpretation of Computer Programs, 1985. ,
Actors : A Model of Concurrent Computation in Distributed System. serie : Artificial Intelligence, 1986. ,
Les Langages Orientés Objets : Concepts, Langages et Applications ,
Elaboration d'un logiciel de diagnostic thermique des bâtiments tertiaires, Convention tripartie FRME/ITHEF/ARMINES, 1986. ,
Les ratios et leur utilisation en pré-diagnostic In Séminaire International : Audit Energétique dans les Bâtiments Existants, AFME, pp.205-214, 1988. ,
Classes versus prototypes in object-oriented languages, Proc. of ACM/IEEE Fall Joint Computer Conference, pp.36-40 ,
Approche du diagnostic thermique par système expert, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.357-364, 1988. ,
Propagation of uncertainties and inaccuracies in knowledge-based system, In Lecturer Note in Computer Science, vol.286, 1987. ,
DOI : 10.1007/3-540-18579-8_4
Calcul des degrés-jours mensuels à température de base variable, revue CVC, p.5 ,
Le projet LEB : un serveur télématique sur les logiciels à l'usage des professionnels du génie climatique In Séminaire spécialisé : Outils d'aide à la conception et gestion (OACG '89) AFME, 1989. ,
Les Logiciels d'Energétique des Bâtiments. Développement, Evaluation Technique, Illustrations, 1988. ,
TH (rapport intermédiaire ) Rapport de recherche, Convention avec le programme IN.PRO.BAT. du Plan Construction et Architecture contrat n° 88 61 409, 1989. ,
Incertitudes liées aux données et méthodes d'audit énergétique des bâtiments, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.367-380, 1988. ,
Programming with explicit metaclasses in Smalltalk-80, Proc. of OOPSLA '89, pp.419-432 ,
DOI : 10.1145/74878.74921
Inheritence and synchronization in concurrent OOP, European Conference on object oriented programming, pp.35-43, 1987. ,
A semantics of multiple inheritance. Information and Computation, pp.138-164, 1988. ,
A semantic basis for Quest, Proc. of 1990 ACM Conference on Lisp and Functional Programming, pp.30-43, 1990. ,
Outils d'audit énergétique de bâtiment, 1989. ,
Artificial Intelligence Programming. Lawrence Erlbaum Associats New-Jersey, second edition, pp.313637383940-41, 1987. ,
Semantics of Scheme, BYTE, pp.220-227, 1988. ,
Metaclasses are first class : the ObjVlisp model, OOPSLA '87, pp.156-167, 1987. ,
Implementation et Interprétation des Langages Orientés Objets : Application aux Langages Smalltalk, ObjVlisp et Forme, Thèse de Doctorat d'Etat, 1984. ,
A denotational semantics of inheritance and its correctness, Proc. of OOPSLA '89, pp.433-443 ,
DOI : 10.1145/74878.74922
Anagram : une méthode pour aider à la maîstrise des consommations d'énergie, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.183-203, 1988. ,
Isolation Thermique de l'Habitat Existant ,
Le diagnostic instrumenté. L'évaluation de l'état initial : un exemple d'utilisation de la méthodologie, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.225-246, 1988. ,
Outils Logiques pour ITA, 1987. ,
The Common Lisp Object System : An overview, Proc. of ECOOP '87, pp.201-220 ,
Sensibilité des résultats d'un diagnostic thermique à l'incertitude sur les données, ARMINE/COSTIC, 1988. ,
Théories des Possibilités : Application à la Représentation des Connaissances en Informatique, série : Technique Avancée en Informatique, 1985. ,
La multiplicité de l'héritage dans les langages à objets, Technique et Science Informatique, vol.8, issue.1, pp.41-62, 1989. ,
The Scheme Programming Language, 1987. ,
Degrés-jours à base de température quelconque période hivernale, année entière ,
Sytèmes Experts : Principe et Exemples, Cépadues Editions Toulouse, 1985. ,
Eléments d'Intelligence Artificielle. Collection Traité de Nouvelles Techniques serie I.A. Hermès Paris, 1987. ,
Un outil neuf sur le diagnostic thermique dans le résidentiel et le tertiaire Revue Chauffage Ventillation Conditionnement, pp.5-10, 1983. ,
Diagnostic énergétique détaillé et instrumenté assisté par ordinateur (DEDIAO) In Séminaire International : Audit Energétique dans les Bâtiments Existants, AFME, pp.381-390, 1988. ,
Smalltalk-80, The Language, 1989. ,
Expert systems for the construction and building services industry, 1986. ,
A comparaison of multifamily retrofits in the U.S. and Europe : mesured results and policy implications, Séminaire International : Audit Energétique dans les Bâtiments Existants, pp.135-146, 1988. ,
Logic continuation. The Journal of Logic Programming, pp.157-176, 1986. ,
Obtaining coroutines with continuations, Computer Language, vol.114, issue.N°3, pp.143-153, 1987. ,
Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, pp.323-363, 1977. ,
DOI : 10.1016/0004-3702(77)90033-9
Continuations and concurrency, Second ACM SIGPLAN Symposium on Principle and Pratice of Parallel Programming (PPOPP), pp.128-136, 1990. ,
Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.80-87 ,
DOI : 10.1145/73560.73567
Introduction à la Théorie des Sous-ensembles Flous, 1973. ,
Representing knowldge and evidence for decision, In Lectures Note in Computer Science, vol.286, 1987. ,
Résolution de Problèmes par l'Homme et la Machine, 1987. ,
Thinking about lots of things at once without getting confused ? Parallelism on ACT1. AI memo 626, 1981. ,
Delegation and inheritance : Two mechanisms for sharing knowledge in object-oriented systems, Troisièmes journées LOO, pp.78-89, 1986. ,
Using prototypical objects to implement shared behavior in object oriented systems, Proc. of OOPSLA '86, pp.214-223, 1986. ,
Fuzzy modus ponens : A new model suitable for application in knowledge based systems, International Journal of Intelligent Systems, vol.4, 1989. ,
Efficient deduction in fuzzy logic, In Lectures Note in Computer Science, vol.286, 1987. ,
DOI : 10.1007/3-540-18579-8_11
Les Langages à Objets, Langages de classes, langages de frames, langages d'acteurs, serie : Informatique Intelligence Artificielle, InterEditions, 1989. ,
Lessons from the design of the Eiffel libraries, Communications of the ACM, vol.33, issue.9, pp.68-88, 1990. ,
DOI : 10.1145/83880.84464
Communication and Concurrency. Computer Science, 1989. ,
Guide pour l'amélioration des logements existants, 1982. ,
Society of mind, Artificial Intelligence, vol.48, issue.3, 1988. ,
DOI : 10.1016/0004-3702(91)90036-J
Prise en compte de specifications en ingénierie. Application aux systèmes experts de conception, Thèse Université de Nice, 1987. ,
Object oriented programming in Scheme, 1988 ACM Conference on Lisp and Functional Programming, pp.277-288, 1988. ,
Intelligence de l'Homme, 1989. ,
La Psychologie de l'Intelligence, 1967. ,
A synthetic view of approximate reasoning techniques, 1983. ,
Quand les règles rencontrent les schémas, 1985. ,
Le Traitement des Données Partielles en Audit Energétique de Bâtiments, Thèse de l'Ecole des Mines de, 1991. ,
Sémantique Dénotationnelle du Langage Plasma : Définition et Im- plementation ,
Projet de recherche sur le couplage de Keops avec outils d'évaluation thermique et acoustique. Rapport final, Convention AFME-Plan Construction et Architecture, 1987. ,
A Mathematical Theory of Evidence, 1976. ,
A model of inexact reasoning in medicine, Mathematical Biosciences, vol.23, issue.3-4, pp.351-379, 1975. ,
DOI : 10.1016/0025-5564(75)90047-4
Scheme and the Art of Programming, 1989. ,
Common Lisp the Language, 1990. ,
Delegation is inheritance, Proc. of OOPSLA, pp.138-146, 1987. ,
The C+ + Programming Language, 1988. ,
What is "object-oriented programming, European Conference on object oriented programming, pp.51-70, 1987. ,
On the semantics of quantitative logic programs, 1987. ,
Issues in the design and implementation of ACT2, M.I.T. Artificial Intelligence Laboratory, 1983. ,
Structure des Données de la Conception d'un Bâtiment pour une Utilisation Informatique, 1986. ,
Logique pour l'Intelligence Artificielle, 1986. ,
Self : The power of simplicity, Proc. of OOPSLA 87, pp.227-242, 1987. ,
Quantitative deduction and its fixpoint theory, The Journal of Logic Programming, vol.3, issue.1, pp.37-53, 1986. ,
DOI : 10.1016/0743-1066(86)90003-8
Connaître les Sciences Cognitives, tendance et perspectives, 1989. ,
Artificial Intelligence, 1984. ,
ABCL, an Object-Oriented Concurrent System Computer Systems Series, 1990. ,
Prise en Compte de Performance Acoustique en Phase d'APS de Bâtiment dans un Contexte de CAO, 1986. ,