Accéder directement au contenu

Enrico Formenti

91
Documents

Présentation

Enrico Formenti was born in Verona, Italy on May 1968. He received his master degree in Computer Science (110/110 magna cum laude) from the University of Milan. He defended his PhD in Computer Science at the Ecole Normale Supérieure de Lyon in October 1998. He became assistant professor in 2001 at the Univiersité de Provence (now Aix-Marseille Université). He got his "Habilitation à diriger des recherches" in 2002 from the Université de Provence and he became full professor at the Université de Nice Sophia Antipolis (now Université Côte d'Azur) in September 2003. His research interests cover discrete dynamical systems, symbolic dynamics, computational complexity, dynamical complexity, chaotic behavior, dynamical systems for artificial intelligence.

Publications

Preface

Alberto Dennunzio , Enrico Formenti
Information and Computation, 2020, 274, pp.104530. ⟨10.1016/j.ic.2020.104530⟩
Article dans une revue hal-03117388v1

Mutually orthogonal latin squares based on cellular automata

Luca Mariot , Maximilien Gadouleau , Enrico Formenti , Alberto Leporati
Designs, Codes and Cryptography, 2020, 88 (2), pp.391-411. ⟨10.1007/s10623-019-00689-8⟩
Article dans une revue hal-02460327v1

Preface

Enrico Formenti , Sylvain Sené
Natural Computing, 2020, 19 (1), pp.1-2. ⟨10.1007/s11047-019-09780-4⟩
Article dans une revue hal-02508468v1

Chaos and ergodicity are decidable for linear cellular automata over (Z /mZ)^n

Alberto Dennunzio , Enrico Formenti , Darij Grinberg , Luciano Margara
Information Sciences, 2020, 539, pp.136-144. ⟨10.1016/j.ins.2020.05.123⟩
Article dans une revue hal-03117448v1

Preface

Alberto Dennunzio , Enrico Formenti
Natural Computing, 2020, 19 (2), pp.271-271. ⟨10.1007/s11047-020-09790-7⟩
Article dans une revue hal-02867580v1

How Hard is it to Predict Sandpiles on Lattices? A Survey

Enrico Formenti , Kévin Perrot
Fundamenta Informaticae, 2020, 171 (1-4), pp.189-219. ⟨10.3233/FI-2020-1879⟩
Article dans une revue hal-02457343v1

On the dynamical behaviour of linear higher-order cellular automata and its decidability

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Luciano Margara , Antonio Enrico Porreca
Information Sciences, 2019, 486, pp.73-87. ⟨10.1016/j.ins.2019.02.023⟩
Article dans une revue hal-02272852v1
Image document

Complexity of the dynamics of reaction systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Information and Computation, 2019, ⟨10.1016/j.ic.2019.03.006⟩
Article dans une revue hal-02123610v1
Image document

An Iterated Local Search to find many solutions of the 6-states Firing Squad Synchronization Problem

Manuel Clergue , Sébastien Verel , Enrico Formenti
Applied Soft Computing, 2018, 66, pp.449-461. ⟨10.1016/j.asoc.2018.01.026⟩
Article dans une revue hal-01738330v1

Computational complexity of the avalanche problem for one dimensional decreasing sandpiles

Enrico Formenti , Kévin Perrot , Eric Rémila
Journal of Cellular Automata, 2018, 13 (3), pp. 215-228
Article dans une revue halshs-01417248v1

More Decision Algorithms for Global Properties of 1D Cellular Automata

Enrico Formenti , Sébastien Autran
Journal of Cellular Automata, 2018
Article dans une revue hal-01977656v1

Computing the periods of preimages in surjective cellular automata

Enrico Formenti , Luca Mariot , Alberto Leporati , Alberto Dennunzio
Natural Computing, 2017, 16 (3), pp.367 - 381. ⟨10.1007/s11047-016-9586-x⟩
Article dans une revue hal-01753996v1

Computational complexity of finite asynchronous cellular automata

Enrico Formenti , Alberto Dennunzio , Luca Manzoni , Giancarlo Mauri , Antonio Enrico Porreca
Theoretical Computer Science, 2017, 664, pp.131 - 143. ⟨10.1016/j.tcs.2015.12.003⟩
Article dans une revue hal-01754002v1

From Tetris to polyominoes generation

Enrico Formenti , Paolo Massazza
Electronic Notes in Discrete Mathematics, 2017, 59, pp.79 - 98. ⟨10.1016/j.endm.2017.05.007⟩
Article dans une revue hal-01753994v1

Reaction systems and extremal combinatorics properties

Alberto Dennunzio , Enrico Formenti , Luca Manzoni
Theoretical Computer Science, 2015, 598, pp.138-149. ⟨10.1016/j.tcs.2015.06.001⟩
Article dans une revue hal-01313667v1

Ancestors, descendants, and gardens of Eden in reaction systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Theoretical Computer Science, 2015, From Computer Science to Biology and Back, 608, pp.16-26. ⟨10.1016/j.tcs.2015.05.046⟩
Article dans une revue hal-01313664v1

Foreword: asynchronous behavior of cellular automata and discrete models

Alberto Dennunzio , Enrico Formenti , Giancarlo Mauri , Thomas Worsch
Natural Computing, 2015, 14 (4), pp.505-506. ⟨10.1007/s11047-015-9524-3⟩
Article dans une revue hal-01313674v1

On the complexity of occurrence and convergence problems in reaction systems

Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Natural Computing, 2015, 14 (1), pp.185-191
Article dans une revue hal-01313680v1

Limit Properties of Doubly Quiescent m-Asynchronous Elementary Cellular Automata

Enrico Formenti , Alberto Dennunzio , Luca Manzoni
Journal of Cellular Automata, 2014, 9 (5-6), pp.341--355
Article dans une revue hal-01313561v1

Fixed-point forms of the parallel symmetric sandpile model

Enrico Formenti , Trung Van Pham , Thi Ha Duong Phan , Thi Thu Huong Tran
Theoretical Computer Science, 2014, 533, pp.1-14. ⟨10.1016/j.tcs.2014.02.051⟩
Article dans une revue hal-01313332v1
Image document

Three research directions in non-uniform cellular automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Theoretical Computer Science, 2014, 559, pp.73-90. ⟨10.1016/j.tcs.2014.06.046⟩
Article dans une revue hal-01297620v1

Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues

Alberto Dennunzio , Enrico Formenti , Michael Weiss
Theoretical Computer Science, 2014, 516, pp.40-59. ⟨10.1016/j.tcs.2013.11.005⟩
Article dans une revue hal-01313574v1

Preface

Sukanta Das , Enrico Formenti , Jarkko Kari
Theoretical Computer Science, 2014, Non-uniform Cellular Automata, 559, pp.1-2. ⟨10.1016/j.tcs.2014.10.024⟩
Article dans une revue hal-01313328v1

m-Asynchronous cellular automata: from fairness to quasi-fairness

Enrico Formenti , Alberto Dennunzio , Giancarlo Mauri , Luca Manzoni
Natural Computing, 2013, 12 (4), pp.561-572. ⟨10.1007/s11047-013-9386-5⟩
Article dans une revue hal-01312569v1

Preface

Julien Cervelle , Alberto Dennunzio , Enrico Formenti
Fundamenta Informaticae, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. ⟨10.3233/FI-2013-874⟩
Article dans une revue hal-01312577v1

Foreword: cellular automata and applications

Alberto Dennunzio , Enrico Formenti
Natural Computing, 2013, 13 (3), pp.305. ⟨10.1007/s11047-013-9377-6⟩
Article dans une revue hal-01312573v1

Foreword: asynchronous cellular automata and applications

Alberto Dennunzio , Enrico Formenti , Nazim Fatès
Natural Computing, 2013, 12 (4), pp.537-538. ⟨10.1007/s11047-013-9385-6⟩
Article dans une revue hal-01312571v1

Surjective multidimensional cellular automata are non-wandering: A combinatorial proof

Luigi Acerbi , Alberto Dennunzio , Enrico Formenti
Information Processing Letters, 2013, 113 (5-6), pp.156-159. ⟨10.1016/j.ipl.2012.12.009⟩
Article dans une revue hal-01312575v1
Image document

Local rule distributions, language complexity and non-uniform cellular automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Theoretical Computer Science, 2013, 504, pp.38-51. ⟨10.1016/j.tcs.2012.05.013⟩
Article dans une revue hal-01297610v1

Periodic Orbits and Dynamical Complexity in Cellular Automata

Alberto Dennunzio , Pietro Di Lena , Enrico Formenti , Luciano Margara
Fundamenta Informaticae, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.183-199. ⟨10.3233/FI-2013-877⟩
Article dans une revue hal-01312658v1

Computing Issues of Asynchronous CA

Alberto Dennunzio , Enrico Formenti , Luca Manzoni
Fundamenta Informaticae, 2012, 120, pp.165-180. ⟨10.3233/FI-2012-755⟩
Article dans une revue hal-01312565v1

On the impact of the distance between two genes on their interaction curve

Siamak Taati , Enrico Formenti , Jean-Paul Comet , Gilles Bernot
Journal of Mathematical Biology, 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩
Article dans une revue hal-01242438v1

Computational Complexity of Avalanches in the Kadanoff Sandpile Model

Eric Goles , Bruno Martin , Enrico Formenti
Fundamenta Informaticae, 2012, 115 (1), pp.107-124. ⟨10.3233/FI-2012-643⟩
Article dans une revue hal-01217125v1

Foreword: asynchronous cellular automata and nature-inspired computation

Alberto Dennunzio , Enrico Formenti , Ferdinand Pepper , Hiroshi Umeo
Natural Computing, 2012, 11 (2), pp.267-268. ⟨10.1007/s11047-012-9309-x⟩
Article dans une revue hal-01312506v1
Image document

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

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Information and Computation, 2012, ⟨10.1016/j.ic.2012.02.008⟩
Article dans une revue hal-01297590v1

On the hierarchy of conservation laws in a cellular automaton

Enrico Formenti , Jarkko Kari , Siamak Taati
Natural Computing, 2011, 10 (4), pp.1275-1294. ⟨10.1007/s11047-010-9222-0⟩
Article dans une revue hal-01311512v1

A Search Algorithm for Subshift Attractors of Cellular Automata

Enrico Formenti , Petr Kurka , Zahradník Ondřej
Theory of Computing Systems, 2010, 46 (3), pp.479-498. ⟨10.1007/s00224-009-9230-6⟩
Article dans une revue hal-01242315v1

Advances in symmetric sandpiles

Benoît Masson , Enrico Formenti , Theophilos Pisokas
Fundamenta Informaticae, 2007, 76 (1-2), pp.91-112
Article dans une revue hal-00311074v1
Image document

Basic properties for sand automata

Julien Cervelle , Enrico Formenti , Benoît Masson
Theoretical Computer Science, 2007, 381, pp.1--28
Article dans une revue hal-00003208v1

Subshift attractors of cellular automata

Enrico Formenti , Petr Kurka
Nonlinearity, 2007, 20, pp.105-117
Article dans une revue hal-00311968v1

From sandpiles to sand automata

Julien Cervelle , Enrico Formenti , Benoît Masson
Theoretical Computer Science, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩
Article dans une revue hal-00310905v1
Image document

On symmetric sandpiles

Enrico Formenti , Benoît Masson , Theophilos Pisokas
Fundamenta Informaticae, 2007, 76 (1), pp.91--112
Article dans une revue hal-00083034v1
Image document

On computing fixed points for generalized sandpiles

Enrico Formenti , Benoît Masson
International Journal of Unconventional Computing, 2006, 2, pp.13--25
Article dans une revue hal-00003535v1

Some results about the chaotic behavior of cellular automata

François Blanchard , Julien Cervelle , Enrico Formenti
Theoretical Computer Science, 2005, 349 (3), pp.318-336
Article dans une revue hal-00619713v1
Image document

On undecidability of equicontinuity classification for cellular automata

Bruno Durand , Enrico Formenti , Georges Varouchas
Discrete Mathematics and Theoretical Computer Science, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.117-128. ⟨10.46298/dmtcs.2302⟩
Article dans une revue hal-01183309v1
Image document

Number conserving cellular automata: new results on decidability and dynamics

Bruno Durand , Enrico Formenti , Aristide Grange , Zsuzsanna Róka
Discrete Mathematics and Theoretical Computer Science, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140. ⟨10.46298/dmtcs.2301⟩
Article dans une revue hal-01183308v1

Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets

Tatiana Shmeleva , Dmitry A Zaitsev , Enrico Formenti
Complex Days, Académie Systèmes Complexes, Feb 2023, Nice, France
Communication dans un congrès hal-04050155v1

From Linear to Additive Cellular Automata

Alberto Dennunzio , Enrico Formenti , Darij Grinberg , Luciano Margara
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Jul 2020, Saarbrücken, Germany
Communication dans un congrès hal-02889784v1

Decidability of sensitivity to initial conditions and equicontinuity for linear higher order CA

Enrico Formenti
Complex Days, Académie Systèmes Complexes, Mar 2019, Nice, France
Communication dans un congrès hal-03863469v1

On the Generation of 2-Polyominoes

Enrico Formenti , Paolo Massazza
Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02 International Conference (DCFS) 2018, Aug 2019, Halifax, Canada. pp.101-113
Communication dans un congrès hal-02272888v1
Image document

Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties

Alberto Dennunzio , Enrico Formenti , Darij Grinberg , Luciano Margara
44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.1--15, ⟨10.4230/LIPIcs.MFCS.2019.68⟩
Communication dans un congrès hal-02268122v1

Reachability in Resource-Bounded Reaction Systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
LATA 2016, Adrian-Horia Dediu; Jan Janousek; Carlos Martín-Vide; Bianca Truthe, Mar 2016, Prague, Czech Republic. pp.592-602, ⟨10.1007/978-3-319-30000-9_45⟩
Communication dans un congrès hal-01313690v1

Preimage Problems for Reaction Systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
LATA 2015, Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe, Mar 2015, Nice, France. pp.537-548, ⟨10.1007/978-3-319-15579-1_42⟩
Communication dans un congrès hal-01313640v1

Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models

Enrico Formenti , Alberto Dennunzio , Luca Manzoni , Gianpiero Cattaneo , Giampiero Chiaselotti
ACRI 2014, Jarosław Wąs; Georgios Ch. Sirakoulis; Stefania Bandini, Sep 2014, Krakov, Poland. pp.115-124, ⟨10.1007/978-3-319-11520-7_13⟩
Communication dans un congrès hal-01313318v1

Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles

Enrico Formenti , Eric Rémila , Kévin Perrot
AUTOMATA 2014, Teijiro Isokawa; Katsunobu Imai; Nobuyuki Matsui; Ferdinand Peper; Hiroshi Umeo, Jul 2014, Himeji, Japan. pp.21-30, ⟨10.1007/978-3-319-18812-6_2⟩
Communication dans un congrès hal-01313306v1
Image document

ω-rational Languages: High Complexity Classes vs. Borel Hierarchy

Enrico Formenti , Markus Holzer , Martin Kutrib , Julien Provillard
Language and Automata Theory and Applications, Mar 2014, Madrid, Spain. ⟨10.1007/978-3-319-04921-2_30⟩
Communication dans un congrès hal-01297613v1

Fixed Points and Attractors of Reaction Systems

Enrico Formenti , Antonio Enrico Porreca , Luca Manzoni
Language, Life, Limits (CiE 2014), Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer, Jun 2014, Budapest, Hungary. pp.194-203, ⟨10.1007/978-3-319-08019-2_20⟩
Communication dans un congrès hal-01313294v1

Extremal Combinatorics of Reaction Systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni
Language and Automata Theory and Applications (LATA 2014), Adrian-Horia Dediu; Carlos Martín-Vide; José-Luis Sierra-Rodríguez; Bianca Truthe, Mar 2014, Madrid, Spain. pp.297-307, ⟨10.1007/978-3-319-04921-2_24⟩
Communication dans un congrès hal-01312661v1

Cycles and Global Attractors of Reaction Systems

Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Descriptional Complexity of Formal Systems (DFCS 2014), Helmut Jürgensen; Juhani Karhumäki; Alexander Okhotin, Aug 2014, Turku, Finland. pp.114-125, ⟨10.1007/978-3-319-09704-6_11⟩
Communication dans un congrès hal-01312662v1

A Survey on m-Asynchronous Cellular Automata

Enrico Formenti
AUTOMATA 2013, Martin Kutrib; Andreas Malcher, Sep 2013, Giessen, Germany. ⟨10.1007/978-3-642-40867-0_4⟩
Communication dans un congrès hal-01312567v1

Asymptotic Dynamics of (Some) Asyncronous Cellular Automata

Enrico Formenti
Unconventional Computation and Natural Computation, Giancarlo Mauri; Alberto Dennunzio; Luca Manzoni; Antonio Enrico Porreca, Jul 2013, Milan, Italy. pp.1-2, ⟨10.1007/978-3-642-39074-6_1⟩
Communication dans un congrès hal-01312566v1
Image document

Computational Complexity of Rule Distributions of Non-uniform Cellular Automata

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Language and Automata Theory and Application, Mar 2012, Coruna, Spain. pp.204-215, ⟨10.1007/978-3-642-28332-1_18⟩
Communication dans un congrès hal-01297574v1
Image document

Acceptance Conditions for ω-Languages

Alberto Dennunzio , Enrico Formenti , Julien Provillard
Developments in Language Theory, Aug 2012, Taipei, Taiwan. ⟨10.1007/978-3-642-31653-1_29⟩
Communication dans un congrès hal-01297584v1

m-Asynchronous Cellular Automata

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Giancarlo Mauri
Automata for Research and Industry, ACRI 2012, , Georgios Ch. Sirakoulis; S. Bandini, Sep 2012, Santorini, Greece. pp.653-662, ⟨10.1007/978-3-642-33350-7_67⟩
Communication dans un congrès hal-01312499v1

A Boolean approach to cellular automata random sequences generation

Enrico Formenti , Katsunobu Imai , Bruno Martin , Jean-Baptiste Yunès
17th International Workshop on Cellular Automata and Discrete Complex System, Nov 2011, Santiago, Chile. pp.25-35
Communication dans un congrès hal-00686571v1
Image document

Asymptotic distribution of entry times in a cellular automaton with annihilating particles

Petr Kůrka , Enrico Formenti , Alberto Dennunzio
17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.47-58, ⟨10.46298/dmtcs.2976⟩
Communication dans un congrès hal-01196143v1

Computational Aspects of Asynchronous Cellular Automata

Jérôme Chandesris , Alberto Dennunzio , Enrico Formenti , Luca Manzoni
Developments in Language Theory 2011, Giancarlo Mauri; Alberto Leporati, Jul 2011, Milan, Italy. pp.466-468, ⟨10.1007/978-3-642-22321-1_41⟩
Communication dans un congrès hal-01311356v1
Image document

Ultimate Traces of Cellular Automata

Julien Cervelle , Enrico Formenti , Pierre Guillon
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166
Communication dans un congrès inria-00455807v1
Image document

Non-uniform Cellular Automata

Gianpiero Cattaneo , Alberto Dennunzio , Enrico Formenti , Julien Provillard
Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.302-313, ⟨10.1007/978-3-642-00982-2_26⟩
Communication dans un congrès hal-01297566v1

Decidable properties of 2D cellular automata

Enrico Formenti , Alberto Dennunzio
DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275
Communication dans un congrès hal-00310411v1

The Most General Conservation Law for a Cellular Automaton

Enrico Formenti , Jarkko Kari , Siamak Taati
Computer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203
Communication dans un congrès hal-00310402v1
Image document

Classification of directional dynamics for additive cellular automata

Alberto Dennunzio , Pietro Di Lena , Enrico Formenti , Luciano Margara
JAC 2008, Apr 2008, Uzès, France. pp.40-53
Communication dans un congrès hal-00273932v1

Shifting and lifting of cellular automata

Enrico Formenti , Alberto Dennunzio , Luigi Acerbi
Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.1-10
Communication dans un congrès hal-00310523v1
Image document

Sofic Trace of a Cellular Automaton

Julien Cervelle , Enrico Formenti , Pierre Guillon
CiE 2007, Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès hal-00135811v1

Sofic trace subshift of a cellular automaton

Enrico Formenti , Julien Cervelle , Pierre Guillon
Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès hal-00310526v1

A search algorithm for the maximal attractor of a cellular automaton

Enrico Formenti , Petr Kurka
Symposium on Theoretical Aspects of Computer Science (STACS'07), Feb 2007, Aachen, Germany. pp.356-366
Communication dans un congrès hal-00310850v1

Basic Properties for Sand Automata.

Julien Cervelle , Enrico Formenti , Benoît Masson
30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211
Communication dans un congrès hal-00620177v1

Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies

François Blanchard , Julien Cervelle , Enrico Formenti
28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. pp.228-238
Communication dans un congrès hal-00620226v1

On Sand Automata

Julien Cervelle , Enrico Formenti
20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653
Communication dans un congrès hal-00620183v1

Algorithmic Information Theory and Cellular Automata Dynamics

Julien Cervelle , Bruno Durand , Enrico Formenti
26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. pp.248-259
Communication dans un congrès hal-00620174v1

Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Luciano Margara , Antonio Enrico Porreca
Language and Automata Theory and Applications - 13th International Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp.95-107, 2019, ⟨10.1007/978-3-030-13435-8_7⟩
Chapitre d'ouvrage hal-02086299v1

Polynomial Equations over Finite, Discrete-Time Dynamical Systems

Alberto Dennunzio , Valentina Dorigatti , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Cellular Automata, pp.298-306, 2018
Chapitre d'ouvrage hal-01977651v1

Advances on Random Sequence Generation by Uniform Cellular Automata

Enrico Formenti , Katsunobu Imai , Bruno Martin , Jean-Baptiste Yunès
Computing with New Resources, 8808, Springer Verlag, pp.56-70, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_5⟩
Chapitre d'ouvrage hal-01218459v1

Cellular Automata Dynamical Systems

Alberto Dennunzio , Enrico Formenti , Petr Kurka
Grzegorz Rozenberg; Thomas Bäck; Joost N. Kok. Handbook of Natural Computing, Springer, pp.25--75, 2012, 978-3-540-92909-3. ⟨10.1007/978-3-540-92910-9_2⟩
Chapitre d'ouvrage hal-01312493v1

Chaotic behavior of cellular automata

Julien Cervelle , Alberto Dennunzio , Enrico Formenti
Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009
Chapitre d'ouvrage hal-00620822v1

Algorithmic Complexity and Cellular Automata

Julien Cervelle , Enrico Formenti
Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009
Chapitre d'ouvrage hal-00620823v1