Skip to Main content
Number of documents

93

Curriculum vitae of Enrico Formenti

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.

Journal articles46 documents

  • Luca Mariot, Maximilien Gadouleau, Enrico Formenti, Alberto Leporati. Mutually orthogonal latin squares based on cellular automata. Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (2), pp.391-411. ⟨10.1007/s10623-019-00689-8⟩. ⟨hal-02460327⟩
  • Alberto Dennunzio, Enrico Formenti. Preface. Natural Computing, Springer Verlag, 2020, 19 (2), pp.271-271. ⟨10.1007/s11047-020-09790-7⟩. ⟨hal-02867580⟩
  • Enrico Formenti, Sylvain Sené. Preface. Natural Computing, Springer Verlag, 2020, 19 (1), pp.1-2. ⟨10.1007/s11047-019-09780-4⟩. ⟨hal-02508468⟩
  • Alberto Dennunzio, Enrico Formenti. Preface. Information and Computation, Elsevier, 2020, 274, pp.104530. ⟨10.1016/j.ic.2020.104530⟩. ⟨hal-03117388⟩
  • Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara. Chaos and ergodicity are decidable for linear cellular automata over (Z /mZ)^n. Information Sciences, Elsevier, 2020, 539, pp.136-144. ⟨10.1016/j.ins.2020.05.123⟩. ⟨hal-03117448⟩
  • Enrico Formenti, Kévin Perrot. How Hard is it to Predict Sandpiles on Lattices? A Survey. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 171 (1-4), pp.189-219. ⟨10.3233/FI-2020-1879⟩. ⟨hal-02457343⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Complexity of the dynamics of reaction systems. Information and Computation, Elsevier, 2019, ⟨10.1016/j.ic.2019.03.006⟩. ⟨hal-02123610⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio Porreca. On the dynamical behaviour of linear higher-order cellular automata and its decidability. Information Sciences, Elsevier, 2019, 486, pp.73-87. ⟨10.1016/j.ins.2019.02.023⟩. ⟨hal-02272852⟩
  • Enrico Formenti, Kévin Perrot, Eric Rémila. Computational complexity of the avalanche problem for one dimensional decreasing sandpiles. Journal of Cellular Automata, Old City Publishing, 2018, 13 (3), pp. 215-228. ⟨halshs-01417248⟩
  • Manuel Clergue, Sébastien Verel, Enrico Formenti. An Iterated Local Search to find many solutions of the 6-states Firing Squad Synchronization Problem. Applied Soft Computing, Elsevier, 2018, 66, pp.449-461. ⟨10.1016/j.asoc.2018.01.026⟩. ⟨hal-01738330⟩
  • Enrico Formenti, Sébastien Autran. More Decision Algorithms for Global Properties of 1D Cellular Automata. Journal of Cellular Automata, Old City Publishing, 2018. ⟨hal-01977656⟩
  • Enrico Formenti, Luca Mariot, Alberto Leporati, Alberto Dennunzio. Computing the periods of preimages in surjective cellular automata. Natural Computing, Springer Verlag, 2017, 16 (3), pp.367 - 381. ⟨10.1007/s11047-016-9586-x⟩. ⟨hal-01753996⟩
  • Enrico Formenti, Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio Porreca. Computational complexity of finite asynchronous cellular automata. Theoretical Computer Science, Elsevier, 2017, 664, pp.131 - 143. ⟨10.1016/j.tcs.2015.12.003⟩. ⟨hal-01754002⟩
  • Enrico Formenti, Paolo Massazza. From Tetris to polyominoes generation. Electronic Notes in Discrete Mathematics, Elsevier, 2017, 59, pp.79 - 98. ⟨10.1016/j.endm.2017.05.007⟩. ⟨hal-01753994⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Ancestors, descendants, and gardens of Eden in reaction systems. Theoretical Computer Science, Elsevier, 2015, From Computer Science to Biology and Back, 608, pp.16-26. ⟨10.1016/j.tcs.2015.05.046⟩. ⟨hal-01313664⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Reaction systems and extremal combinatorics properties. Theoretical Computer Science, Elsevier, 2015, 598, pp.138-149. ⟨10.1016/j.tcs.2015.06.001⟩. ⟨hal-01313667⟩
  • Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch. Foreword: asynchronous behavior of cellular automata and discrete models. Natural Computing, Springer Verlag, 2015, 14 (4), pp.505-506. ⟨10.1007/s11047-015-9524-3⟩. ⟨hal-01313674⟩
  • Enrico Formenti, Luca Manzoni, Antonio Porreca. On the complexity of occurrence and convergence problems in reaction systems. Natural Computing, Springer Verlag, 2015, 14 (1), pp.185-191. ⟨hal-01313680⟩
  • Sukanta Das, Enrico Formenti, Jarkko Kari. Preface. Theoretical Computer Science, Elsevier, 2014, Non-uniform Cellular Automata, 559, pp.1-2. ⟨10.1016/j.tcs.2014.10.024⟩. ⟨hal-01313328⟩
  • Enrico Formenti, Trung Van Pham, Thi Ha Duong Phan, Thi Thu Huong Tran. Fixed-point forms of the parallel symmetric sandpile model. Theoretical Computer Science, Elsevier, 2014, 533, pp.1-14. ⟨10.1016/j.tcs.2014.02.051⟩. ⟨hal-01313332⟩
  • Enrico Formenti, Alberto Dennunzio, Luca Manzoni. Limit Properties of Doubly Quiescent m-Asynchronous Elementary Cellular Automata. Journal of Cellular Automata, Old City Publishing, 2014, 9 (5-6), pp.341--355. ⟨hal-01313561⟩
  • Alberto Dennunzio, Enrico Formenti, Michael Weiss. Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues. Theoretical Computer Science, Elsevier, 2014, 516, pp.40-59. ⟨10.1016/j.tcs.2013.11.005⟩. ⟨hal-01313574⟩
  • Alberto Dennunzio, Enrico Formenti, Julien Provillard. Three research directions in non-uniform cellular automata. Theoretical Computer Science, Elsevier, 2014, 559, pp.73-90. ⟨10.1016/j.tcs.2014.06.046⟩. ⟨hal-01297620⟩
  • Enrico Formenti, Alberto Dennunzio, Giancarlo Mauri, Luca Manzoni. m-Asynchronous cellular automata: from fairness to quasi-fairness. Natural Computing, Springer Verlag, 2013, 12 (4), pp.561-572. ⟨10.1007/s11047-013-9386-5⟩. ⟨hal-01312569⟩
  • Alberto Dennunzio, Enrico Formenti, Nazim Fatès. Foreword: asynchronous cellular automata and applications. Natural Computing, Springer Verlag, 2013, 12 (4), pp.537-538. ⟨10.1007/s11047-013-9385-6⟩. ⟨hal-01312571⟩
  • Alberto Dennunzio, Enrico Formenti. Foreword: cellular automata and applications. Natural Computing, Springer Verlag, 2013, 13 (3), pp.305. ⟨10.1007/s11047-013-9377-6⟩. ⟨hal-01312573⟩
  • Luigi Acerbi, Alberto Dennunzio, Enrico Formenti. Surjective multidimensional cellular automata are non-wandering: A combinatorial proof. Information Processing Letters, Elsevier, 2013, 113 (5-6), pp.156-159. ⟨10.1016/j.ipl.2012.12.009⟩. ⟨hal-01312575⟩
  • Julien Cervelle, Alberto Dennunzio, Enrico Formenti. Preface. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. ⟨10.3233/FI-2013-874⟩. ⟨hal-01312577⟩
  • Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara. Periodic Orbits and Dynamical Complexity in Cellular Automata. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.183-199. ⟨10.3233/FI-2013-877⟩. ⟨hal-01312658⟩
  • Alberto Dennunzio, Enrico Formenti, Julien Provillard. Local rule distributions, language complexity and non-uniform cellular automata. Theoretical Computer Science, Elsevier, 2013, 504, pp.38-51. ⟨10.1016/j.tcs.2012.05.013⟩. ⟨hal-01297610⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Computing Issues of Asynchronous CA. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 120, pp.165-180. ⟨10.3233/FI-2012-755⟩. ⟨hal-01312565⟩
  • Eric Goles, Bruno Martin, Enrico Formenti. Computational Complexity of Avalanches in the Kadanoff Sandpile Model. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 115 (1), pp.107-124. ⟨10.3233/FI-2012-643⟩. ⟨hal-01217125⟩
  • Siamak Taati, Enrico Formenti, Jean-Paul Comet, Gilles Bernot. On the impact of the distance between two genes on their interaction curve. Journal of Mathematical Biology, Springer Verlag (Germany), 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩. ⟨hal-01242438⟩
  • Alberto Dennunzio, Enrico Formenti, Julien Provillard. Non-uniform cellular automata: Classes, dynamics, and decidability. Information and Computation, Elsevier, 2012, ⟨10.1016/j.ic.2012.02.008⟩. ⟨hal-01297590⟩
  • Alberto Dennunzio, Enrico Formenti, Ferdinand Pepper, Hiroshi Umeo. Foreword: asynchronous cellular automata and nature-inspired computation. Natural Computing, Springer Verlag, 2012, 11 (2), pp.267-268. ⟨10.1007/s11047-012-9309-x⟩. ⟨hal-01312506⟩
  • Enrico Formenti, Jarkko Kari, Siamak Taati. On the hierarchy of conservation laws in a cellular automaton. Natural Computing, Springer Verlag, 2011, 10 (4), pp.1275-1294. ⟨10.1007/s11047-010-9222-0⟩. ⟨hal-01311512⟩
  • Enrico Formenti, Petr Kurka, Zahradník Ondřej. A Search Algorithm for Subshift Attractors of Cellular Automata. Theory of Computing Systems, Springer Verlag, 2010, 46 (3), pp.479-498. ⟨10.1007/s00224-009-9230-6⟩. ⟨hal-01242315⟩
  • Julien Cervelle, Enrico Formenti, Benoît Masson. Basic properties for sand automata. Theoretical Computer Science, Elsevier, 2007, 381, pp.1--28. ⟨hal-00003208⟩
  • Julien Cervelle, Enrico Formenti, Benoît Masson. From sandpiles to sand automata. Theoretical Computer Science, Elsevier, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩. ⟨hal-00310905⟩
  • Enrico Formenti, Benoît Masson, Theophilos Pisokas. On symmetric sandpiles. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 76 (1), pp.91--112. ⟨hal-00083034⟩
  • Benoît Masson, Enrico Formenti, Theophilos Pisokas. Advances in symmetric sandpiles. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 76 (1-2), pp.91-112. ⟨hal-00311074⟩
  • Enrico Formenti, Petr Kurka. Subshift attractors of cellular automata. Nonlinearity, IOP Publishing, 2007, 20, pp.105-117. ⟨hal-00311968⟩
  • Enrico Formenti, Benoît Masson. On computing fixed points for generalized sandpiles. International Journal of Unconventional Computing, Old City Publishing, 2006, 2, pp.13--25. ⟨hal-00003535⟩
  • François Blanchard, Julien Cervelle, Enrico Formenti. Some results about the chaotic behavior of cellular automata. Theoretical Computer Science, Elsevier, 2005, 349 (3), pp.318-336. ⟨hal-00619713⟩
  • Bruno Durand, Enrico Formenti, Aristide Grange, Zsuzsanna Róka. Number conserving cellular automata: new results on decidability and dynamics. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140. ⟨hal-01183308⟩
  • Bruno Durand, Enrico Formenti, Georges Varouchas. On undecidability of equicontinuity classification for cellular automata. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.117-128. ⟨hal-01183309⟩

Conference papers32 documents

  • Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara. From Linear to Additive Cellular Automata. 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Jul 2020, Saarbrücken, Germany. ⟨hal-02889784⟩
  • Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara. Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties. 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.1--15, ⟨10.4230/LIPIcs.MFCS.2019.68⟩. ⟨hal-02268122⟩
  • Enrico Formenti, Paolo Massazza. On the Generation of 2-Polyominoes. Descriptional Complexity of Formal Systems - 20th 1.02 International Conference (DCFS) 2018, Aug 2019, Halifax, Canada. pp.101-113. ⟨hal-02272888⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Reachability in Resource-Bounded Reaction Systems. 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⟩. ⟨hal-01313690⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Preimage Problems for Reaction Systems . 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⟩. ⟨hal-01313640⟩
  • Enrico Formenti, Luca Manzoni, Antonio Porreca. Cycles and Global Attractors of Reaction Systems. 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⟩. ⟨hal-01312662⟩
  • Enrico Formenti, Eric Rémila, Kévin Perrot. Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles. 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⟩. ⟨hal-01313306⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Extremal Combinatorics of Reaction Systems. 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⟩. ⟨hal-01312661⟩
  • Enrico Formenti, Antonio Porreca, Luca Manzoni. Fixed Points and Attractors of Reaction Systems. 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⟩. ⟨hal-01313294⟩
  • Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard. ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. Language and Automata Theory and Applications, Mar 2014, Madrid, Spain. ⟨10.1007/978-3-319-04921-2_30⟩. ⟨hal-01297613⟩
  • Enrico Formenti, Alberto Dennunzio, Luca Manzoni, Gianpiero Cattaneo, Giampiero Chiaselotti. Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models. 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⟩. ⟨hal-01313318⟩
  • Enrico Formenti. A Survey on m-Asynchronous Cellular Automata. AUTOMATA 2013, Martin Kutrib; Andreas Malcher, Sep 2013, Giessen, Germany. ⟨10.1007/978-3-642-40867-0_4⟩. ⟨hal-01312567⟩
  • Enrico Formenti. Asymptotic Dynamics of (Some) Asyncronous Cellular Automata. 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⟩. ⟨hal-01312566⟩
  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri. m-Asynchronous Cellular Automata. 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⟩. ⟨hal-01312499⟩
  • Alberto Dennunzio, Enrico Formenti, Julien Provillard. Acceptance Conditions for ω-Languages. Developments in Language Theory, Aug 2012, Taipei, Taiwan. ⟨10.1007/978-3-642-31653-1_29⟩. ⟨hal-01297584⟩
  • Alberto Dennunzio, Enrico Formenti, Julien Provillard. Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. Language and Automata Theory and Application, Mar 2012, Coruna, Spain. pp.204-215, ⟨10.1007/978-3-642-28332-1_18⟩. ⟨hal-01297574⟩
  • Petr Kůrka, Enrico Formenti, Alberto Dennunzio. Asymptotic distribution of entry times in a cellular automaton with annihilating particles. 17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.47-58. ⟨hal-01196143⟩
  • Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Computational Aspects of Asynchronous Cellular Automata. Developments in Language Theory 2011, Giancarlo Mauri; Alberto Leporati, Jul 2011, Milan, Italy. pp.466-468, ⟨10.1007/978-3-642-22321-1_41⟩. ⟨hal-01311356⟩
  • Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès. A Boolean approach to cellular automata random sequences generation. 17th International Workshop on Cellular Automata and Discrete Complex System, Nov 2011, Santiago, Chile. pp.25-35. ⟨hal-00686571⟩
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Ultimate Traces of Cellular Automata. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166. ⟨inria-00455807⟩
  • Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard. Non-uniform Cellular Automata. Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.302-313, ⟨10.1007/978-3-642-00982-2_26⟩. ⟨hal-01297566⟩
  • Enrico Formenti, Jarkko Kari, Siamak Taati. The Most General Conservation Law for a Cellular Automaton. Computer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203. ⟨hal-00310402⟩
  • Enrico Formenti, Alberto Dennunzio. Decidable properties of 2D cellular automata. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275. ⟨hal-00310411⟩
  • Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara. Classification of directional dynamics for additive cellular automata. JAC 2008, Apr 2008, Uzès, France. pp.40-53. ⟨hal-00273932⟩
  • Enrico Formenti, Alberto Dennunzio, Luigi Acerbi. Shifting and lifting of cellular automata. Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.1-10. ⟨hal-00310523⟩
  • Enrico Formenti, Petr Kurka. A search algorithm for the maximal attractor of a cellular automaton. Symposium on Theoretical Aspects of Computer Science (STACS'07), Feb 2007, Aachen, Germany. pp.356-366. ⟨hal-00310850⟩
  • Julien Cervelle, Enrico Formenti, Pierre Guillon. Sofic Trace of a Cellular Automaton. CiE 2007, Jun 2007, Siena, Italy. pp.152-161. ⟨hal-00135811⟩
  • Enrico Formenti, Julien Cervelle, Pierre Guillon. Sofic trace subshift of a cellular automaton. Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161. ⟨hal-00310526⟩
  • Julien Cervelle, Enrico Formenti, Benoît Masson. Basic Properties for Sand Automata.. 30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211. ⟨hal-00620177⟩
  • Julien Cervelle, Enrico Formenti. On Sand Automata. 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653. ⟨hal-00620183⟩
  • François Blanchard, Julien Cervelle, Enrico Formenti. Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. pp.228-238. ⟨hal-00620226⟩
  • Julien Cervelle, Bruno Durand, Enrico Formenti. Algorithmic Information Theory and Cellular Automata Dynamics. 26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. pp.248-259. ⟨hal-00620174⟩

Book sections6 documents

  • Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio Porreca. Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. Language and Automata Theory and Applications - 13th International Conference, 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp.95-107, 2019, ⟨10.1007/978-3-030-13435-8_7⟩. ⟨hal-02086299⟩
  • Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio Porreca. Polynomial Equations over Finite, Discrete-Time Dynamical Systems. Cellular Automata, pp.298-306, 2018. ⟨hal-01977651⟩
  • Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès. Advances on Random Sequence Generation by Uniform Cellular Automata. 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⟩. ⟨hal-01218459⟩
  • Alberto Dennunzio, Enrico Formenti, Petr Kurka. Cellular Automata Dynamical Systems. 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⟩. ⟨hal-01312493⟩
  • Julien Cervelle, Alberto Dennunzio, Enrico Formenti. Chaotic behavior of cellular automata. Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009. ⟨hal-00620822⟩
  • Julien Cervelle, Enrico Formenti. Algorithmic Complexity and Cellular Automata. Meyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009. ⟨hal-00620823⟩

Directions of work or proceedings6 documents

  • Enrico Formenti, Jean-Charles Régin, Sara Riva. MDDs boost equation solving on discrete dynamical systems. 2021. ⟨hal-03380303⟩
  • Adrian-Horia Dediu, Enrico Formenti, Martin-Vide Carlos, Bianca Truthe. Language and Automata Theory and Applications. LATA 2015, Mar 2015, Nice, France. 8977, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-15578-4. ⟨10.1007/978-3-319-15579-1⟩. ⟨hal-01313585⟩
  • Enrico Formenti, Roberto Tagliaferri, Ernst Wit. Computational Intelligence Methods for Bioinformatics and Biostatistics: 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers. Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2013), Jun 2013, Nice, France. 8452, Springer, 2014, Lecture Notes in Computer Science, 978-3-319-09041-2. ⟨10.1007/978-3-319-09042-9⟩. ⟨hal-01312660⟩
  • Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Zhao Xing-Ming, Twan van Laarhoven. Pattern Recognition in Bioinformatics: 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings. PRIB 2013 - CIBB 2013 - Joint international conferences, Jun 2013, Nice, France. 7986, Springer, 2013, Lecture Notes in Computer Science, 978-3-642-39158-3. ⟨10.1007/978-3-642-39159-0⟩. ⟨hal-01311308⟩
  • Alberto Dennunzio, Nazim Fatès, Enrico Formenti. Asynchronous cellular automata and applications - Special issue of Natural Computing. Dennunzio, Alberto and Fatès, Nazim and Formenti, Enrico. France. 12, Springer, pp.51, 2013, ⟨10.1007/s11047-013-9385-6⟩. ⟨hal-00918586⟩
  • Enrico Formenti. Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires. AUTOMATA 2012 & JAC 2012, Sep 2012, La Marana (Bastia), France. 90, 2012, EPTCS, ⟨10.4204/EPTCS.90⟩. ⟨hal-01312487⟩

Preprints, Working Papers, ...3 documents

  • Luca Mariot, Maximilien Gadouleau, Enrico Formenti, Alberto Leporati. Mutually Orthogonal Latin Squares based on Cellular Automata. 2019. ⟨hal-02190643⟩
  • Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva. Solving Equations on Discrete Dynamical Systems. 2019. ⟨hal-02271381⟩
  • Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara. Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata. 2019. ⟨hal-02190317⟩