Enrico Formenti
Présentation
Publications
Publications
Verification of Square Lattices with Various Neighborhoods by Infinite Petri NetsComplex Days, Académie Systèmes Complexes, Feb 2023, Nice, France |
|
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⟩ |
|
|
|
MDDs boost equation solving on discrete dynamical systemsIntegration 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⟩ |
From Linear to Additive Cellular Automata47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Jul 2020, Saarbrücken, Germany |
|
|
|
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⟩ |
Decidability of sensitivity to initial conditions and equicontinuity for linear higher order CAComplex Days, Académie Systèmes Complexes, Mar 2019, Nice, France |
|
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 |
|
|
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
|
|
ω-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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
A Survey on m-Asynchronous Cellular AutomataAUTOMATA 2013, Martin Kutrib; Andreas Malcher, Sep 2013, Giessen, Germany. ⟨10.1007/978-3-642-40867-0_4⟩ |
|
|
|
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⟩ |
|
|
Acceptance Conditions for ω-LanguagesDevelopments in Language Theory, Aug 2012, Taipei, Taiwan. ⟨10.1007/978-3-642-31653-1_29⟩ |
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⟩ |
|
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 |
|
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
Non-uniform Cellular AutomataLanguage and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.302-313, ⟨10.1007/978-3-642-00982-2_26⟩ |
Decidable properties of 2D cellular automataDEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275 |
|
The Most General Conservation Law for a Cellular AutomatonComputer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203 |
|
|
|
Classification of directional dynamics for additive cellular automataJAC 2008, Apr 2008, Uzès, France. pp.40-53 |
Shifting and lifting of cellular automataComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.1-10 |
|
|
|
Sofic Trace of a Cellular AutomatonCiE 2007, Jun 2007, Siena, Italy. pp.152-161 |
Sofic trace subshift of a cellular automatonComputability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161 |
|
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 |
|
Basic Properties for Sand Automata.30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211 |
|
On Sand Automata20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653 |
|
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 |
|
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 |
|
A shift-invariant metric on S zz inducing a non-trivial topologyMFCS1997, Aug 1997, Bratislava, Slovakia. pp.179-188, ⟨10.1007/BFb0029961⟩ |
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⟩ |
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⟩ |
|
Polynomial Equations over Finite, Discrete-Time Dynamical SystemsCellular Automata, pp.298-306, 2018 |
|
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⟩ |
|
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⟩ |
|
Chaotic behavior of cellular automataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.978-989, 2009 |
|
Algorithmic Complexity and Cellular AutomataMeyers Robert A. Encyclopedia of Complexity and System Science, Springer-Verlag, pp.243-257, 2009 |
|
|
Decomposition and factorisation of transients in functional graphs2025 |
|
|
Solving Equations on Discrete Dynamical Systems2019 |
|
|
Mutually Orthogonal Latin Squares based on Cellular Automata2019 |
|
|
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata2019 |