Solving Equations on Discrete Dynamical Systems. - Alberto Dennunzio; Enrico Formenti; Luciano Margara; Valentin Montmirail; Sara Riva (CIBB, 2019)

Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures. - Pedro Paulo Balbi de Oliveira; Enrico Formenti; Kévin Perrot; Sara Riva; Eurico L. P. Ruivo (Automata, 2020)

MDDs Boost Equation Solving on Discrete Dynamical Systems. - Enrico Formenti; Jean-Charles Régin; Sara Riva (CPAIOR, 2021)

Algorithmic reconstruction of discrete dynamics. - François Doré; Enrico Formenti; Antonio E. Porreca; Sara Riva (CoRR, 2022)

Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures. - Pedro Paulo Balbi de Oliveira; Enrico Formenti; Kévin Perrot; Sara Riva; Eurico L. P. Ruivo (Theor. Comput. Sci., 2022)

Factorisation of discrete dynamical systems. (Factorisation de systèmes dynamiques discrets). - Sara Riva (2022)

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. - Sara Riva; Jean-Marie Lagniez; Gustavo Magaña López; Loïc Paulevé (CMSB, 2023)

An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena. - Alberto Dennunzio; Enrico Formenti; Luciano Margara; Sara Riva (J. Comput. Sci., 2023)

Roots in the Semiring of Finite Deterministic Dynamical Systems. - François Doré; Kévin Perrot; Antonio E. Porreca; Sara Riva; Marius Rolland (AUTOMATA, 2024)

A note on solving basic equations over the semiring of functional digraphs. - Alberto Dennunzio; Enrico Formenti; Luciano Margara; Sara Riva (CoRR, 2024)

Bringing memory to Boolean networks: a unifying framework. - Maximilien Gadouleau; Loïc Paulevé; Sara Riva (CoRR, 2024)

Decomposition and factorisation of transients in functional graphs. - François Doré; Enrico Formenti; Antonio E. Porreca; Sara Riva (Theor. Comput. Sci., 2024)