Sign in
Sara Riva
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 9
Top Topics
Nonlinear Equations
Cellular Automata
Petri Net
Discrete Dynamical Systems
Top Venues
CoRR
CMSB
CIBB
J. Comput. Sci.
</>
Publications
</>
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)