Matthieu Dien
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2016–2023
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SYNASC | Counting Linear Extensions of Modular Partial Orders. | Matthieu Dien, Frdric Peschanski |
| 2023 | SYNASC | Uniform SAmplINg with BOLTZmann. | Matthieu Dien, Martin Ppin |
| 2022 | ICTAC | A Combinatorial Study of Async/Await Processes. | Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2021 | CP | Automated Random Testing of Numerical Constrained Types. | Ghiles Ziat, Matthieu Dien, Vincent Botbol |
| 2018 | AofA | Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes. | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola |
| 2017 | CSR | Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. | Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frdric Peschanski |
| 2016 | LATIN | Increasing Diamonds. | Olivier Bodini, Matthieu Dien, Xavier Fontaine, Antoine Genitrini, Hsien-Kuei Hwang |