2005

• Corps de décomposition de groupe de Galois PSL(2,7)
  A. Valibouze
• Bases de données : de l'objet à l'interopérabilité
  B. Defude
• Transformation de propriétés CTL lors d'une méthode de conception incrémentale
  C. Braunstein, E. Encrenaz
• Une Condition Suffisante de Vivacité pour les Graphes d'événements généralisés
  O. Marchetti, A. Munier-Kordon
• Minimisation de la Capacité des Places d'un Graphe d'Evenenements Généralisé.
  O. Marchetti, A. Munier-Kordon
• Actes du Consortium des Doctorants associé à la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05
  C. Ghidini, B.-L. Doan, P. Brézillon
• Actes des Brevia and Demonstrations associé à la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05)
  A. Dey, B. Kokinov, D. Leake, R. Turner, P. Brézillon
• Diagrammes de Décision de Données pour l'analyse de systèmes ProMeLa
  V. Beaudenon, E. Encrenaz, S. Taktak
• Approche polyédrale pour un problème de lot-sizing à capacité finie avec temps de setup et coûts de ruptures.
  N. Absi, S. Kedad-Sidhoum
• Méthode de réplication basée sur les plans pour la tolérance aux pannes des systèmes multi-agents
  A. Luna Almeida, S. Aknine, J.-P. Briot, J. Malenfant
• Une nouvelle extension de ML avec des traits orientés objets de FOCAL
  S. Fechter