VLDB 2026 Research / reviewers in the wild / expert
Gauvain Devillez
dblp:211/7672
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2024
0000-0002-3931-1610ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Incorporating a Database of Graphs into a Proof Assistant
Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak |
CICM | 3 |
| 2023 | Lower bounds and properties for the average number of colors in the non-equivalent colorings of a graph
Alain Hertz, Hadrien Mélot, Sébastien Bonte, Gauvain Devillez |
Discret. Appl. Math. | 4 |
| 2019 | Maximum eccentric connectivity index for graphs with given diameter
Pierre Hauweele, Alain Hertz, Hadrien Mélot, Bernard Ries, Gauvain Devillez |
Discret. Appl. Math. | 5 |