Richard Genestier

According to our database, Richard Genestier authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Pattern distributions in Dyck paths with a first return decomposition constrained by height.

Jean-Luc Baril, Richard Genestier, Sergey Kirgizov

Discret. Math., 2020

2016

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

Richard Genestier

PhD thesis, 2016

Rooted planar maps modulo some patterns.

Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian

Discret. Math., 2016

Tests and Proofs for Enumerative Combinatorics.

Catherine Dubois, Alain Giorgetti, Richard Genestier

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

Sequential Generation of Structured Arrays and Its Deductive Verification.

Richard Genestier, Alain Giorgetti, Guillaume Petiot

Proceedings of the Tests and Proofs - 9th International Conference, 2015