Skip to Main content
Number of documents



UMR 228 Espace-Dev, Espace pour le développement

Université de Guyane

Journal articles3 documents

  • Sara Dridi, Samira El Yacoubi, Franco Bagnoli, Allyx Fontaine. A graph theory approach for regional controllability of Boolean cellular automata. International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2019, ⟨10.1080/17445760.2019.1608442⟩. ⟨hal-02142983⟩
  • Allyx Fontaine, Akka Zemmari. RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2016, 26 (2), pp.157 - 186. ⟨10.7561/SACS.2016.2.157⟩. ⟨hal-01798785⟩
  • 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. ⟨hal-00871822⟩

Conference papers9 documents

  • Ricardo Llugsi Canar, Allyx Fontaine, Pablo Lupera Morillo, Samira El Yacoubi. Deep Learning to implement a Statistical Weather Forecast for the Andean City of Quito. 2020 IEEE ANDESCON, Oct 2020, Quito, Ecuador. pp.1-6, ⟨10.1109/ANDESCON50619.2020.9272106⟩. ⟨hal-03041898⟩
  • Alassane Koné, Allyx Fontaine, Samira El Yacoubi. COUPLING CELLULAR AUTOMATA WITH MEDALUS ASSESSMENT FOR THE DESERTIFICATION ISSUE. The International Conference on Emerging Trends in Engineering and Technology (IConETech-2020), Jun 2020, St. Augustine, Trinidad and Tobago. ⟨hal-03206028⟩
  • Allyx Fontaine, Akka Zemmari. Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. 13th International Colloquium on Theoretical Aspects of Computing, Oct 2016, Taipei, Taiwan. pp.69-81, ⟨10.1007/978-3-319-46750-4_5⟩. ⟨hal-01463441⟩
  • Raphaël Clifford, Allyx Fontaine, Tatiana Starikovskaya, Hjalte Wedel Vildhoj. Dynamic and Approximate Pattern Matching in 2D. Proceedings of the 23rd International Symposium String Processing and Information Retrieval - SPIRE, Oct 2016, Beppu, Japan. ⟨10.1007/978-3-319-46049-9_13⟩. ⟨hal-01828589⟩
  • Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya. The k -mismatch problem revisited. Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016, Arlington, VA, United States. ⟨10.1137/1.9781611974331.ch142⟩. ⟨hal-01798777⟩
  • Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari. A Fault-Tolerant Handshake Algorithm for Local Computations. 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Mar 2016, Crans-Montana, France. ⟨10.1109/WAINA.2016.78⟩. ⟨hal-01798786⟩
  • Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya. Dictionary matching in a stream. 23rd Annual European Symposium , 2015, Patras, Greece. ⟨10.1007/978-3-662-48350-3_31⟩. ⟨hal-01798784⟩
  • 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. 40th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2014, Slovakia. pp.235-245. ⟨hal-00873468⟩
  • Allyx Fontaine, Akka Zemmari. Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous. JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France. ⟨hal-00779700⟩

Book sections2 documents

  • Alassane Koné, Allyx Fontaine, Maud Loireau, Salifou Nouhou Jangorzo, Samira El Yacoubi. DESERTICAS, a Software to Simulate Desertification Based on MEDALUS and Cellular Automata. Cellular Automata. 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, LNCS 12599, pp.198-208, 2021, ⟨10.1007/978-3-030-69480-7_20⟩. ⟨hal-03206020⟩
  • Ricardo Llugsi, Allyx Fontaine, Pablo Lupera, Jessica Bechet, Samira El Yacoubi. Uncertainty Reduction in the Neural Network’s Weather Forecast for the Andean City of Quito Through the Adjustment of the Posterior Predictive Distribution Based on Estimators. Communications in Computer and Information Science. Springer, Cham, vol. 1307, pp.535-548, 2020, ⟨10.1007/978-3-030-62833-8_39⟩. ⟨hal-03041895⟩