Access content directly

Allyx Fontaine



UMR 228 Espace-Dev, Espace pour le développement Université de Guyane



Alassane Koné , Allyx Fontaine , Samira El Yacoubi
The International Conference on Emerging Trends in Engineering and Technology (IConETech-2020), Jun 2020, St. Augustine, Trinidad and Tobago
Conference papers hal-03206028v1

Deep Learning to implement a Statistical Weather Forecast for the Andean City of Quito

Ricardo Llugsi Canar , Allyx Fontaine , Pablo Lupera Morillo , Samira El Yacoubi
2020 IEEE ANDESCON, Oct 2020, Quito, Ecuador. pp.1-6, ⟨10.1109/ANDESCON50619.2020.9272106⟩
Conference papers hal-03041898v1

Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms

Allyx Fontaine , Akka Zemmari
13th International Colloquium on Theoretical Aspects of Computing, Oct 2016, Taipei, Taiwan. pp.69-81, ⟨10.1007/978-3-319-46750-4_5⟩
Conference papers hal-01463441v1

Dynamic and Approximate Pattern Matching in 2D

Raphaël Clifford , Allyx Fontaine , Tatiana Starikovskaya , Hjalte Wedel Vildhoj
Proceedings of the 23rd International Symposium String Processing and Information Retrieval - SPIRE, Oct 2016, Beppu, Japan. ⟨10.1007/978-3-319-46049-9_13⟩
Conference papers hal-01828589v1

The k -mismatch problem revisited

Raphaël Clifford , Allyx Fontaine , Ely Porat , Benjamin Sach , Tatiana Starikovskaya
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016, Arlington, VA, United States. ⟨10.1137/1.9781611974331.ch142⟩
Conference papers hal-01798777v1

A Fault-Tolerant Handshake Algorithm for Local Computations

Allyx Fontaine , Mohamed Mosbah , Mohamed Tounsi , Akka Zemmari
2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Mar 2016, Crans-Montana, France. ⟨10.1109/WAINA.2016.78⟩
Conference papers hal-01798786v1

Dictionary matching in a stream

Raphaël Clifford , Allyx Fontaine , Ely Porat , Benjamin Sach , Tatiana Starikovskaya
23rd Annual European Symposium {ESA}, 2015, Patras, Greece. ⟨10.1007/978-3-662-48350-3_31⟩
Conference papers hal-01798784v1

On Lower Bounds for the Time and the Bit Complexity of some Probabilistic Distributed Graph Algorithms

Allyx Fontaine , Yves Métivier , John Michael Robson , Akka Zemmari
40th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2014, Slovakia. pp.235-245
Conference papers hal-00873468v1
Image document

Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous

Allyx Fontaine , Akka Zemmari
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Conference papers hal-00779700v1