Skip to Main content Skip to Navigation


...
hal-01581807v1  Conference papers
Sylvie BoldoFrançois ClémentFlorian FaissoleVincent MartinMicaela Mayero. Preuve formelle du théorème de Lax–Milgram
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
...
hal-01391578v1  Conference papers
Sylvie BoldoFrançois ClémentFlorian FaissoleVincent MartinMicaela Mayero. A Coq formal proof of the Lax–Milgram theorem
6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
...
inria-00533799v3  Journal articles
Hend Ben AmeurGuy ChaventFrançois ClémentPierre Weis. Image segmentation with multidimensional refinement indicators
Inverse Problems in Science and Engineering, Taylor & Francis, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
hal-00149565v1  Conference papers
François ClémentVincent MartinArnaud VodickaRoberto Di CosmoPierre Weis. Domain Decomposition and Skeleton Programming with OCamlP3l
Proceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
hal-00700366v1  Conference papers
Jean-Frédéric GerbeauVincent MartinAstrid DecoeneFrançois Clément. Parameter identification for a one-dimensional blood flow model
CEMRACS 2004 - Centre d'été de Mathématiques et Recherche Avancées en Calcul scientifique : Mathematics and applications to biology and medicine, Jul 2004, Marseille, France. pp.174-200, ⟨10.1051/proc:2005014⟩