Alberto Dennunzio

101 papers A* 1B 1C 11Journal 63Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
A divide and conquer algorithm for deciding group cellular automata dynamics.
J. Comput. Syst. Sci.
Niccolò Castronuovo, Alberto Dennunzio, Luciano Margara
2026 J jnl
Topological transitivity of group cellular automata is decidable.
CoRR
Niccolò Castronuovo, Alberto Dennunzio, Luciano Margara
2025 J jnl
A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics.
CoRR
Niccolò Castronuovo, Alberto Dennunzio, Luciano Margara
2025 J jnl
Decidability and Characterization of Expansivity for Group Cellular Automata.
CoRR
Niccolò Castronuovo, Alberto Dennunzio, Luciano Margara
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
2025 J jnl
Structural Properties of Non-Linear Cellular Automata: Permutivity, Surjectivity and Reversibility.
CoRR
Firas Ben Ramdhane, Alberto Dennunzio, Luciano Margara, Giuliamaria Menara
2025 — conf
Structural Properties of Non-Linear Cellular Automata: Permutivity, Surjectivity, and Reversibility.
ICTCS
Firas Ben Ramdhane, Alberto Dennunzio, Luciano Margara, Giuliamaria Menara
2025 — conf
Toward Non Abelian Scenarios for Additive Cellular Automata on Finite Groups.
UCNC
Alberto Dennunzio
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
An efficient algorithm deciding chaos for linear cellular automata over (Z/mZ)n with applications to data encryption.
Inf. Sci.
Alberto Dennunzio, Enrico Formenti, Luciano Margara
2024 J jnl
Distance-based affective states in cellular automata pedestrian simulation.
Nat. Comput.
Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
2024 — conf
Easy to Check Algebraic Characterizations of Dynamical Properties for Linear CA and Additive CA over a Finite Abelian Group.
AUTOMATA
Alberto Dennunzio
2024 J jnl
On the Dynamical Behavior of Cellular Automata on Finite Groups.
IEEE Access
Alberto Dennunzio, Enrico Formenti, Luciano Margara
2024 — conf
Theory of Cellular Automata: from the Past and Present to Some Path Towards the Future.
ACRI
Alberto Dennunzio
2023 J jnl
A topology for P-systems with active membranes.
J. Membr. Comput.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Giuliamaria Menara
2023 J jnl
An Easily Checkable Algebraic Characterization of Positive Expansivity for Additive Cellular Automata over a Finite Abelian Group.
CoRR
Alberto Dennunzio, Enrico Formenti, Luciano Margara
2023 J jnl
An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group.
IEEE Access
Alberto Dennunzio, Enrico Formenti, Luciano Margara
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
2022 — ed.
Cellular Automata - 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022, Proceedings
ACRI
Bastien Chopard, Stefania Bandini, Alberto Dennunzio, Mira Arabi Haddad
2022 J jnl
Hard to Detect Factors of Univariate Integer Polynomials.
CoRR
Alberto Dennunzio, Enrico Formenti, Luciano Margara
2022 — conf
Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation.
ACRI
Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
2021 — conf
Affectivity and Proxemic Distances: an Experimental Agent-based Modeling Approach.
AIxAS@AI*IA
Francesca Gasparini, Marta Giltri, Daniela Briola, Alberto Dennunzio, Stefania Bandini
2021 J jnl
An efficiently computable characterization of stability and instability for linear cellular automata.
J. Comput. Syst. Sci.
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2021 J jnl
Decidable characterizations of dynamical properties for additive cellular automata over a finite abelian group with applications to data encryption.
Inf. Sci.
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2020 J jnl
Chaos and ergodicity are decidable for linear cellular automata over (Z/mZ)n.
Inf. Sci.
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2020 J jnl
Dynamical behavior of additive cellular automata over finite abelian groups.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2020 A* conf
From Linear to Additive Cellular Automata.
ICALP
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2020 J jnl
Preface.
Fundam. Informaticae
Alberto Dennunzio, Gheorghe Paun, Grzegorz Rozenberg, Claudio Zandron
2020 J jnl
Preface.
Inf. Comput.
Alberto Dennunzio, Enrico Formenti
2020 J jnl
Preface.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti
2020 J jnl
Search space reduction of asynchrony immune cellular automata.
Nat. Comput.
Luca Mariot, Luca Manzoni, Alberto Dennunzio
2019 B conf
Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties.
MFCS
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2019 J jnl
Complexity of the dynamics of reaction systems.
CoRR
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2019 J jnl
Complexity of the dynamics of reaction systems.
Inf. Comput.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2019 C conf
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata.
LATA
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
2019 J jnl
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata.
CoRR
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2019 J jnl
On the dynamical behaviour of linear higher-order cellular automata and its decidability.
CoRR
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
2019 J jnl
On the dynamical behaviour of linear higher-order cellular automata and its decidability.
Inf. Sci.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca
2019 J jnl
Search Space Reduction of Asynchrony Immune Cellular Automata by Center Permutivity.
CoRR
Luca Mariot, Luca Manzoni, Alberto Dennunzio
2019 — conf
Solving Equations on Discrete Dynamical Systems.
CIBB
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva
2018 — ed.
Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings
ACRI
Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni
2018 — conf
Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
ACRI
Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2017 — ed.
Cellular Automata and Discrete Complex Systems - 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
AUTOMATA
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2017 J jnl
Computational complexity of finite asynchronous cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
2017 J jnl
Computing the periods of preimages in surjective cellular automata.
Nat. Comput.
Luca Mariot, Alberto Leporati, Alberto Dennunzio, Enrico Formenti
2016 C conf
Reachability in Resource-Bounded Reaction Systems.
LATA
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2015 J jnl
Ancestors, descendants, and gardens of Eden in reaction systems.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2015 J jnl
Foreword: asynchronous behavior of cellular automata and discrete models.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch
2015 C conf
Preimage Problems for Reaction Systems.
LATA
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
2015 J jnl
Reaction systems and extremal combinatorics properties.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2014 C conf
Extremal Combinatorics of Reaction Systems.
LATA
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2014 J jnl
Limit Properties of Doubly Quiescent
J. Cell. Autom.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2014 J jnl
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Michael Weiss
2014 — conf
Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models.
ACRI
Gianpiero Cattaneo, Giampiero Chiaselotti, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2014 J jnl
Preface.
Int. J. Found. Comput. Sci.
Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
2014 J jnl
Three research directions in non-uniform cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2013 J jnl
Acceptance conditions for omega-languages and the Borel hierarchy.
CoRR
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Julien Provillard
2013 J jnl
Foreword: asynchronous cellular automata and applications.
Nat. Comput.
Alberto Dennunzio, Nazim Fatès, Enrico Formenti
2013 J jnl
Foreword: cellular automata and applications.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti
2013 J jnl
Local rule distributions, language complexity and non-uniform cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2013 J jnl
Periodic Orbits and Dynamical Complexity in Cellular Automata.
Fundam. Informaticae
Alberto Dennunzio, Pietro di Lena, Enrico Formenti, Luciano Margara
2013 J jnl
Preface.
Fundam. Informaticae
Julien Cervelle, Alberto Dennunzio, Enrico Formenti, Andrzej Skowron
2013 J jnl
Surjective multidimensional cellular automata are non-wandering: A combinatorial proof.
Inf. Process. Lett.
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
2013 — ed.
Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
UCNC
Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca
2013 J jnl
m-Asynchronous cellular automata: from fairness to quasi-fairness.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
2012 C conf
Acceptance Conditions for ω-Languages.
Developments in Language Theory
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 — ch.
Cellular Automata Dynamical Systems.
Handbook of Natural Computing
Alberto Dennunzio, Enrico Formenti, Petr Kurka
2012 C conf
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata.
LATA
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 J jnl
Computing Issues of Asynchronous CA.
Fundam. Informaticae
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2012 J jnl
Foreword: asynchronous cellular automata and nature-inspired computation.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti, Ferdinand Peper, Hiroshi Umeo
2012 J jnl
From One-dimensional to Two-dimensional Cellular Automata.
Fundam. Informaticae
Alberto Dennunzio
2012 J jnl
Non-uniform cellular automata: Classes, dynamics, and decidability.
Inf. Comput.
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2012 J jnl
Preface.
Fundam. Informaticae
Davide Ciucci, Alberto Dennunzio, Roberto Leporini
2012 — conf
Strictly Temporally Periodic Points in Cellular Automata
AUTOMATA & JAC
Alberto Dennunzio, Pietro di Lena, Luciano Margara
2012 — conf
m-Asynchronous Cellular Automata.
ACRI
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
2011 — conf
Asymptotic distribution of entry times in a cellular automaton with annihilating particles.
Automata
Petr Kurka, Enrico Formenti, Alberto Dennunzio
2011 J jnl
Computational Aspects of Asynchronous CA
CoRR
Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2011 C conf
Computational Aspects of Asynchronous Cellular Automata.
Developments in Language Theory
Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni
2011 J jnl
Non-Uniform Cellular Automata: classes, dynamics, and decidability
CoRR
Alberto Dennunzio, Enrico Formenti, Julien Provillard
2011 J jnl
Non-uniform cellular automata and distributions of rules
CoRR
Julien Provillard, Enrico Formenti, Alberto Dennunzio
2009 J jnl
2D cellular automata: expansivity and decidability issues
CoRR
Enrico Formenti, Alberto Dennunzio, Michael Weiss
2009 — ch.
Chaotic Behavior of Cellular Automata.
Encyclopedia of Complexity and Systems Science
Julien Cervelle, Alberto Dennunzio, Enrico Formenti
2009 J jnl
Conservation of some dynamical properties for operations on cellular automata.
Theor. Comput. Sci.
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
2009 C conf
Non-uniform Cellular Automata.
LATA
Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard
2009 J jnl
On the directional dynamics of additive cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Pietro di Lena, Enrico Formenti, Luciano Margara
2009 J jnl
Sand automata as cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Pierre Guillon, Benoît Masson
2008 J jnl
A Predator-Prey Cellular Automaton with Parasitic Interactions and Environmental Effects.
Fundam. Informaticae
Fabio Farina, Alberto Dennunzio
2008 J jnl
A compact topology for sand automata
CoRR
Alberto Dennunzio, Pierre Guillon, Benoît Masson
2008 — conf
Classification of directional dynamics for additive cellular automata.
JAC
Alberto Dennunzio, Pietro di Lena, Enrico Formenti, Luciano Margara
2008 C conf
Decidable Properties of 2D Cellular Automata.
Developments in Language Theory
Alberto Dennunzio, Enrico Formenti
2008 — conf
Stable Dynamics of Sand Automata.
IFIP TCS
Alberto Dennunzio, Pierre Guillon, Benoît Masson
2008 — conf
Topological properties of sand automata as cellular automata.
JAC
Alberto Dennunzio, Pierre Guillon, Benoît Masson
2007 C conf
Shifting and Lifting of Cellular Automata.
CiE
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
2006 — conf
A Full Cellular Automaton to Simulate Predator-Prey Systems.
ACRI
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
2006 J jnl
A survey on transitivity in discrete time dynamical systems. application to symbolic systems and related languages.
RAIRO Theor. Informatics Appl.
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
2006 — conf
Grid and HPC Dynamic Load Balancing with Lattice Boltzmann Models.
OTM Conferences (2)
Fabio Farina, Gianpiero Cattaneo, Alberto Dennunzio
2004 — conf
Lattice Boltzmann Approach to Incompressible Fluidynamics Dimensional Investigation and Poiseuille Test.
ACRI
Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina
2004 J jnl
Solution of some conjectures about topological properties of linear cellular automata.
Theor. Comput. Sci.
Gianpiero Cattaneo, Alberto Dennunzio, Luciano Margara
2004 C conf
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages.
MCU
Gianpiero Cattaneo, Alberto Dennunzio
2002 — conf
Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity.
ACRI
Gianpiero Cattaneo, Alberto Dennunzio
2002 J jnl
Chaotic Subshifts and Related Languages Applications to one-dimensional Cellular Automata.
Fundam. Informaticae
Gianpiero Cattaneo, Alberto Dennunzio, Luciano Margara