Matthieu Dien - RankMe

14 papers A 1B 2C 2Misc 3Journal 4Unranked 1

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