LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications » Conference papers
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Theses
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
LIP6
  • A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Experiment around a training engine”, IFIP WCC 2002 - 17th World Computer Congress, vol. 102, IFIP - The International Federation for Information Processing, Montreal, Canada, pp. 45-52, (Springer) [Brygoo 2002a]
  • A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Un cédérom pour Scheme : Chacun son entraineur, un entraineur pour tous”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, Villeurbanne, France, pp. 223-231, (Institut National des Sciences Appliquées de Lyon) [Brygoo 2002b]
  • J.‑L. Colaço, M. Pouzet : “Type-based Initialization of a Synchronous Data-flow Language”, SLAP 2002 - Synchronous Languages, Applications, and Programming, vol. 65 (5), Electronic Notes in Theoretical Computer Science, Grenoble, France, pp. 65-78, (Elsevier) [Colaço 2002]
  • D. Doligez, Th. Hardin, V. Prévosto : “Algebraic Structures and Dependent Records”, TPHOLs'02 - 15th International Conference on Theorem Proving in Higher-Order logics, vol. 2410, Lecture Notes in Computer Science, R. Butler (Ed.), Hampton, VA, USA, pp. 298-313, (Springer) [Doligez 2002a]
  • D. Doligez, Th. Hardin, V. Prévosto : “FOC, a certified computer algebra library”, Automath'2002, F. Kamareddine (Ed.), Edinburgh, United Kingdom [Doligez 2002b]
  • G. Dowek, Th. Hardin, C. Kirchner : “Binding logic: proofs and models”, 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, vol. 2514, Lecture Notes in Artificial Intelligence, M. Baaz, A. Voronkov (Eds.), Tbilisi, Georgia, pp. 130-144, (Springer Verlag) [Dowek 2002]
  • S. Fechter : “An object-oriented model for the certified computer algebra library”, Formal Methods for Open Object-Based Distributed Systems (FMOODS) PhD workshop, University of Twente, Netherlands [Fechter 2002]
  • Th. Hardin : “Produire un logiciel de confiance: quelles hypothèses, quelles limites?”, Journées Francophones des Langages Applicatifs, Anglet, France [Hardin 2002]
  • L. Moreau, Ch. Queinnec : “Distributed and Multi-Type Resource Management”, ECOOP'02 Workshop on Resource Management for Safe Languages, vol. 2548, Lecture Notes in Computer Science, Malaga, Spain, pp. 11-12, (Springer) [Moreau 2002]
  • V. Prévosto : “The FoC Project: Building a Certified Computer Algebra Library”, ISSAC 2002 - International Symposium on Symbolic and Algebraic Computation, Lille, France [Prévosto 2002a]
  • Ch. Queinnec : “A library for quizzes”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, O. Shivers (Ed.), Pittsburgh, Pennsylvania, USA, pp. 1-7, (Georgia Tech, Technical Report GIT-CC-02-48) [Queinnec 2002a]
  • Ch. Queinnec : “Modules in Scheme”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, O. Shivers (Ed.), Pittsburgh, Pennsylvania, USA, pp. 89-95, (Georgia Tech, Technical Report GIT-CC-02-48) [Queinnec 2002b]
  • Ch. Queinnec, E. Chailloux : “Une expérience de notation en masse”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, Lyon, France, pp. 403-404, (Institut National des Sciences Appliquées de Lyon) [Queinnec 2002c]
 Mentions légales
Site map |