Franois Clment
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2023
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. | Sylvie Boldo, Franois Clment, Vincent Martin, Micaela Mayero, Houda Mouhcine |
| 2023 | GECCO | Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms. | Franois Clment, Diederick Vermetten, Jacob de Nobel, Alexandre D. Jesus, Lus Paquete, Carola Doerr |
| 2017 | CPP | A Coq formal proof of the LaxMilgram theorem. | Sylvie Boldo, Franois Clment, Florian Faissole, Vincent Martin, Micaela Mayero |
| 2010 | ITP | Formal Proof of a Wave Equation Resolution Scheme: The Method Error. | Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
| 2006 | CBMS | Machine Learning Techniques to Enable Closed-Loop Control in Anesthesia. | Olivier Caelen, Gianluca Bontempi, Eddy Coussaert, Luc Barvais, Franois Clment |