| 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 | 12 | 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 | 8 | 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 | 6 | 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 |
| A Combinatorial Study of Async/Await Processes M Dien, A Genitrini, F Peschanski International Colloquium on Theoretical Aspects of Computing, 170-187, 2022 | 1 | 2022 |
| 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 |
| 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 | | |
Antoine GenitriniSorbonne UniversitéVerified email at sorbonne-universite.fr
