Enrico Formenti

Présentation

Publications

Article dans une revue (48)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
Subshift attractors of cellular automata Enrico Formenti,Petr Kurka Nonlinearity, 2007, 20, pp.105-117 Article dans une revue hal-00311968v1
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
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
On symmetric sandpiles Enrico Formenti,Benoît Masson,Theophilos Pisokas Fundamenta Informaticae, 2007, 76 (1), pp.91--112 Article dans une revue hal-00083034v1
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
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
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

Communication dans un congrès (37)

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

Ouvrages (1)

Asynchronous cellular automata and applications - Special issue of Natural Computing Alberto Dennunzio,Nazim Fatès,Enrico Formenti Dennunzio, Alberto and Fatès, Nazim and Formenti, Enrico. Springer, 12, pp.51, 2013, ⟨10.1007/s11047-013-9385-6⟩ Ouvrages istex hal-00918586v1

Chapitre d'ouvrage (6)

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

Pré-publication, Document de travail (4)

Decomposition and factorisation of transients in functional graphs François Doré,Enrico Formenti,Antonio E Porreca,Sara Riva 2025 Pré-publication, Document de travail hal-05377733v1
Solving Equations on Discrete Dynamical Systems Alberto Dennunzio,Enrico Formenti,Luciano Margara,Valentin Montmirail,Sara Riva 2019 Pré-publication, Document de travail hal-02271381v1
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata Alberto Dennunzio,Enrico Formenti,Darij Grinberg,Luciano Margara 2019 Pré-publication, Document de travail hal-02190317v1
Mutually Orthogonal Latin Squares based on Cellular Automata Luca Mariot,Maximilien Gadouleau,Enrico Formenti,Alberto Leporati 2019 Pré-publication, Document de travail hal-02190643v1