3 citations · 3 across the 1 of their papers we have counts for
6 papers
The Combinatorics of Barrier Synchronization
Olivier Bodini, Matthieu Dien, Antoine Genitrini +1
In this paper we study the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executi…
Binary Decision Diagrams: from Tree Compaction to Sampling
Julien Clément, Antoine Genitrini
Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common…
On the Number of Increasing Trees with Label Repetitions
Olivier Bodini, Antoine Genitrini, Bernhard Gittenberger +1
We study the asymptotic number of certain monotonically labeled increasing trees arising from a generalized evolution process. The main difference between the presented model and t…
Ranked Schröder Trees
Olivier Bodini, Antoine Genitrini, Mehdi Naima
In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schröder tree model is not adapted to take into a…
Beyond series-parallel concurrent systems: the case of arch processes
Olivier Bodini, Matthieu Dien, Antoine Genitrini +1
In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allow…
Full asymptotic expansion for Polya structures
Antoine Genitrini
In order to obtain the full asymptotic expansion for Polya trees, i.e. rooted unlabelled and non-plane trees, Flajolet and Sedgewick observed that their specification could be seen…