LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Pesquisa » Publicações » Artigos de Conferencia
Livros
Livros Editados
Jornais
Capítulos de livros
Artigos de Conferencia
Outras publicações
Habilitações (Livre Docência)
Teses
Equipes atuais : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antigos grupos : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antigos tópicos de pesquisa : 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
Mapa do site |