Matthieu Dien
Matthieu Dien
Verified email at - Homepage
Cited by
Cited by
Increasing diamonds
O Bodini, M Dien, X Fontaine, A Genitrini, HK Hwang
LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada …, 2016
The ordered and colored products in analytic combinatorics: application to the quantitative study of synchronizations in concurrent processes
O Bodini, M Dien, A Genitrini, F Peschanski
2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and …, 2017
Entropic uniform sampling of linear extensions in series-parallel posets
O Bodini, M Dien, A Genitrini, F Peschanski
Computer Science–Theory and Applications: 12th International Computer …, 2017
Beyond series-parallel concurrent systems: the case of arch processes
O Bodini, M Dien, A Genitrini, A Viola
arXiv preprint arXiv:1803.00843, 2018
The combinatorics of barrier synchronization
O Bodini, M Dien, A Genitrini, F Peschanski
Application and Theory of Petri Nets and Concurrency: 40th International …, 2019
Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms
M Dien
Université Pierre et Marie Curie-Paris VI, 2017
Quantitative and algorithmic aspects of barrier synchronization in concurrency
O Bodini, M Dien, A Genitrini, F Peschanski
Discrete Mathematics & Theoretical Computer Science 22 (Special issues), 2021
Automated Random Testing of Numerical Constrained Types
G Ziat, M Dien, V Botbol
27th International Conference on Principles and Practice of Constraint …, 2021
A Combinatorial Study of Async/Await Processes
M Dien, A Genitrini, F Peschanski
Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium …, 2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
G Ziat, V Botbol, M Dien, A Gotlieb, M Pépin, C Dubois
arXiv preprint arXiv:2208.12747, 2022
Uniform SAmplINg with BOLTZmann
M Dien, M Pépin
The system can't perform the operation now. Try again later.
Articles 1–11