Increasing diamonds O Bodini, M Dien, X Fontaine, A Genitrini, HK Hwang LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada …, 2016 | 15 | 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 | 13 | 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 | 11 | 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 | 9 | 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 | 7 | 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 | 4* | 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 | 2 | 2021 |
Automated Random Testing of Numerical Constrained Types G Ziat, M Dien, V Botbol 27th International Conference on Principles and Practice of Constraint …, 2021 | 1 | 2021 |
A Combinatorial Study of Async/Await Processes M Dien, A Genitrini, F Peschanski Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium …, 2022 | | 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 | | 2022 |
Uniform SAmplINg with BOLTZmann M Dien, M Pépin | | |