Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 résultats
Page :
triés par
Image document

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
14th Workshop on Analytic Algorithmics and Combinatorics (ANALCO17), Jan 2017, Barcelone, Spain. pp.16 - 30, ⟨10.1137/1.9781611974775.2⟩
Communication dans un congrès hal-01448695v1

Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets

 Olivier Bodini , Matthieu Dien , Antoine Genitrini , Frédéric Peschanski
Computer Science Symposium in Russia, 2017, Kazan, Russia
Communication dans un congrès hal-01476189v1
Image document

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency

 Olivier Bodini , Matthieu Dien , Antoine Genitrini , Frédéric Peschanski
Discrete Mathematics and Theoretical Computer Science, In press, Computational Logic and Applications (CLA'19), vol. 22 no. 3, Computational Logic and Applications (CLA'19) (3), ⟨10.46298/dmtcs.5820⟩
Article dans une revue hal-02301925v4

Increasing Diamonds

 Olivier Bodini , Matthieu Dien , Xavier Fontaine , Antoine Genitrini , Hsien-Kuei Hwang
12th. Latin American Theoretical INformatics Symposium, Apr 2016, Ensenada, Mexico. ⟨10.1007/978-3-662-49529-2_16⟩
Communication dans un congrès hal-01331227v1

The Combinatorics of Barrier Synchronization

 Olivier Bodini , Matthieu Dien , Antoine Genitrini , Frederic Peschanski
PETRI NETS 2019 - 40th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2019, Aachen, Germany. pp.386-405, ⟨10.1007/978-3-030-21571-2_21⟩
Communication dans un congrès hal-02163607v1

Beyond series-parallel concurrent systems: the case of arch processes

 Olivier Bodini , Antoine Genitrini , Matthieu Dien , Alfredo Viola
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Jun 2018, Uppsala, Sweden. pp.14:1--14:14, ⟨10.4230/LIPIcs.AofA.2018.14⟩
Communication dans un congrès hal-02073611v1

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

 Vincent Botbol , Ghiles Ziat , Matthieu Dien , Arnaud Gotlieb , Martin Pépin , et al.
32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia
Communication dans un congrès hal-04551862v1
Page :