Enrico Formenti

Orcid: 0000-0002-1007-7912

According to our database1, Enrico Formenti authored at least 128 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An efficient algorithm deciding chaos for linear cellular automata over (Z/mZ)n with applications to data encryption.
Inf. Sci., February, 2024

A note on solving basic equations over the semiring of functional digraphs.
CoRR, 2024

On Elementary Second Order Cellular Automata.
Proceedings of the Cellular Automata Technology - Third Asian Symposium, 2024

2023
A topology for P-systems with active membranes.
J. Membr. Comput., December, 2023

Preface.
Nat. Comput., September, 2023

An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena.
J. Comput. Sci., January, 2023

An Easily Checkable Algebraic Characterization of Positive Expansivity for Additive Cellular Automata over a Finite Abelian Group.
CoRR, 2023

Drawing non-planar graphs with rotation systems on the Klein bottle.
CoRR, 2023

Exhaustive Generation of Linear Orthogonal Cellular Automata.
CoRR, 2023

A New Heuristic for Rectilinear Crossing Minimization.
CoRR, 2023

An Easy to Check Characterization of Positive Expansivity for Additive Cellular Automata Over a Finite Abelian Group.
IEEE Access, 2023

2022
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures.
Theor. Comput. Sci., 2022

Hard to Detect Factors of Univariate Integer Polynomials.
CoRR, 2022

Algorithmic reconstruction of discrete dynamics.
CoRR, 2022

An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero Constant Term.
CoRR, 2022

Complexity of Local, Global and Universality Properties in Finite Dynamical Systems.
Proceedings of the Machines, Computations, and Universality - 9th International Conference, 2022

From Additive Flowers to Additive Automata Networks.
Proceedings of the Automata and Complexity, 2022

2021
An efficiently computable characterization of stability and instability for linear cellular automata.
J. Comput. Syst. Sci., 2021

Decidable characterizations of dynamical properties for additive cellular automata over a finite abelian group with applications to data encryption.
Inf. Sci., 2021

MDDs Boost Equation Solving on Discrete Dynamical Systems.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020
Dynamical behavior of additive cellular automata over finite abelian groups.
Theor. Comput. Sci., 2020

Preface.
Nat. Comput., 2020

Preface.
Nat. Comput., 2020

Chaos and ergodicity are decidable for linear cellular automata over (Z/mZ)n.
Inf. Sci., 2020

How Hard is it to Predict Sandpiles on Lattices? A Survey.
Fundam. Informaticae, 2020

Mutually orthogonal latin squares based on cellular automata.
Des. Codes Cryptogr., 2020

From Linear to Additive Cellular Automata.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2020

High Order Cellular Automata for Edge Detection: A Preliminary Study.
Proceedings of the Cellular Automata, 2020

2019
On the dynamical behaviour of linear higher-order cellular automata and its decidability.
Inf. Sci., 2019

Complexity of the dynamics of reaction systems.
Inf. Comput., 2019

Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata.
CoRR, 2019

Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties.
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata.
Proceedings of the Language and Automata Theory and Applications, 2019

Solving Equations on Discrete Dynamical Systems.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

2018
Computational Complexity of the Avalanche Problem for One Dimensional Decreasing Sandpiles.
J. Cell. Autom., 2018

More Decision Algorithms for Global Properties of 1D Cellular Automata.
J. Cell. Autom., 2018

An Iterated Local Search to find many solutions of the 6-states Firing Squad Synchronization Problem.
Appl. Soft Comput., 2018

On the Generation of 2-Polyominoes.
Proceedings of the Descriptional Complexity of Formal Systems, 2018

Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
Proceedings of the Cellular Automata, 2018

2017
Computational complexity of finite asynchronous cellular automata.
Theor. Comput. Sci., 2017

Computing the periods of preimages in surjective cellular automata.
Nat. Comput., 2017

From Tetris to polyominoes generation.
Electron. Notes Discret. Math., 2017

Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2017

2016
Constructing Orthogonal Latin Squares from Linear Cellular Automata.
CoRR, 2016

Reachability in Resource-Bounded Reaction Systems.
Proceedings of the Language and Automata Theory and Applications, 2016

2015
Ancestors, descendants, and gardens of Eden in reaction systems.
Theor. Comput. Sci., 2015

Reaction systems and extremal combinatorics properties.
Theor. Comput. Sci., 2015

On the complexity of occurrence and convergence problems in reaction systems.
Nat. Comput., 2015

Foreword: asynchronous behavior of cellular automata and discrete models.
Nat. Comput., 2015

Preimage Problems for Reaction Systems.
Proceedings of the Language and Automata Theory and Applications, 2015

2014
Fixed-point forms of the parallel symmetric sandpile model.
Theor. Comput. Sci., 2014

Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues.
Theor. Comput. Sci., 2014

Three research directions in non-uniform cellular automata.
Theor. Comput. Sci., 2014

Non-uniform Cellular Automata.
Theor. Comput. Sci., 2014

Limit Properties of Doubly Quiescent <i>m</i>-Asynchronous Elementary Cellular Automata.
J. Cell. Autom., 2014

ω-rational Languages: High Complexity Classes vs. Borel Hierarchy.
Proceedings of the Language and Automata Theory and Applications, 2014

Extremal Combinatorics of Reaction Systems.
Proceedings of the Language and Automata Theory and Applications, 2014

Cycles and Global Attractors of Reaction Systems.
Proceedings of the Descriptional Complexity of Formal Systems, 2014

Fixed Points and Attractors of Reaction Systems.
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

Advances on Random Sequence Generation by Uniform Cellular Automata.
Proceedings of the Computing with New Resources, 2014

Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2014

Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models.
Proceedings of the Cellular Automata, 2014

2013
Local rule distributions, language complexity and non-uniform cellular automata.
Theor. Comput. Sci., 2013

m-Asynchronous cellular automata: from fairness to quasi-fairness.
Nat. Comput., 2013

Foreword: asynchronous cellular automata and applications.
Nat. Comput., 2013

Foreword: cellular automata and applications.
Nat. Comput., 2013

Surjective multidimensional cellular automata are non-wandering: A combinatorial proof.
Inf. Process. Lett., 2013

Periodic Orbits and Dynamical Complexity in Cellular Automata.
Fundam. Informaticae, 2013

Preface.
Fundam. Informaticae, 2013

Acceptance conditions for omega-languages and the Borel hierarchy.
CoRR, 2013

Asymptotic Dynamics of (Some) Asyncronous Cellular Automata - (Abstract).
Proceedings of the Unconventional Computation and Natural Computation, 2013

A Survey on m-Asynchronous Cellular Automata.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2013

2012
Cellular Automata Dynamical Systems.
Proceedings of the Handbook of Natural Computing, 2012

Foreword: asynchronous cellular automata and nature-inspired computation.
Nat. Comput., 2012

Non-uniform cellular automata: Classes, dynamics, and decidability.
Inf. Comput., 2012

Computational Complexity of Avalanches in the Kadanoff Sandpile Model.
Fundam. Informaticae, 2012

Computing Issues of Asynchronous CA.
Fundam. Informaticae, 2012

Computational Complexity of Rule Distributions of Non-uniform Cellular Automata.
Proceedings of the Language and Automata Theory and Applications, 2012

Acceptance Conditions for ω-Languages.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

m-Asynchronous Cellular Automata.
Proceedings of the Cellular Automata, 2012

2011
On the hierarchy of conservation laws in a cellular automaton.
Nat. Comput., 2011

Non-uniform cellular automata and distributions of rules
CoRR, 2011

Computational Aspects of Asynchronous CA
CoRR, 2011

Computational Aspects of Asynchronous Cellular Automata.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011

Asymptotic distribution of entry times in a cellular automaton with annihilating particles.
Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011

2010
A Search Algorithm for Subshift Attractors of Cellular Automata.
Theory Comput. Syst., 2010

Ultimate Traces of Cellular Automata.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

2009
Dynamics of Cellular Automata in Non-compact Spaces.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Algorithmic Complexity and Cellular Automata.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Chaotic Behavior of Cellular Automata.
Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

On the directional dynamics of additive cellular automata.
Theor. Comput. Sci., 2009

Conservation of some dynamical properties for operations on cellular automata.
Theor. Comput. Sci., 2009

2D cellular automata: expansivity and decidability issues
CoRR, 2009

Non-uniform Cellular Automata.
Proceedings of the Language and Automata Theory and Applications, 2009

2008
Classification of directional dynamics for additive cellular automata.
Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

Decidable Properties of 2D Cellular Automata.
Proceedings of the Developments in Language Theory, 12th International Conference, 2008

The Most General Conservation Law for a Cellular Automaton.
Proceedings of the Computer Science, 2008

2007
From sandpiles to sand automata.
Theor. Comput. Sci., 2007

Advances in Symmetric Sandpiles.
Fundam. Informaticae, 2007

Sofic Trace of a Cellular Automaton
CoRR, 2007

A Search Algorithm for the Maximal Attractor of a Cellular Automaton.
Proceedings of the STACS 2007, 2007

Sofic Trace Subshift of a Cellular Automaton.
Proceedings of the Computation and Logic in the Real World, 2007

Shifting and Lifting of Cellular Automata.
Proceedings of the Computation and Logic in the Real World, 2007

2006
A Note on Fixed Points of Generalized Ice Pile Models.
Int. J. Unconv. Comput., 2006

On Computing Fixed Points for Generalized Sandpiles.
Int. J. Unconv. Comput., 2006

On Symmetric Sandpiles.
Proceedings of the Cellular Automata, 2006

2005
Some results about the chaotic behavior of cellular automata.
Theor. Comput. Sci., 2005

A new dimension sensitive property for cellular automata.
Theor. Comput. Sci., 2005

Basic Properties for Sand Automata.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2003
Number conserving cellular automata II: dynamics.
Theor. Comput. Sci., 2003

On the sensitivity of additive cellular automata in Besicovitch topologies.
Theor. Comput. Sci., 2003

Number-conserving cellular automata I: decidability.
Theor. Comput. Sci., 2003

On Sand Automata.
Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

On the Dynamics of PB Systems: A Petri Net View.
Proceedings of the Membrane Computing, International Workshop, 2003

On undecidability of equicontinuity classification for cellular automata.
Proceedings of the Discrete Models for Complex Systems, 2003

Number conserving cellular automata: new results on decidability and dynamics.
Proceedings of the Discrete Models for Complex Systems, 2003

2001
Kolmogorov complexity and cellular automata classification.
Theor. Comput. Sci., 2001

Algorithmic Information Theory and Cellular Automata Dynamics.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000
Ergodicity, transitivity, and regularity for linear cellular automata over Z<sub>m</sub>.
Theor. Comput. Sci., 2000

1999
On the Dynamical Behavior of Chaotic Cellular Automata.
Theor. Comput. Sci., 1999

1997
Transformations of the One-Dimensional Cellular Automata Rule Space.
Parallel Comput., 1997

Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces.
Complex Syst., 1997

On Ergodic Linear Cellular Automata over Z<sub>m</sub>.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

A Shift-Invariant Metric on S<sup>zz</sup> Inducing a Non-trivial Tolology.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996
Essential Transformations of the One Dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups.
Proceedings of the ACRI '96, 1996

1995
Rule Space Transformations and One-Dimensional Cellular Automata.
Proceedings of the Developments in Language Theory II, 1995


  Loading...