Volume and surface area of Holstein dairy cows calculated from complete 3D shapes acquired using a high-precision scanning system: Interest for body weight estimation. - Yannick Le Cozler; Clément Allain; Caroline Xavier; Laurence Depuille; Anaïs Caillot; J. M. Delouard; Laurent Delattre; Thibault Luginbuhl; Philippe Faverdin (Comput. Electron. Agric., 2019)

Snapshottable Stores. - Clément Allain; Basile Clément; Alexandre Moine 001; Gabriel Scherer (Proc. ACM Program. Lang., 2024)

Tail Modulo Cons, OCaml, and Relational Separation Logic. - Clément Allain; Frédéric Bour; Basile Clément; François Pottier; Gabriel Scherer (Proc. ACM Program. Lang., 2025)