34 citations · 76 across the 20 of their papers we have counts for
5 papers · 1 filter
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear and additive cellular automata
Alberto Dennunzio, Enrico Formenti, Darij Grinberg +1
Let be a finite commutative ring, and let be a commutative -algebra. Let and be two -matrices over that have…
Solving Equations on Discrete Dynamical Systems (Extended version)
Alberto Dennunzio, Enrico Formenti, Luciano Margara +2
Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of biological modelling by discrete dynamical systems (DDS). A major issue in…
Complexity of the dynamics of reaction systems
Alberto Dennunzio, Enrico Formenti, Luca Manzoni +1
Reaction systems are discrete dynamical systems inspired by bio-chemical processes, whose dynamical behaviour is expressed by set-theoretic operations on finite sets. Reaction syst…
On the dynamical behaviour of linear higher-order cellular automata and its decidability
Alberto Dennunzio, Enrico Formenti, Luca Manzoni +2
Higher-order cellular automata (HOCA) are a variant of cellular automata (CA) used in many applications (ranging, for instance, from the design of secret sharing schemes to data co…
Search Space Reduction of Asynchrony Immune Cellular Automata by Center Permutivity
Luca Mariot, Luca Manzoni, Alberto Dennunzio
We continue the study of asynchrony immunity in cellular automata (CA), which can be considered as a weaker version of correlation immunity in the context of vectorial Boolean func…