Optimal bit complexity randomised distributed MIS and maximal matching algorithms for anonymous rings. - Allyx Fontaine; Yves Métivier; John Michael Robson; Akka Zemmari (Inf. Comput., 2013)

On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms - (Extended Abstract). - Allyx Fontaine; Yves Métivier; John Michael Robson; Akka Zemmari (SOFSEM, 2014)

Analyses et preuves formelles d'algorithmes distribués probabilistes. (Analyses and Formal Proofs of Randomised Distributed Algorithms). - Allyx Fontaine (2014)

Dictionary Matching in a Stream. - Raphaël Clifford; Allyx Fontaine; Ely Porat; Benjamin Sach; Tatiana Starikovskaya (ESA, 2015)

The k-mismatch problem revisited. - Raphaël Clifford; Allyx Fontaine; Ely Porat; Benjamin Sach; Tatiana Starikovskaya (CoRR, 2015)

A Fault-Tolerant Handshake Algorithm for Local Computations. - Allyx Fontaine; Mohamed Mosbah 001; Mohamed Tounsi 001; Akka Zemmari (AINA Workshops, 2016)

Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. - Allyx Fontaine; Akka Zemmari (ICTAC, 2016)

The k-mismatch problem revisited. - Raphaël Clifford; Allyx Fontaine; Ely Porat; Benjamin Sach; Tatiana Starikovskaya (SODA, 2016)

Dynamic and Approximate Pattern Matching in 2D. - Raphaël Clifford; Allyx Fontaine; Tatiana Starikovskaya; Hjalte Wedel Vildhøj (SPIRE, 2016)

RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. - Allyx Fontaine; Akka Zemmari (Sci. Ann. Comput. Sci., 2016)

A Web-Service to Monitor a Wireless Sensor Network. - Rayanne M. C. Silveira; Francisco P. R. S. Alves; Allyx Fontaine; Ewaldo Eder Carvalho Santana (ICWS, 2019)

Monitoring an Environment Using Wireless Sensor Network. - Rayanne Maria Cunha Silveira; Thalyson Danilo Rocha Dutra; Francisco Paulo Roberto Sampaio Alves; Allyx Fontaine; Thierry Desjardins; Raimundo C. S. Freire; Allan K. D. Barros; Ewaldo Eder Carvalho Santana (INSCI, 2019)

DESERTICAS, a Software to Simulate Desertification Based on MEDALUS and Cellular Automata. - Alassane Koné; Allyx Fontaine; Maud Loireau; Salifou Nouhou Jangorzo; Samira El Yacoubi (ACRI, 2020)

A graph theory approach for regional controllability of Boolean cellular automata. - Sara Dridi; Samira El Yacoubi; Franco Bagnoli; Allyx Fontaine (Int. J. Parallel Emergent Distributed Syst., 2020)

A novel Adam approach related to Decoupled Weight Decay (AdamL). - Ricardo Llugsi; Samira El Yacoubi; Allyx Fontaine; Pablo Lupera (LA-CCI, 2021)

A novel Encoder-Decoder structure for Time Series analysis based on Bayesian Uncertainty reduction. - Ricardo Llugsi; Samira El Yacoubi; Allyx Fontaine; Pablo Lupera (LA-CCI, 2021)

Assessing the Impact of Anthropogenic Factors on Desertification Through the DESERTICAS Software. - Alassane Koné; Allyx Fontaine; Samira El Yacoubi; Maud Loireau; Salifou Nouhou Jangorzo (J. Cell. Autom., 2022)

A novel approach for detecting error measurements in a network of automatic weather stations. - Ricardo Llugsi; Samira El Yacoubi; Allyx Fontaine; Pablo Lupera (Int. J. Parallel Emergent Distributed Syst., 2022)

Controlling Desertification Using Cellular Automata and Genetic Algorithms. - Alassane Koné; Samira El Yacoubi; Allyx Fontaine (ACRI, 2024)

Desertification Control Strategies: A Hybrid Approach Using Cellular Automata and Reinforcement Learning. - Amira Mouakher; Alassane Koné; Allyx Fontaine; Samira El Yacoubi (ACRI, 2024)