Matthieu Dien

According to our database, Matthieu Dien authored at least 10 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.

Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois

CoRR, 2022

A Combinatorial Study of Async/Await Processes.

Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Discret. Math. Theor. Comput. Sci., 2021

Automated Random Testing of Numerical Constrained Types.

Ghiles Ziat, Matthieu Dien, Vincent Botbol

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2019

The Combinatorics of Barrier Synchronization.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Alfredo Viola

Proceedings of the 29th International Conference on Probabilistic, 2018

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

PhD thesis, 2017

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Computer Science - Theory and Applications, 2017

The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes.

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, 2017

2016

Increasing Diamonds.

Olivier Bodini, Matthieu Dien, Xavier Fontaine, Antoine Genitrini, Hsien-Kuei Hwang

Proceedings of the LATIN 2016: Theoretical Informatics, 2016