Allyx FONTAINE
Allyx Fontaine Doctorant (Université Bordeaux 1)

Équipe LaBRI : Combinatoire et Algorithmique
Fonction administrative :
Courrier électronique : allyx.fontainearobaselabri.fr
Bureau : 327
Tél : +33 (0)5 40 00 69 37


Recherche

Sujet de thèse : Analyses et Preuves Formelles d'Algorithmes Distribués Probabilistes
Directeurs : Akka ZEMMARI, Pierre CASTERAN
Site web : www.lab327.net/fontaine/

Extrait de publications


Allyx Fontaine, Yves Métivier, John Michael Robson, Akka Zemmari. On Lower Bounds for the Time and the Bit Complexity of some Probabilistic Distributed Graph Algorithms. V. Geffert, B. Preneel, B. Rovan, J. Stuller and A M. Tjoa. 40th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2014, Slovakia. Springer, 8327, pp.235-245, Lecture Notes in Computer Science.

Allyx Fontaine, Akka Zemmari. Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous. Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France.

Allyx Fontaine, Yves Métivier, John Michael Robson, Akka Zemmari. Optimal Bit Complexity Randomised Distributed MIS and Maximal Matching Algorithms for Anonymous Rings. Information and Computation, Elsevier, 2013, 233, pp.32-40.


Page mise à jour le 13/08/2010 à 10:56