Sara Riva

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Pattern Formation

Qualitative Differential Equations

Cellular Automata

Top Venues

Theor. Comput. Sci.

Publications

François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Decomposition and factorisation of transients in functional graphs. Theor. Comput. Sci. 999 (2024)
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
Roots in the Semiring of Finite Deterministic Dynamical Systems. AUTOMATA (2024)
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
Bringing memory to Boolean networks: a unifying framework. CoRR (2024)
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
Roots in the semiring of finite deterministic dynamical systems. CoRR (2024)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
A note on solving basic equations over the semiring of functional digraphs. CoRR (2024)
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CoRR (2023)
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CMSB (2023)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena. J. Comput. Sci. 66 (2023)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures. Theor. Comput. Sci. 926 (2022)
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Algorithmic reconstruction of discrete dynamics. CoRR (2022)
Enrico Formenti, Jean-Charles Régin, Sara Riva
MDDs Boost Equation Solving on Discrete Dynamical Systems. CPAIOR (2021)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures. CoRR (2020)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures. Automata (2020)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva
Solving Equations on Discrete Dynamical Systems. CIBB (2019)