LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Nghiên cứu » Bài báo khoa học » Bài hội thảo khoa học
Sách
Soạn thảo sách
Bài báo khoa học
Chương sách
Bài hội thảo khoa học
Các bài báo va hội thảo khác
Luận án tiến sĩ khoa học
Luận án tiến sĩ
Nhóm nghiên cứu hiện hành : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Các nhóm nghiên cứu trước đây : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Các đề tài nghiên cứu trước đây : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
LIP6
  • 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 1999b]
  • 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, P. Narendran, M. Rusinowitch (Eds.), 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, T. Ito, T. Yuasa (Eds.), Tohoku University, Sendai, Japan, pp. 242-252, (World Scientific), (ISBN: 978-981-02-4139-9) [Queinnec 1999b]
 Mentions légales
Sơ đồ site |