Concepedia

Enrico Formenti

EF

37

Publications

1.1K

Citations

22

H-Index

1997

Active since

Affiliations

Université Côte d'Azur(Current)

University of Milano-Bicocca

Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis

Centre National de la Recherche Scientifique

University of Bologna

Enrico Formenti is an author at Université Côte d'Azur specializing in pattern formation, computer science, and engineering.

Top concepts

Pattern FormationComputer ScienceEngineeringFormal MethodsComputational ComplexityDiscrete MathematicsFormal VerificationChemical KineticsProgram AnalysisSoftware Analysis

Publications per year

1997–2021

37

Publications

37

Number-conserving cellular automata I: decidability

Bruno Durand, Enrico Formenti, Zsuzsanna Róka · Theoretical Computer Science · 2003 · 81 citations

Engineering, Number-conserving Cellular Automata, Formal Methods +5

Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces

F. Blanchard, Enrico Formenti, Petr Kůrka · Complex Systems · 1997 · 77 citations

Pattern Formation, Cellular Automata, Topological Dynamic +6

Ergodicity, transitivity, and regularity for linear cellular automata over Zm

Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini et al. · Theoretical Computer Science · 2000 · 61 citations

Linear Cellular Automata, Automaton Network, Automaton Operation +5

Non-uniform cellular automata: Classes, dynamics, and decidability

Alberto Dennunzio, Enrico Formenti, Julien Provillard · Information and Computation · 2012 · 57 citations · Full text

Pattern Formation, Non-uniform Cellular Automata, Formal Methods +3

On undecidability of equicontinuity classification for cellular automata

Bruno Durand, Enrico Formenti, Georges Varouchas · Discrete Mathematics & Theoretical Computer Science · 2003 · 54 citations · Full text

Pattern Formation, Logical Automaton, Engineering +10

Rows per page

1–5 of 37