2003

• La valeur de Shapley et les indices d'intéraction pour les jeux bi-coopératifs
  M. Grabisch, Ch. Labreuche
• Bi-capacités
  M. Grabisch, Ch. Labreuche
• Arithmétique réelle en précision arbitraire: conception et algorithmes
  V. Ménissier-Morain
• Corps de décomposition d'un polynôme réductible
  S. Orange, G. Renault, A. Valibouze
• Calcul efficace de corps de décomposition
  S. Orange, G. Renault, A. Valibouze
• Généralisation de résultats sur les idéaux de Galois
  A. Valibouze
• Formalisation du modèle de sécurité de Bell et La padula
  E. Gureghian, Th. Hardin, M. Jaume
• Introduction de mobilité dans les canevas de simulation numérique répartie : une étude formelle
  G. Haïk
• Programmer le Calcul Formel, de L'Algorithmique à la Sémantique
  R. Rioboo
• Actes de la conférence Calculemus 2003
  Th. Hardin, R. Rioboo
• Contrôle dynamique de suites convergentes via l'Arithmétique Stochastique Discrète
  F. Jézéquel
• Représentation des procédures et pratiques par les graphes contextuels
  P. Brézillon
• Du partage centralisé de ressources Web à l'échange de documents intensionnels
  B. Amann