Matthieu Dien

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Venues

CoRR

SYNASC

Petri Nets

CSR

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Matthieu Dien, Frédéric Peschanski
Counting Linear Extensions of Modular Partial Orders. SYNASC (2023)
Matthieu Dien, Martin Pépin
Uniform SAmplINg with BOLTZmann. SYNASC (2023)
Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
A Combinatorial Study of Async/Await Processes. ICTAC (2022)
Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR (2022)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency. Discret. Math. Theor. Comput. Sci. 22 (3) (2021)
Ghiles Ziat, Matthieu Dien, Vincent Botbol
Automated Random Testing of Numerical Constrained Types. CP (2021)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Combinatorics of Barrier Synchronization. Petri Nets (2019)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Combinatorics of Barrier Synchronization. CoRR (2019)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola
Beyond series-parallel concurrent systems: the case of arch processes. CoRR (2018)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola
Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes. AofA (2018)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes. ANALCO (2017)
Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets. CSR (2017)
Olivier Bodini, Matthieu Dien, Xavier Fontaine, Antoine Genitrini, Hsien-Kuei Hwang
Increasing Diamonds. LATIN (2016)

Matthieu Dien.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthieu Dien