research
∙
06/15/2021
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Structural properties of large random maps and lambda-terms may be glean...
share
research
∙
01/20/2021
Generalized Tilings with Height Functions
In this paper, we introduce a generalization of a class of tilings which...
research
∙
05/26/2020
Compaction for two models of logarithmic-depth trees: Analysis and Experiments
In this paper we are interested in the quantitative analysis of the comp...
research
∙
02/26/2020
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
research
∙
07/03/2019
The Combinatorics of Barrier Synchronization
In this paper we study the notion of synchronization from the point of v...
research
∙
08/25/2018
Ranked Schröder Trees
In biology, a phylogenetic tree is a tool to represent the evolutionary ...
research
∙
05/23/2018
Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
research
∙
03/02/2018
Beyond series-parallel concurrent systems: the case of arch processes
In this paper we focus on concurrent processes built on synchronization ...
research
∙
09/13/2017
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Uniquely closable skeletons of lambda terms are Motzkin-trees that prede...
research
∙
08/03/2017