Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Antoine Genitrini
Antoine Genitrini a rédigé la thèse suivante :
Expressions booléennes aléatoires : probabilité, complexité et comparaison quantitative de logiques propositionnelles
par Antoine Genitrini sous la direction de Danièle Gardy - Versailles-St Quentin en Yvelines
Informatique
Soutenue en 2009
Antoine Genitrini a dirigé les 4 thèses suivantes :
Quantitative and algorithmic analysis of concurrent programs
par Martin Pépin sous la direction de Antoine Genitrini et de Frédéric Peschanski . - Sorbonne université
Informatique
Soutenue le 29-09-2021
Combinatoire des arbres sous étiquetages croissants : Asymptotiques, bijections et algorithmes
par Mehdi Naima sous la direction de Olivier Bodini et de Antoine Genitrini . - Paris 13
Informatique
Soutenue le 18-12-2020
Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire
par Matthieu Dien sous la direction de Antoine Genitrini , Michèle Soria et de Frédéric Peschanski . - Paris 6
Informatique
Soutenue le 22-09-2017
De l'usage des opérateurs en combinatoire : construction, analyse et génération aléatoire
par Nicolas Rolin sous la direction de Olivier Bodini et de Antoine Genitrini . - Sorbonne Paris Cité
Informatique
Soutenue le 06-10-2016
Antoine Genitrini a été membre de jury de la thèse suivante :
Analyse réaliste d'algorithmes standards
par Nicolas Auger sous la direction de Cyril Nicaud - Paris Est
Informatique
Soutenue le 20-12-2018
