Skip to Main content Skip to Navigation
Help


...
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-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⟩
...
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-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⟩