Matthieu Dien

According to our database1, Matthieu Dien authored at least 12 papers between 2016 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Uniform SAmplINg with BOLTZmann.
Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

Counting Linear Extensions of Modular Partial Orders.
Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

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

A Combinatorial Study of Async/Await Processes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021
Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency.
Discret. Math. Theor. Comput. Sci., 2021

Automated Random Testing of Numerical Constrained Types.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2019
The Combinatorics of Barrier Synchronization.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes.
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).
PhD thesis, 2017

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets.
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.
Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics, 2017

2016
Increasing Diamonds.
Proceedings of the LATIN 2016: Theoretical Informatics, 2016


  Loading...