现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- S. Boulmé, Th. Hardin, D. Hirschkoff, V. Ménissier‑Morain, R. Rioboo : “On the way to certify computer algebra systems”, Calculemus workshop of FLOC'99, vol. 23 (3), Electronic Notes in Theoretical Computer Science, Trento, Italy, pp. 370-385, (Elsevier) [Boulmé 1999a]
- S. Boulmé, Th. Hardin, R. Rioboo : “Modules Objets et Calcul Formel”, JFLA'99 - Journées francophone des langages applicatifs, Morzine-Avoriaz, France, (Inria) [Boulmé 1999b]
- P. Caspi, M. Pouzet : “Lucid Synchrone: une extension fonctionnelle de Lustre”, Journées Francophones des Langages Applicatifs (JFLA), Avoriaz, France, (INRIA) [Caspi 1999]
- G. Dowek, Th. Hardin, C. Kirchner : “HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic”, 10th International Conference, RTA'99, vol. 1631, Lecture Notes in Computer Science, Trento, Italy, pp. 317-331, (Springer) [Dowek 1999]
- G. Hamon, M. Pouzet : “Un Simulateur Synchrone pour Lucid Synchrone”, Journées Francophones des Langages Applicatifs (JFLA), Avoriaz, France, (INRIA) [Hamon 1999]
- Ch. Queinnec : “Marshaling Unmarshaling as a Compilation Interpretation Process”, Second Merged Symposium IPPS/SPDP 1999 13th International Parallel Processing Symposium 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, pp. 616-621 [Queinnec 1999a]
- Ch. Queinnec, L. Moreau : “Graceful disconnection”, PDCSIA'99 Parallel and Distributed Computing for Symbolic and Irregular Applications, Tohoku University, Sendai, Japan, pp. 242-252, (World Scientific) [Queinnec 1999b]