Nombre de documents

10

CV de Valérie Ménissier-Morain


Chapitre d'ouvrage1 document

  • Catherine Dubois, Valerie Menissier-Morain. Apprentissage de la programmation avec OCaml. Apprentissage de la programmation avec OCaml, 2004. <hal-01124971>

Communication dans un congrès3 documents

  • Christoph Lauter, Valérie Ménissier-Morain. There's no Reliable Computing without Reliable Access to Rounding Modes. SCAN'2012, Sep 2012, Novosibirsk, Russia. SCAN'2012, pp.99-100. <hal-01272417>
  • Stef Graillat, Valérie Ménissier-Morain. Compensated Horner scheme in complex floating point arithmetic. Proceedings, 8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. Proceedings, 8th Conference on Real Numbers and Computers, pp.133-146. <hal-01300860>
  • Stef Graillat, Valérie Ménissier-Morain. Error-Free Transformations in Real and Complex Floating Point Arithmetic. International Symposium on Nonlinear Theory and its Applications (NOLTA'07), Sep 2007, Vancouver, Canada. Proceedings of International Symposium on Nonlinear Theory and its Applications (NOLTA'07), pp.341-344. <hal-01306229>

Direction d'ouvrage, Proceedings2 documents

  • Valérie Ménissier-Morain. Numéro spécial JFLA. 24 (9), Hermès, 2005, Technique et science informatiques, 2-7462-1324-9. <hal-01491671>
  • Valérie Ménissier-Morain. Actes des Journées Francophones des Langages Applicatifs. 2004. <hal-01503533>

Article dans une revue2 documents

  • Stef Graillat, Valérie Ménissier-Morain. Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. Information and Computation, Elsevier, 2012, pp.57-71. <10.1016/j.ic.2011.09.003>. <hal-01146509>
  • Valérie Ménissier-Morain. Arbitrary precision real arithmetic: design and proved algorithms. Journal of Logic and Algebraic Programming, Elsevier, 2005, 64 (1), pp.13-39. <10.1016/j.jlap.2004.07.003>. <hal-01148736>

Ouvrage (y compris édition critique et traduction)2 documents

  • Valérie Ménissier-Morain, Christian Queinnec, Guénaël Renault. Environnement de développement -- annales corrigées, avril 2005-janvier 2007. Paracamplus, Paris, France, 2007, 978-2-916466-04-0. <hal-01335979>
  • Valérie Ménissier-Morain, Christian Queinnec, Guénaël Renault. Environnement de développement -- annales corrigées, novembre 2004-janvier 2006. Paracamplus, Paris, France, 2006, 978-2-916466-02-9. <hal-01352018>