Number of documents

82

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 professo at the Université de Nice Sophia Antipolis (now Université Côte d'Azur) iin September 2003.

His research interests cover discrete dynamical systems, symbolic dynamics, computational complexity, dynamical complexity, chaotic behavior, dynamical systems for artificial intelligence.


Journal articles40 documents

Conference papers29 documents

  • 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, 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, Eric Rémila, Perrot Kevin. 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⟩
  • 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, 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⟩
  • 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, 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. 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, Alberto Dennunzio. Decidable properties of 2D cellular automata. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275. ⟨hal-00310411⟩
  • 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⟩
  • 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, 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⟩
  • 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, Pierre Guillon. Sofic Trace of a Cellular Automaton. CiE 2007, Jun 2007, Siena, Italy. pp.152-161. ⟨hal-00135811⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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

Directions of work or proceedings5 documents

Preprints, Working Papers, ...2 documents

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