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
- 11
- 10
- 7
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Verification of Square Lattices with Various Neighborhoods by Infinite Petri NetsComplex Days, Académie Systèmes Complexes, Feb 2023, Nice, France
Communication dans un congrès
hal-04050155v1
|
|
From Linear to Additive Cellular Automata47th 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 CAComplex Days, Académie Systèmes Complexes, Mar 2019, Nice, France
Communication dans un congrès
hal-03863469v1
|
|
On the Generation of 2-PolyominoesDescriptional 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
|
|
|
Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties44th 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 SystemsLATA 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 SystemsLATA 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 ModelsACRI 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 SandpilesAUTOMATA 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
|
|
|
ω-rational Languages: High Complexity Classes vs. Borel HierarchyLanguage 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 SystemsLanguage, 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 SystemsLanguage 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 SystemsDescriptional 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 AutomataAUTOMATA 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 AutomataUnconventional 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
|
|
|
Computational Complexity of Rule Distributions of Non-uniform Cellular AutomataLanguage 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 ω-LanguagesDevelopments 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 AutomataAutomata 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 generation17th 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 particles17th 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 AutomataDevelopments 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
|
|
|
Ultimate Traces of Cellular Automata27th 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 AutomataLanguage 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 automataDEVELOPMENTS 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 AutomatonComputer 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 automataJAC 2008, Apr 2008, Uzès, France. pp.40-53
Communication dans un congrès
hal-00273932v1
|
Shifting and lifting of cellular automataComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.1-10
Communication dans un congrès
hal-00310523v1
|
|
|
Sofic Trace of a Cellular AutomatonCiE 2007, Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès
hal-00135811v1
|
Sofic trace subshift of a cellular automatonComputability 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 automatonSymposium 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.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 Topologies28th 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 Automata20th 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 Dynamics26th 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
|
|
MDDs boost equation solving on discrete dynamical systems2021
Ouvrages
hal-03380303v1
|
Asynchronous cellular automata and applications - Special issue of Natural ComputingDennunzio, Alberto and Fatès, Nazim and Formenti, Enrico. Springer, 12, pp.51, 2013, ⟨10.1007/s11047-013-9385-6⟩
Ouvrages
hal-00918586v1
|
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular AutomataLanguage 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 SystemsCellular Automata, pp.298-306, 2018
Chapitre d'ouvrage
hal-01977651v1
|
|
Advances on Random Sequence Generation by Uniform Cellular AutomataComputing 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 SystemsGrzegorz 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 automataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009
Chapitre d'ouvrage
hal-00620822v1
|
|
Algorithmic Complexity and Cellular AutomataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009
Chapitre d'ouvrage
hal-00620823v1
|
|
Solving Equations on Discrete Dynamical Systems2019
Pré-publication, Document de travail
hal-02271381v1
|
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata2019
Pré-publication, Document de travail
hal-02190317v1
|
|
Mutually Orthogonal Latin Squares based on Cellular Automata2019
Pré-publication, Document de travail
hal-02190643v1
|