Les publications du Laboratoire

Les publications parues en 2001

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

  1. Arne Barinka, Titus Barsch, Philippe Charton, Albert Cohen, Stephen Dahlke, Wolfgan Dahmen et Kirsten Urban — Adaptive Wavelet Schemes for Elliptic Problems – Implementation and Numerical Experiments, SIAM J. Scientific Computing, Vol. 23(3), pp. 910–939, 2001.
  2. Adrian R. D. Mathias — The strength of Mac Lane set theory, Annals of Pure and Applied Logic, Vol. 110(1-3), pp. 107–234, 2001.
  3. Adrian R. D. Mathias — Slim models of Zermelo set theory, The Journal of Symbolic Logic, Vol. 66(2), pp. 487–496, 2001.
  4. Adrian R. D. Mathias — Delays, recurrence and ordinals, Proceedings of the London Mathematical Society. Third Series, Vol. 82(2), pp. 257–298, 2001.

Communications avec actes dans un congrès international

  1. Fenintsoa Andriamasinoro, Rémy Courdier et Eric Piquet — Enhancing a Multi-Agent System's Performance: From Implementation to Simulation Analysis, Cluster Computing and the Grid, IEEE International Symposium on, p. 464, IEEE Computer Society, Los Alamitos, CA, USA, 2001.
  2. Frédéric Mesnard et Ulrich Neumerkel — Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs, Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 93-110, publication dirigée par Patrick Cousot, Springer, 2001.

Communications avec actes dans un congrès national

  1. Jean Simon — L'apprentissage PAC : une modélisation du processus de catégorisation ?, Actes du Colloque Interdisciplinaire en Sciences Cognitives, ARCo ' 2001, pp. 12-14, Lyon, France, décembre 2001.
  2. Fenintsoa Andriamasinoro et Rémy Courdier — Un modèle dynamique de comportement agent à base de besoins, Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents (JFIADSMA’01), pp. 351–353, Hermès, Montréal, Québec, Canada,, 2001.
  3. Frédéric Mesnard, Ulrich Neumerkel et Étienne Payet — cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog, Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, pp. 271-286, publication dirigée par Philippe Codognet, Hermes, 2001.