Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- J.‑L. Colaço, M. Pouzet : “Type-based Initialization Analysis of a Synchronous Data-flow Language”, International Journal on Software Tools for Technology Transfer, vol. 6 (3), pp. 245-255, (Springer Verlag) [Colaço 2004b]
- Th. Hardin, R. Rioboo : “Les Objets des Mathématiques”, Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, vol. 10 (4), pp. 83-118, (Hermès-Lavoisier) [Hardin 2004b]