Fibrational Induction Rules for Initial Algebras. - Neil Ghani; Patricia Johann; Clément Fumex (CSL, 2010)

Generic Fibrational Induction - Neil Ghani; Patricia Johann; Clément Fumex (Log. Methods Comput. Sci., 2012)

Induction and coinduction schemes in category theory. - Clément Fumex (2012)

Indexed Induction and Coinduction, Fibrationally. - Neil Ghani; Patricia Johann; Clément Fumex (Log. Methods Comput. Sci., 2013)

Specification and Proof of High-Level Functional Properties of Bit-Level Programs. - Clément Fumex; Claire Dross; Jens Gerlach; Claude Marché (NFM, 2016)

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. - Sylvain Conchon; Mohamed Iguernelala; Kailiang Ji; Guillaume Melquiond; Clément Fumex (CAV (2), 2017)

Automating the Verification of Floating-Point Programs. - Clément Fumex; Claude Marché; Yannick Moy (VSTTE, 2017)