Enrico Formenti

96
Documents

Présentation

Publications

12
10
7
3
3
3
2
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena

Alberto Dennunzio , Enrico Formenti , Luciano Margara , Sara Riva

Journal of computational science, 2023, 66, pp.101932. ⟨10.1016/j.jocs.2022.101932⟩

Article dans une revue hal-05377742v1

Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures

Pedro Paulo Balbi , Enrico Formenti , Kévin Perrot , Sara Riva , Eurico L.P. Ruivo

Theoretical Computer Science, 2022, Emergence, Complexity and Computation, 926, pp.21-50. ⟨10.1016/J.TCS.2022.05.024⟩

Article dans une revue hal-04662858v1

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

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

Enrico Formenti , Sylvain Sené

Natural Computing, 2020, 19 (1), pp.1-2. ⟨10.1007/s11047-019-09780-4⟩

Article dans une revue hal-02508468v1

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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

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

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

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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

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

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 istex hal-01312569v1

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 istex 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 istex hal-01312575v1

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 istex 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

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
Deposit thumbnail

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 istex 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 istex hal-01242315v1
Deposit thumbnail

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

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

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 istex hal-00310905v1
Deposit thumbnail

On symmetric sandpiles

Enrico Formenti , Benoît Masson , Theophilos Pisokas

Fundamenta Informaticae, 2007, 76 (1), pp.91--112

Article dans une revue hal-00083034v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Complexity of Local, Global and Universality Properties in Finite Dynamical Systems

Enrico Formenti

Machines, Computations, and Universality - 9th International Conference (MCU 2022), Jérôme Durand-Lose, György Vaszil, Aug 2022, Debrecen, Hungary. pp.1-11, ⟨10.1007/978-3-031-13502-6_1⟩

Communication dans un congrès hal-04662792v1
Deposit thumbnail

MDDs boost equation solving on discrete dynamical systems

Enrico Formenti , Jean-Charles Régin , Sara Riva

Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2021), Jul 2021, Vienna, France. pp.196-213, ⟨10.1007/978-3-030-78230-6_13⟩

Communication dans un congrès hal-03380303v1

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
Deposit thumbnail

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

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

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

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

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

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
Deposit thumbnail

ω-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

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

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

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 istex hal-01312566v1

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 istex hal-01312567v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 istex hal-01311356v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

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

A shift-invariant metric on S zz inducing a non-trivial topology

Gianpiero Cattaneo , Enrico Formenti , Luciano Margara , Jacques Mazoyer

MFCS1997, Aug 1997, Bratislava, Slovakia. pp.179-188, ⟨10.1007/BFb0029961⟩

Communication dans un congrès istex hal-04659352v1

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