Allyx Fontaine
15
Documents
Presentation
UMR 228 Espace-Dev, Espace pour le développement
Université de Guyane
Publications
Assessing the Impact of Anthropogenic Factors on Desertification Through the DESERTICAS SoftwareJournal of Cellular Automata, 2022, 16 (5-6), p. 423-442
Journal articles
hal-04053028v1
|
|
A graph theory approach for regional controllability of Boolean cellular automataInternational Journal of Parallel, Emergent and Distributed Systems, 2019, ⟨10.1080/17445760.2019.1608442⟩
Journal articles
hal-02142983v1
|
|
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing ModelScientific Annals of Computer Science, 2016, 26 (2), pp.157 - 186. ⟨10.7561/SACS.2016.2.157⟩
Journal articles
hal-01798785v1
|
|
Optimal Bit Complexity Randomised Distributed MIS and Maximal Matching Algorithms for Anonymous RingsInformation and Computation, 2013, 233, pp.32-40
Journal articles
hal-00871822v1
|
COUPLING CELLULAR AUTOMATA WITH MEDALUS ASSESSMENT FOR THE DESERTIFICATION ISSUEThe 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 Quito2020 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 Algorithms13th 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 2DProceedings 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 revisitedProceedings 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 Computations2016 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 stream23rd 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 Algorithms40th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2014, Slovakia. pp.235-245
Conference papers
hal-00873468v1
|
|
|
Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-VousJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Conference papers
hal-00779700v1
|
DESERTICAS, a Software to Simulate Desertification Based on MEDALUS and Cellular AutomataCellular 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⟩
Book sections
hal-03206020v1
|
|
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 EstimatorsCommunications in Computer and Information Science. Springer, Cham, vol. 1307, pp.535-548, 2020, ⟨10.1007/978-3-030-62833-8_39⟩
Book sections
hal-03041895v1
|