-
Algebraic combinatorics on trees
This thesis comes within the scope of algebraic combinatorics and deals with the construction of several combinatorial and algebraic structures on different tree... -
Yeast ancestral genome reconstructions: the possibilities of computational me...
International audience -
Reaction Motifs in Metabolic Networks
The classic view of metabolism as a collection of metabolic pathways is being questioned with the currently available possibility of studying whole networks. Novel... -
Algorithms Seminar, 2002-2004
These seminar notes constitute the proceedings of a seminar devoted to the analysis of algorithms and related topics. The subjects covered include combinatorics,... -
Identification de sommets dans les graphes
The work presented in this document deals with identifying codes in graphs. This notion, introduced in the late 1990's, models fault-detection problems in networks. An... -
A note on Sturmian words
International audience -
Counting and generating lambda terms
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in... -
On the combinatorics of suffix arrays
International audience -
Counting and generating lambda terms
International audience -
Exactly solvable models of two-dimensional statistical mechanics: the Ising m...
Ce mémoire donne un aperçu de mes travaux de recherche depuis la thèse. La thématique générale est la mécanique statistique, qui a pour but de comprendre le... -
Strong chromatic index of planar graphs with large girth
International audience -
Counting Terms in the Binary Lambda Calculus
International audience -
Spectrum of Markov generators on sparse random graphs
Correction in Proposition 4.3. Final version. -
Rare Events and Conditional Events on Random Strings
International audience -
Du syncrétisme à SYNCRÉTISME : perspective lexicographique
International audience -
Multivariate Juggling Probabilities
28 pages, 5 figures -
Boltzmann samplers for random generation of lambda terms
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for...
