Increasing Diamonds. - Olivier Bodini; Matthieu Dien; Xavier Fontaine; Antoine Genitrini; Hsien-Kuei Hwang (LATIN, 2016)

The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (ANALCO, 2017)

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (CSR, 2017)

Concurrent process and combinatorics of increasingly labeled structures : quantitative analysis and random generation algorithms. (Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire). - Matthieu Dien (2017)

Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Alfredo Viola (AofA, 2018)

The Combinatorics of Barrier Synchronization. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (Petri Nets, 2019)

Automated Random Testing of Numerical Constrained Types. - Ghiles Ziat; Matthieu Dien; Vincent Botbol (CP, 2021)

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency. - Olivier Bodini; Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (Discret. Math. Theor. Comput. Sci., 2021)

A Combinatorial Study of Async/Await Processes. - Matthieu Dien; Antoine Genitrini; Frédéric Peschanski (ICTAC, 2022)

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. - Ghiles Ziat; Vincent Botbol; Matthieu Dien; Arnaud Gotlieb; Martin Pépin; Catherine Dubois (CoRR, 2022)

Counting Linear Extensions of Modular Partial Orders. - Matthieu Dien; Frédéric Peschanski (SYNASC, 2023)

Uniform SAmplINg with BOLTZmann. - Matthieu Dien; Martin Pépin (SYNASC, 2023)