Sara Riva

18 papers B 1Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bringing memory to Boolean networks: A unifying framework.
J. Comput. Syst. Sci.
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
2026 — ed.
Cellular Automata and Discrete Complex Systems - 31st IFIP WG 1.5 International Workshop, AUTOMATA 2025, Lille, France, June 30 - July 2, 2025, Proceedings
AUTOMATA
Sara Riva, Adrien Richard
2025 J jnl
On solving basic equations over the semiring of functional digraphs.
Discret. Math. Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
2024 J jnl
A note on solving basic equations over the semiring of functional digraphs.
CoRR
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
2024 J jnl
Bringing memory to Boolean networks: a unifying framework.
CoRR
Maximilien Gadouleau, Loïc Paulevé, Sara Riva
2024 J jnl
Decomposition and factorisation of transients in functional graphs.
Theor. Comput. Sci.
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
2024 — conf
Roots in the Semiring of Finite Deterministic Dynamical Systems.
AUTOMATA
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
2024 J jnl
Roots in the semiring of finite deterministic dynamical systems.
CoRR
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
2023 J jnl
An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena.
J. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
2023 — conf
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CMSB
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2023 J jnl
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CoRR
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2022 J jnl
Algorithmic reconstruction of discrete dynamics.
CoRR
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
2022 — —
Factorisation of discrete dynamical systems. (Factorisation de systèmes dynamiques discrets).
Sara Riva
2022 J jnl
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures.
Theor. Comput. Sci.
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
2021 B conf
MDDs Boost Equation Solving on Discrete Dynamical Systems.
CPAIOR
Enrico Formenti, Jean-Charles Régin, Sara Riva
2020 — conf
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures.
Automata
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
2020 J jnl
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures.
CoRR
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
2019 — conf
Solving Equations on Discrete Dynamical Systems.
CIBB
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva