Florian Horn a rédigé la thèse suivante :

Informatique
Soutenue en 2008
Thèse soutenue