Sara Riva

According to our database, Sara Riva authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A note on solving basic equations over the semiring of functional digraphs.

Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva

CoRR, 2024

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., January, 2023

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.

Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Factorisation of discrete dynamical systems. (Factorisation de systèmes dynamiques discrets).

Sara Riva

PhD thesis, 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

Algorithmic reconstruction of discrete dynamics.

François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva

CoRR, 2022

2021

MDDs Boost Equation Solving on Discrete Dynamical Systems.

Enrico Formenti, Jean-Charles Régin, Sara Riva

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

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

Proceedings of the Cellular Automata and Discrete Complex Systems, 2020

2019

Solving Equations on Discrete Dynamical Systems.

Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019