
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Structural properties of large random maps and lambdaterms may be glean...
read it

Generalized Tilings with Height Functions
In this paper, we introduce a generalization of a class of tilings which...
read it

Compaction for two models of logarithmicdepth trees: Analysis and Experiments
In this paper we are interested in the quantitative analysis of the comp...
read it

Tuning as convex optimisation: a polynomial tuner for multiparametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
read it

The Combinatorics of Barrier Synchronization
In this paper we study the notion of synchronization from the point of v...
read it

Ranked Schröder Trees
In biology, a phylogenetic tree is a tool to represent the evolutionary ...
read it

Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
read it

Beyond seriesparallel concurrent systems: the case of arch processes
In this paper we focus on concurrent processes built on synchronization ...
read it

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Uniquely closable skeletons of lambda terms are Motzkintrees that prede...
read it

Polynomial tuning of multiparametric combinatorial samplers
Boltzmann samplers and the recursive method are prominent algorithmic fr...
read it
Olivier Bodini
is this you? claim profile