Machine Learning Techniques to Enable Closed-Loop Control in Anesthesia. - Olivier Caelen; Gianluca Bontempi; Eddy Coussaert; Luc Barvais; François Clément (CBMS, 2006)

Domain decomposition and skeleton programming with OCamlP3l. - François Clément; Vincent Martin; A. Vodicka; Roberto Di Cosmo; Pierre Weis (Parallel Comput., 2006)

Formal Proof of a Wave Equation Resolution Scheme: The Method Error. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (ITP, 2010)

Image Segmentation with Optimal Control Techniques - François Clément; Hend Ben Ameur; Guy Chavent; Pierre Weis (CoRR, 2010)

Wave Equation Numerical Resolution: Mathematics and Program - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (CoRR, 2011)

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (J. Autom. Reason., 2013)

Trusting computations: A mechanized proof from partial differential equations to actual program. - Sylvie Boldo; François Clément; Jean-Christophe Filliâtre; Micaela Mayero; Guillaume Melquiond; Pierre Weis (Comput. Math. Appl., 2014)

The Lax-Milgram Theorem. A detailed proof to be formalized in Coq. - François Clément; Vincent Martin (CoRR, 2016)

A Coq formal proof of the LaxMilgram theorem. - Sylvie Boldo; François Clément; Florian Faissole; Vincent Martin; Micaela Mayero (CPP, 2017)

Lebesgue integration. Detailed proofs to be formalized in Coq. - François Clément; Vincent Martin (CoRR, 2021)

A Coq Formalization of the Bochner integral. - Sylvie Boldo; François Clément; Louise Leclerc (CoRR, 2022)

Lebesgue Induction and Tonelli's Theorem in Coq. - Sylvie Boldo; François Clément; Vincent Martin; Micaela Mayero; Houda Mouhcine (CoRR, 2022)

A Coq Formalization of Lebesgue Integration of Nonnegative Functions. - Sylvie Boldo; François Clément; Florian Faissole; Vincent Martin; Micaela Mayero (J. Autom. Reason., 2022)

Star discrepancy subset selection: Problem formulation and efficient approaches for low dimensions. - François Clément; Carola Doerr; Luís Paquete (J. Complex., 2022)

Distribution of Distances in Five Dimensions and Related Problems. - François Clément; Thang Pham (SIAM J. Discret. Math., 2022)

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. - Sylvie Boldo; François Clément; Vincent Martin; Micaela Mayero; Houda Mouhcine (FM, 2023)

Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms. - François Clément; Diederick Vermetten; Jacob de Nobel; Alexandre D. Jesus; Luís Paquete; Carola Doerr (GECCO, 2023)

Constructing Optimal L∞ Star Discrepancy Sets. - François Clément; Carola Doerr; Kathrin Klamroth; Luís Paquete (CoRR, 2023)

Computing Star Discrepancies with Numerical Black-Box Optimization Algorithms - Code and Data. - François Clément; Diederick Vermetten; Jacob de Nobel; Alexandre D. Jesus; Luís Paquete; Carola Doerr (Zenodo, 2023)

Teaching Divisibility and Binomials with Coq. - Sylvie Boldo; François Clément; David Hamelin; Micaela Mayero; Pierre Rousselin (ThEdu@CADE, 2024)

Outperforming the Best 1D Low-Discrepancy Constructions with a Greedy Algorithm. - François Clément (CoRR, 2024)

Transforming the Challenge of Constructing Low-Discrepancy Point Sets into a Permutation Selection Problem. - François Clément; Carola Doerr; Kathrin Klamroth; Luís Paquete (CoRR, 2024)

Finite element method. Detailed proofs to be formalized in Coq. - François Clément; Vincent Martin (CoRR, 2024)

Heuristic approaches to obtain low-discrepancy point sets via subset selection. - François Clément; Carola Doerr; Luís Paquete (J. Complex., 2024)

Partitions for stratified sampling. - François Clément; Nathan Kirk; Florian Pausinger (Monte Carlo Methods Appl., 2024)

An Optimization Perspective on the Construction of Low-Discrepancy Point Sets. (La construction d'ensembles de points à faible discrépance via des approches d'optimisation). - François Clément (2024)

carps: A Framework for Comparing N Hyperparameter Optimizers on M Benchmarks. - Carolin Benjamins; Helena Graf; Sarah Segel; Difan Deng; Tim Ruhkopf; Leona Hennig; Soham Basu; Neeratyoy Mallik; Edward Bergman; Deyao Chen; François Clément; Matthias Feurer; et al. (CoRR, 2025)