Matthieu Dien

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The Combinatorics of Barrier Synchronization
Application and Theory of Petri Nets and Concurrency
2024-01-29Paper
A combinatorial study of async/await processes
Lecture Notes in Computer Science
2023-07-28Paper
scientific article; zbMATH DE number 7524075 (Why is no real title available?)2022-05-10Paper
Beyond series-parallel concurrent systems: the case of arch processes
(available as arXiv preprint)
2021-06-15Paper
The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes
2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)
2019-09-17Paper
Entropic uniform sampling of linear extensions in series-parallel posets2017-08-22Paper
Increasing diamonds
LATIN 2016: Theoretical Informatics
2016-05-03Paper


Research outcomes over time


This page was built for person: Matthieu Dien