
Enrico Formenti
94
Documents
Présentation
Publications
12
10
7
3
3
3
2
1
1
1
1
1
1
1
1
Publications
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-04050155
v1
|
|
Complexity of Local, Global and Universality Properties in Finite Dynamical SystemsMachines, 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-04662792
v1
|
|
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-02889784
v1
|
|
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-03863469
v1
|
|
|
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-02268122
v1
|
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-02272888
v1
|
|
|
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-01313690
v1
|
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-01313640
v1
|
|
|
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-01313306
v1
|
|
ω-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-01297613
v1
|
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-01312661
v1
|
|
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-01313294
v1
|
|
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-01313318
v1
|
|
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-01312662
v1
|
|
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
istex
hal-01312566
v1
|
|
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
istex
hal-01312567
v1
|
|
|
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-01297574
v1
|
|
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-01297584
v1
|
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-01312499
v1
|
|
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-00686571
v1
|
|
|
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-01196143
v1
|
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
istex
hal-01311356
v1
|
|
|
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-00455807
v1
|
|
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-01297566
v1
|
Decidable properties of 2D cellular automataDEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275
Communication dans un congrès
hal-00310411
v1
|
|
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-00310402
v1
|
|
|
Classification of directional dynamics for additive cellular automataJAC 2008, Apr 2008, Uzès, France. pp.40-53
Communication dans un congrès
hal-00273932
v1
|
Shifting and lifting of cellular automataComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.1-10
Communication dans un congrès
hal-00310523
v1
|
|
|
Sofic Trace of a Cellular AutomatonCiE 2007, Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès
hal-00135811
v1
|
Sofic trace subshift of a cellular automatonComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161
Communication dans un congrès
hal-00310526
v1
|
|
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-00310850
v1
|
|
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-00620177
v1
|
|
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-00620183
v1
|
|
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-00620226
v1
|
|
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-00620174
v1
|
|
A shift-invariant metric on S zz inducing a non-trivial topologyMFCS1997, Aug 1997, Bratislava, Slovakia. pp.179-188, ⟨10.1007/BFb0029961⟩
Communication dans un congrès
istex
hal-04659352
v1
|
|
MDDs boost equation solving on discrete dynamical systems2021
Ouvrages
hal-03380303
v1
|
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
istex
hal-00918586
v1
|
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-02086299
v1
|
|
Polynomial Equations over Finite, Discrete-Time Dynamical SystemsCellular Automata, pp.298-306, 2018
Chapitre d'ouvrage
hal-01977651
v1
|
|
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-01218459
v1
|
|
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-01312493
v1
|
|
Chaotic behavior of cellular automataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009
Chapitre d'ouvrage
hal-00620822
v1
|
|
Algorithmic Complexity and Cellular AutomataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009
Chapitre d'ouvrage
hal-00620823
v1
|
|
Solving Equations on Discrete Dynamical Systems2019
Pré-publication, Document de travail
hal-02271381
v1
|
|
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata2019
Pré-publication, Document de travail
hal-02190317
v1
|
|
Mutually Orthogonal Latin Squares based on Cellular Automata2019
Pré-publication, Document de travail
hal-02190643
v1
|
Chargement...
Chargement...