Sequential Generation of Structured Arrays and Its Deductive Verification. - Richard Genestier; Alain Giorgetti; Guillaume Petiot (TAP@STAF, 2015)

Tests and Proofs for Enumerative Combinatorics. - Catherine Dubois; Alain Giorgetti; Richard Genestier (TAP@STAF, 2016)

Rooted planar maps modulo some patterns. - Jean-Luc Baril; Richard Genestier; Alain Giorgetti; Armen Petrossian (Discret. Math., 2016)

Vérification formelle de programmes de génération de données structurées. (Formal verification of structured data generation programs). - Richard Genestier (2016)

Pattern distributions in Dyck paths with a first return decomposition constrained by height. - Jean-Luc Baril; Richard Genestier; Sergey Kirgizov (Discret. Math., 2020)