| Solving equations on discrete dynamical systems A Dennunzio, E Formenti, L Margara, V Montmirail, S Riva International Meeting on Computational Intelligence Methods for …, 2019 | 5 | 2019 |
| Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures PP Balbi, E Formenti, K Perrot, S Riva, ELP Ruivo International Workshop on Cellular Automata and Discrete Complex Systems, 14-28, 2020 | 4 | 2020 |
| Decomposition and factorisation of transients in Functional Graphs F Doré, E Formenti, AE Porreca, S Riva Theoretical Computer Science, 114514, 2024 | 3* | 2024 |
| Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures PP Balbi, E Formenti, K Perrot, S Riva, ELP Ruivo Theoretical Computer Science 926, 21-50, 2022 | 3 | 2022 |
| MDDs boost equation solving on discrete dynamical systems E Formenti, JC Régin, S Riva Integration of Constraint Programming, Artificial Intelligence, and …, 2021 | 3 | 2021 |
| An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena A Dennunzio, E Formenti, L Margara, S Riva Journal of Computational Science 66, 101932, 2023 | 1 | 2023 |
| Informatique mathématique: Une photographie en 2022 O Bournez, C Raphaël, F Nathanaël, E Formenti, E Kaufmann, PA Mattei, ... CNRS Edition, 2022 | 1 | 2022 |
| Bringing memory to Boolean networks: a unifying framework M Gadouleau, L Paulevé, S Riva arXiv preprint arXiv:2404.03553, 2024 | | 2024 |
| Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks S Riva, JM Lagniez, GM López, L Paulevé International Conference on Computational Methods in Systems Biology, 157-174, 2023 | | 2023 |
| Factorisation de Systemes Dynamiques Discrets S Riva Université Côte d'Azur, Università degli Studi di Milano-Bicocca, 2022 | | 2022 |
Enrico FormentiProfessor in Computer Science, Université Côte d'AzurVerified email at univ-cotedazur.fr
