Alberto Dennunzio

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 33

Top Topics

Cellular Automata

Search Space Reduction

Discrete Dynamical Systems

Top Venues

Theor. Comput. Sci.

Publications

Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
Distance-based affective states in cellular automata pedestrian simulation. Nat. Comput. 23 (1) (2024)
Alberto Dennunzio, Enrico Formenti, Luciano Margara
An efficient algorithm deciding chaos for linear cellular automata over (Z/mZ)n with applications to data encryption. Inf. Sci. 657 (2024)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
A note on solving basic equations over the semiring of functional digraphs. CoRR (2024)
Alberto Dennunzio
Easy to Check Algebraic Characterizations of Dynamical Properties for Linear CA and Additive CA over a Finite Abelian Group. AUTOMATA (2024)
Alberto Dennunzio, Enrico Formenti, Luciano Margara
An Easily Checkable Algebraic Characterization of Positive Expansivity for Additive Cellular Automata over a Finite Abelian Group. CoRR (2023)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Giuliamaria Menara
A topology for P-systems with active membranes. J. Membr. Comput. 5 (4) (2023)
Alberto Dennunzio, Enrico Formenti, Luciano Margara
An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group. IEEE Access 11 (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)
Alberto Dennunzio, Enrico Formenti, Luciano Margara
Hard to Detect Factors of Univariate Integer Polynomials. CoRR (2022)
Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation. ACRI (2022)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
An efficiently computable characterization of stability and instability for linear cellular automata. J. Comput. Syst. Sci. 122 (2021)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Decidable characterizations of dynamical properties for additive cellular automata over a finite abelian group with applications to data encryption. Inf. Sci. 563 (2021)
Francesca Gasparini, Marta Giltri, Daniela Briola, Alberto Dennunzio, Stefania Bandini
Affectivity and Proxemic Distances: an Experimental Agent-based Modeling Approach. AIxAS@AI*IA (2021)
Alberto Dennunzio, Enrico Formenti
Preface. Nat. Comput. 19 (2) (2020)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Dynamical behavior of additive cellular automata over finite abelian groups. Theor. Comput. Sci. 843 (2020)
Luca Mariot, Luca Manzoni, Alberto Dennunzio
Search space reduction of asynchrony immune cellular automata. Nat. Comput. 19 (2) (2020)
Alberto Dennunzio, Enrico Formenti
Preface. Inf. Comput. 274 (2020)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
From Linear to Additive Cellular Automata. ICALP (2020)
Alberto Dennunzio, Gheorghe Paun, Grzegorz Rozenberg, Claudio Zandron
Preface. Fundam. Informaticae 171 (1-4) (2020)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Chaos and ergodicity are decidable for linear cellular automata over (Z/mZ)n. Inf. Sci. 539 (2020)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties. MFCS (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. LATA (2019)
Luca Mariot, Luca Manzoni, Alberto Dennunzio
Search Space Reduction of Asynchrony Immune Cellular Automata by Center Permutivity. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
On the dynamical behaviour of linear higher-order cellular automata and its decidability. Inf. Sci. 486 (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
On the dynamical behaviour of linear higher-order cellular automata and its decidability. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Complexity of the dynamics of reaction systems. CoRR (2019)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Complexity of the dynamics of reaction systems. Inf. Comput. 267 (2019)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva
Solving Equations on Discrete Dynamical Systems. CIBB (2019)
Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Polynomial Equations over Finite, Discrete-Time Dynamical Systems. ACRI (2018)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
Computational complexity of finite asynchronous cellular automata. Theor. Comput. Sci. 664 (2017)
Luca Mariot, Alberto Leporati, Alberto Dennunzio, Enrico Formenti
Computing the periods of preimages in surjective cellular automata. Nat. Comput. 16 (3) (2017)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Reachability in Resource-Bounded Reaction Systems. LATA (2016)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Preimage Problems for Reaction Systems. LATA (2015)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Ancestors, descendants, and gardens of Eden in reaction systems. Theor. Comput. Sci. 608 (2015)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Reaction systems and extremal combinatorics properties. Theor. Comput. Sci. 598 (2015)
Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch
Foreword: asynchronous behavior of cellular automata and discrete models. Nat. Comput. 14 (4) (2015)
Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
Preface. Int. J. Found. Comput. Sci. 25 (4) (2014)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Extremal Combinatorics of Reaction Systems. LATA (2014)
Gianpiero Cattaneo, Giampiero Chiaselotti, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models. ACRI (2014)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
-Asynchronous Elementary Cellular Automata. J. Cell. Autom. 9 (5-6) (2014)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Three research directions in non-uniform cellular automata. Theor. Comput. Sci. 559 (2014)
Alberto Dennunzio, Enrico Formenti, Michael Weiss
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues. Theor. Comput. Sci. 516 (2014)
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Andrzej Skowron
Preface. Fundam. Informaticae 126 (2-3) (2013)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
m-Asynchronous cellular automata: from fairness to quasi-fairness. Nat. Comput. 12 (4) (2013)
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
Surjective multidimensional cellular automata are non-wandering: A combinatorial proof. Inf. Process. Lett. 113 (5-6) (2013)
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard
Acceptance conditions for omega-languages and the Borel hierarchy. CoRR (2013)
Alberto Dennunzio, Enrico Formenti
Foreword: cellular automata and applications. Nat. Comput. 12 (3) (2013)
Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara
Periodic Orbits and Dynamical Complexity in Cellular Automata. Fundam. Informaticae 126 (2-3) (2013)
Alberto Dennunzio, Nazim Fatès, Enrico Formenti
Foreword: asynchronous cellular automata and applications. Nat. Comput. 12 (4) (2013)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Local rule distributions, language complexity and non-uniform cellular automata. Theor. Comput. Sci. 504 (2013)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Computing Issues of Asynchronous CA. Fundam. Informaticae 120 (2) (2012)
Davide Ciucci, Alberto Dennunzio, Roberto Leporini
Preface. Fundam. Informaticae 115 (1) (2012)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Non-uniform cellular automata: Classes, dynamics, and decidability. Inf. Comput. 215 (2012)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
m-Asynchronous Cellular Automata. ACRI (2012)
Alberto Dennunzio, Pietro di Lena, Luciano Margara
Strictly Temporally Periodic Points in Cellular Automata AUTOMATA & JAC (2012)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. LATA (2012)
Alberto Dennunzio
From One-dimensional to Two-dimensional Cellular Automata. Fundam. Informaticae 115 (1) (2012)
Alberto Dennunzio, Enrico Formenti, Ferdinand Peper, Hiroshi Umeo
Foreword: asynchronous cellular automata and nature-inspired computation. Nat. Comput. 11 (2) (2012)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Acceptance Conditions for ω-Languages. Developments in Language Theory (2012)
Petr Kurka, Enrico Formenti, Alberto Dennunzio
Asymptotic distribution of entry times in a cellular automaton with annihilating particles. Automata (2011)
Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Computational Aspects of Asynchronous Cellular Automata. Developments in Language Theory (2011)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Non-Uniform Cellular Automata: classes, dynamics, and decidability CoRR (2011)
Julien Provillard, Enrico Formenti, Alberto Dennunzio
Non-uniform cellular automata and distributions of rules CoRR (2011)
Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
Computational Aspects of Asynchronous CA CoRR (2011)
Alberto Dennunzio, Pierre Guillon, Benoît Masson
Sand automata as cellular automata. Theor. Comput. Sci. 410 (38-40) (2009)
Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard
Non-uniform Cellular Automata. LATA (2009)
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
Conservation of some dynamical properties for operations on cellular automata. Theor. Comput. Sci. 410 (38-40) (2009)
Alberto Dennunzio, Pietro di Lena, Enrico Formenti, Luciano Margara
On the directional dynamics of additive cellular automata. Theor. Comput. Sci. 410 (47-49) (2009)
Enrico Formenti, Alberto Dennunzio, Michael Weiss
2D cellular automata: expansivity and decidability issues CoRR (2009)
Fabio Farina, Alberto Dennunzio
A Predator-Prey Cellular Automaton with Parasitic Interactions and Environmental Effects. Fundam. Informaticae 83 (4) (2008)
Alberto Dennunzio, Enrico Formenti
Decidable Properties of 2D Cellular Automata. Developments in Language Theory (2008)
Alberto Dennunzio, Pierre Guillon, Benoît Masson
A compact topology for sand automata CoRR (2008)
Alberto Dennunzio, Pierre Guillon, Benoît Masson
Topological properties of sand automata as cellular automata. JAC (2008)
Alberto Dennunzio, Pierre Guillon, Benoît Masson
Stable Dynamics of Sand Automata. IFIP TCS (2008)
Alberto Dennunzio, Pietro di Lena, Enrico Formenti, Luciano Margara
Classification of directional dynamics for additive cellular automata. JAC (2008)
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
Shifting and Lifting of Cellular Automata. CiE (2007)
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
A Full Cellular Automaton to Simulate Predator-Prey Systems. ACRI (2006)
Fabio Farina, Gianpiero Cattaneo, Alberto Dennunzio
Grid and HPC Dynamic Load Balancing with Lattice Boltzmann Models. OTM Conferences (2) (2006)
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
A survey on transitivity in discrete time dynamical systems. application to symbolic systems and related languages. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Gianpiero Cattaneo, Alberto Dennunzio
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages. MCU (2004)
Gianpiero Cattaneo, Alberto Dennunzio, Luciano Margara
Solution of some conjectures about topological properties of linear cellular automata. Theor. Comput. Sci. 325 (2) (2004)
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
Lattice Boltzmann Approach to Incompressible Fluidynamics Dimensional Investigation and Poiseuille Test. ACRI (2004)
Gianpiero Cattaneo, Alberto Dennunzio
Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity. ACRI (2002)
Gianpiero Cattaneo, Alberto Dennunzio, Luciano Margara
Chaotic Subshifts and Related Languages Applications to one-dimensional Cellular Automata. Fundam. Informaticae 52 (1-3) (2002)