Les publications du Laboratoire

Les publications parues en 2000

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Adrian R. D. Mathias — Strong statements of analysis, The Bulletin of the London Mathematical Society, Vol. 32(5), pp. 513–526, 2000.
  2. Étienne Payet — Thue Specifications, Infinite Graphs and Synchronized Product, Fundamenta Informaticae, Vol. 44(3), pp. 265-290, IOS Press, 2000.

Communications avec actes dans un congrès international

  1. Fenintsoa Andriamasinoro et Rémy Courdier — A model of virtual competition between remote agents Architecture Basic organization, Internat. Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce, (MAMA'2000), p. 7, Wollongong, Australia, 2000.
  2. David Grosser, Jean Diatta et Noël Conruyt — Improving Dissimilarity Functions with Domain Knowledge, Application with IKBS System, PKDD 2000, pp. 409–415, Spinger-Verlag, 2000.

Communications avec actes dans un congrès national

  1. Jean Diatta, Ivan Kojadinovic et Henri Ralambondrainy — Une mesure de dissimilarité pour des données hétérogènes floues, Rencontres Francophones sur la Logique Floue et ses Applications, pp. 77–83, Cépadueès Editions, La Rochelle, France, octobre 2000.
  2. Frédéric Mesnard et Antoine Rauzy — Le iota-calcul: un langage de contraintes d'ordre supérieur, Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France, 241-, publication dirigée par Touraïvane, Hermes, 2000.

Communications orales sans actes dans un congrès international ou national

  1. Serge Burckel, Sébastien Hoarau, Frédéric Mesnard et Ulrich Neumerkel — cTI: Bottom-Up Termination Inference for Logic Programs, 15. WLP, pp. 123-134, 2000.
  2. Stefan Kral, Frédéric Mesnard et Ulrich Neumerkel — Slicing zur Fehlersuche in Logikprogrammen, WLP, pp. 241-243, 2000.

Publications de transfert

  1. Rémy Courdier, Ioly Veloarisoa, Nicolas Larrousse, Jean-Jacques Pierrat et Olivier Robinson — Les Nouvelles Technologies de l'Information et de la Communication au service de la Formation à Distance dans les îles de l'Océan Indien. Rapport de Recherche, Rapport technique, EA2525-IREMIA, Université de la Réunion, Rapport de Recherche IREMIA/MISA - Université de la Réunion/Université d'Antananarivo, 2000.