Skip to content

Richard Genestier

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2015–2016

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2016TAPTests and Proofs for Enumerative Combinatorics.Catherine Dubois, Alain Giorgetti, Richard Genestier
2015TAPSequential Generation of Structured Arrays and Its Deductive Verification.Richard Genestier, Alain Giorgetti, Guillaume Petiot