Enrico Formenti

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 55

Top Venues

Publications

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)
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Decomposition and factorisation of transients in functional graphs. Theor. Comput. Sci. 999 (2024)
Rocco Ascone, Giulia Bernardini, Enrico Formenti, Francesco Leiter, Luca Manzoni
Pure reaction automata. Nat. Comput. 23 (2) (2024)
Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva
A note on solving basic equations over the semiring of functional digraphs. CoRR (2024)
Enrico Formenti, Supreeti Kamilya
On Elementary Second Order Cellular Automata. ASCAT (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)
François Doré, Enrico Formenti
Drawing non-planar graphs with rotation systems on the Klein bottle. CoRR (2023)
Enrico Formenti, Sylvain Sené, Guillaume Theyssier
Preface. Nat. Comput. 22 (3) (2023)
Enrico Formenti, Luca Mariot
Exhaustive Generation of Linear Orthogonal Cellular Automata. CoRR (2023)
François Doré, Enrico Formenti
A New Heuristic for Rectilinear Crossing Minimization. CoRR (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)
Enrico Formenti, Luca Mariot
An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero Constant Term. CoRR (2022)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures. Theor. Comput. Sci. 926 (2022)
Enrico Formenti
Complexity of Local, Global and Universality Properties in Finite Dynamical Systems. MCU (2022)
Enrico Formenti, Christophe Papazian, Adrien Richard, Pierre-Alain Scribot
From Additive Flowers to Additive Automata Networks. Automata and Complexity (2022)
François Doré, Enrico Formenti, Antonio E. Porreca, Sara Riva
Algorithmic reconstruction of discrete dynamics. CoRR (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)
Enrico Formenti, Jean-Charles Régin, Sara Riva
MDDs Boost Equation Solving on Discrete Dynamical Systems. CPAIOR (2021)
Alberto Dennunzio, Enrico Formenti
Preface. Nat. Comput. 19 (2) (2020)
Enrico Formenti, Kévin Perrot
How Hard is it to Predict Sandpiles on Lattices? A Survey. Fundam. Informaticae 171 (1-4) (2020)
Enrico Formenti, Jean-Louis Paquelin
High Order Cellular Automata for Edge Detection: A Preliminary Study. ACRI (2020)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures. CoRR (2020)
Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
Dynamical behavior of additive cellular automata over finite abelian groups. Theor. Comput. Sci. 843 (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, Enrico Formenti, Darij Grinberg, Luciano Margara
Chaos and ergodicity are decidable for linear cellular automata over (Z/mZ)n. Inf. Sci. 539 (2020)
Enrico Formenti, Sylvain Sené
Preface. Nat. Comput. 19 (1) (2020)
Pedro Paulo Balbi de Oliveira, Enrico Formenti, Kévin Perrot, Sara Riva, Eurico L. P. Ruivo
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures. Automata (2020)
Luca Mariot, Maximilien Gadouleau, Enrico Formenti, Alberto Leporati
Mutually orthogonal latin squares based on cellular automata. Des. Codes Cryptogr. 88 (2) (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)
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)
Luca Mariot, Maximilien Gadouleau, Enrico Formenti, Alberto Leporati
Mutually Orthogonal Latin Squares based on Cellular Automata. 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. CoRR (2019)
Kévin Perrot, Enrico Formenti
How hard is it to predict sandpiles on lattices? A survey. 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)
Manuel Clergue, Sébastien Vérel, Enrico Formenti
An Iterated Local Search to find many solutions of the 6-states Firing Squad Synchronization Problem. Appl. Soft Comput. 66 (2018)
Enrico Formenti, Paolo Massazza
On the Generation of 2-Polyominoes. DCFS (2018)
Enrico Formenti, Kévin Perrot, Eric Rémila
Computational complexity of the avalanche problem on one dimensional Kadanoff sandpiles. CoRR (2018)
Enrico Formenti, Kévin Perrot, Eric Rémila
Computational Complexity of the Avalanche Problem for One Dimensional Decreasing Sandpiles. J. Cell. Autom. 13 (3) (2018)
Sébastien Autran, Enrico Formenti
More Decision Algorithms for Global Properties of 1D Cellular Automata. J. Cell. Autom. 13 (1-2) (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)
Luca Mariot, Enrico Formenti, Alberto Leporati
Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata. AUTOMATA (2017)
Enrico Formenti, Paolo Massazza
From Tetris to polyominoes generation. Electron. Notes Discret. Math. 59 (2017)
Luca Mariot, Enrico Formenti, Alberto Leporati
Constructing Orthogonal Latin Squares from Linear Cellular Automata. CoRR (2016)
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)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
On the complexity of occurrence and convergence problems in reaction systems. Nat. Comput. 14 (1) (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)
Enrico Formenti, Kévin Perrot, Eric Rémila
Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles. Automata (2014)
Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès
Advances on Random Sequence Generation by Uniform Cellular Automata. Computing with New Resources (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)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Fixed Points and Attractors of Reaction Systems. CiE (2014)
Alberto Dennunzio, Enrico Formenti, Luca Manzoni
-Asynchronous Elementary Cellular Automata. J. Cell. Autom. 9 (5-6) (2014)
Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Cycles and Global Attractors of Reaction Systems. DCFS (2014)
Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. LATA (2014)
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Three research directions in non-uniform cellular automata. Theor. Comput. Sci. 559 (2014)
Sukanta Das, Enrico Formenti, Jarkko Kari
Non-uniform Cellular Automata. Theor. Comput. Sci. 559 (2014)
Enrico Formenti, Van Trung Pham, Thi Ha Duong Phan, Tran Thi Thu Huong
Fixed-point forms of the parallel symmetric sandpile model. Theor. Comput. Sci. 533 (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)
Enrico Formenti
Asymptotic Dynamics of (Some) Asyncronous Cellular Automata - (Abstract). UCNC (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)
Enrico Formenti
A Survey on m-Asynchronous Cellular Automata. Automata (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)
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, Enrico Formenti, Julien Provillard
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. LATA (2012)
Enrico Formenti, Eric Goles Ch., Bruno Martin
Computational Complexity of Avalanches in the Kadanoff Sandpile Model. 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)
Enrico Formenti, Jarkko Kari, Siamak Taati
On the hierarchy of conservation laws in a cellular automaton. Nat. Comput. 10 (4) (2011)
Enrico Formenti, Van Trung Pham, Ha Duong Phan, Tran Thi Thu Huong
Fixed point forms of the parallel symmetric sandpile model CoRR (2011)
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)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata. STACS (2010)
Enrico Formenti, Petr Kurka, Ondrej Zahradník
A Search Algorithm for Subshift Attractors of Cellular Automata. Theory Comput. Syst. 46 (3) (2010)
Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata CoRR (2010)
Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard
Non-uniform Cellular Automata. LATA (2009)

Enrico Formenti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enrico Formenti