Stebėti
Sara Riva
Sara Riva
Université de Lille, CRIStAL
Patvirtintas el. paštas univ-lille.fr
Pavadinimas
Cituota
Cituota
Metai
Solving equations on discrete dynamical systems
A Dennunzio, E Formenti, L Margara, V Montmirail, S Riva
International Meeting on Computational Intelligence Methods for …, 2019
82019
MDDs boost equation solving on discrete dynamical systems
E Formenti, JC Régin, S Riva
Integration of Constraint Programming, Artificial Intelligence, and …, 2021
72021
Decomposition and factorisation of transients in functional graphs
F Doré, E Formenti, AE Porreca, S Riva
Theoretical Computer Science 999, 114514, 2024
6*2024
An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena
A Dennunzio, E Formenti, L Margara, S Riva
Journal of Computational Science 66, 101932, 2023
42023
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures
PP Balbi, E Formenti, K Perrot, S Riva, ELP Ruivo
Theoretical Computer Science 926, 21-50, 2022
42022
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures
PP Balbi, E Formenti, K Perrot, S Riva, ELP Ruivo
International Workshop on Cellular Automata and Discrete Complex Systems, 14-28, 2020
42020
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
S Riva, JM Lagniez, GM López, L Paulevé
International Conference on Computational Methods in Systems Biology, 157-174, 2023
32023
A note on solving basic equations over the semiring of functional digraphs
A Dennunzio, E Formenti, L Margara, S Riva
arXiv preprint arXiv:2402.16923, 2024
12024
Informatique mathématique: Une photographie en 2022
O Bournez, C Raphaël, F Nathanaël, E Formenti, E Kaufmann, PA Mattei, ...
CNRS Edition, 2022
12022
Roots in the semiring of finite deterministic dynamical systems
F Doré, K Perrot, AE Porreca, S Riva, M Rolland
International Workshop on Cellular Automata and Discrete Complex Systems …, 2024
2024
Bringing memory to Boolean networks: a unifying framework
M Gadouleau, L Paulevé, S Riva
arXiv preprint arXiv:2404.03553, 2024
2024
Factorisation de Systemes Dynamiques Discrets
S Riva
Université Côte d'Azur, Università degli Studi di Milano-Bicocca, 2022
2022
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–12