défiler vers le bas

Publications







Stacks Image 167
Télécharger la version longue



Thèses

[T1]
Enrico Formenti Automates cellulaires et chaos : de la vision topologique à la vision algorithmique Thèse soutenue le 23 octobre 1998 à lcole Normale Supérieure de Lyon
[T2]
Enrico Formenti De l'algorithmique du chaos dans les systèmes dynamiques discrets Habilitation à diriger des recherches

Revues internationales

[R1]
Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, and Giancarlo Mauri Transformations of the One-dimensional Cellular Automata Rule Space Parallel Computing 23(11): 1593-1611, 1997
[R2]
Gianpiero Cattaneo, Enrico Formenti, and Luciano Margara On the Dynamical Behavior of Chaotic Cellular Automata Theoretical Computer Science 217(1):31-51, 1999
[R3]
Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini and Luciano Margara Ergodicity and Regularity for Linear Cellular Automata over Zm. Theoretical Computer Science 233(1-2):147-164, 1999
[R4]
François Blanchard, Enrico Formenti and Petr Kurka Cellular automata in Cantor, Besicovitch and Weyl topological spaces Complex Systems 11(2):107-123, 1999
[R5]
Jean-Christophe Dubacq, Bruno Durand and Enrico Formenti Kolmogorov complexity and cellular automata classification Theoretical Computer Science 259(1-2):271-285, 2001
[R6]
Enrico Formenti On the sensitivity of cellular automata in Besicovitch spaces Theoretical Computer Science 301(1-3):341-354, 2003
[R7]
Bruno Durand, Enrico Formenti and Zsuzsana Róka Number conserving cellular automata I: decidability Theoretical Computer Science 299(1-3):523-535, 2003
[R8]
Enrico Formenti and Aristide Grange Number conserving cellular automata II: dynamics Theoretical Computer Science, 304(1-3):269-290, 2003
[R9]
Bruno Durand, Enrico Formenti, Aristide Grange and Zsuzsana Róka Number conserving cellular automata: new results on decidability and dynamics Discrete Mathematics and Theoretical Computer Science, AB:129-140, 2003
[R10]
Bruno Durand, Enrico Formenti and Georges Varouchas On undecidability of equicontinuity classification for cellular automata Discrete Mathematics and Theoretical Computer Science, AB:117-128, 2003
[R11]
Vincent Bernardi, Bruno Durand, Enrico Formenti and Jarkko Kari A new dimension sensitive property for cellular automata Theoretical Computer Science 345:243-247, 2005
[R12]
François Blanchard, Julien Cervelle and Enrico Formenti Some results about chaotic behavior of cellular automata Theoretical Computer Science 349(3):318-336, 2005
[R13]
Enrico Formenti and Benoît Masson On computing the fixed points for generalized sandpiles International Journal of Unconventional Computing, 2(1):13-25, 2005
[R14]
Enrico Formenti and Benoît Masson A note on fixed points of generalized ice piles models International Journal of Unconventional Computing, 2(2):183-191, 2006
[R15]
Enrico Formenti and Petr Kurka Subshift attractors of cellular automata Nonlinearity, 20:105-117, 2007
[R16]
Enrico Formenti, Benoît Masson and Theophilos Pisokas Advances in symmetric sandpiles Fundamenta Informaticae, 76(1-2):91-112, 2007
[R17]
Julien Cervelle, Enrico Formenti and Benoît Masson From sandpiles to sand automata Theoretical Computer Science, 381:1-28, 2007
[R18]
Enrico Formenti, Petr Kurka and Ondra Zahradnik A search algorithm for subshift attractors of cellular automata Theory of Computing Systems, 46:479-498, 2010
[R19]
Luigi Acerbi, Alberto Dennunzio and Enrico Formenti Conservation of Some Dynamical Properties for Operations on Cellular Automata Theoretical Computer Science, 410:3685-3693, 2009
[R20]
Alberto Dennunzio, Pietro Di Lena, Enrico Formenti and Luciano Margara On the directional dynamics of additive cellular automata Theoretical Computer Science, 410(47-49): 4823-4833, 2009
[R21]
Enrico Formenti, Jarkko Kari and Siamak Taati On the hierarchy of conservation laws in a cellular automaton Natural Computing 10(4): 1275-1294, 2011
[R22]
Siamak Taati, Enrico Formenti, Gilles Bernot and Jean-Paul Comet On the impact of the distance between two genes on their interaction curve Journal of Mathematical Biology 64: 131-147, 2012
[R23]
Alberto Dennunzio, Enrico Formenti, Ferdinand Peper and Hiroshi Umeo Foreword: asynchronous cellular automata and nature-inspired computation Natural Computing 11(2): 267-268 (2012)
[R24]
Alberto Dennunzio, Enrico Formenti and Julien Provillard Non-Uniform Cellular Automata: classes, dynamics, and decidability Information and Computation, 215: 32-46 (2012)
[R25]
Enrico Formenti, Eric Goles and Bruno Martin Computational Complexity of Avalanches in the Kadanoff Sandpile Model Fundamenta Informaticae 115(1): 107-124 (2012)
[R26]
Alberto Dennunzio, Enrico Formenti and Luca Manzoni Computational Issues of Asynchronous Cellular Automata Fundamenta Informaticae 120:1-17 (2012)
[R27]
Alberto Dennunzio, Enrico Formenti and Julien Provillard Local rule distributions, language complexity and non-uniform cellular automata Theoretical Computer Science 504:38-51 (2013)
[R28]
Luigi Acerbi, Alberto Dennunzio and Enrico Formenti Surjective Multidimensional Cellular Automata Are Non-Wandering: A Combinatorial Proof Information Processing Letters 113(5-6):156-159 (2013)
[R29]
Julien Cervelle, Alberto Dennunzio, Enrico Formenti and Andrzej Skowron Special Issue: Cellular Automata and Models of Computation Fundamenta Informaticae 126(2-3):i-ii (2013)
[R30]
Alberto Dennunzio, Pietro Di Lena, Enrico Formenti and Luciano Margara Periodic orbits and dynamical complexity in Cellular Automata Fundamenta Informaticae 126(2-3): 183-199 (2013)
[R31]
Alberto Dennunzio and Enrico Formenti Forewords: cellular automata and applications Natural Computing, 12(3): 305 (2013)
[R32]
Alberto Dennunzio, Nazim Fatès and Enrico Formenti Forewords: asynchronous cellular automata and applications Natural Computing, 12(4): 537-538 (2013)
[R33]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Giancarlo Mauri m-Asynchronous cellular automata: from fairness to quasi-fairness Natural Computing 12(4): 561-572 (2013)
[R34]
Alberto Dennunzio, Enrico Formenti and Michael Weiss Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues Theoretical Computuer Science, 516: 40-59 (2014)
[R35]
Alberto Dennunzio, Enrico Formenti and Julien Provillard Three research directions in non-uniform cellular automata Theoretical Computuer Science, 559: 73-90 (2014)
[R36]
Sukanta Das, Enrico Formenti and Jarkko Kari Non-uniform Cellular Automata Theoretical Computuer Science, 559: 1-2 (2014)
[R37]
Enrico Formenti, Van Trung Pham, Thi Ha Duong Phan and Tran Thi Thu Huong Fixed-point forms of the parallel symmetric sandpile model Theoretical Computuer Science, 533: 1-14 (2014)
[R38]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni Limit Properties of Doubly Quiescent m-Asynchronous Elementary Cellular Automata J. Cellular Automata, 9(5-6): 341-355 (2014)
[R39]
Alberto Dennunzio, Enrico Formenti and Luca Manzoni Reaction systems and extremal combinatorics properties Theoretical Computuer Science, 598: 138-149 (2015)
[R40]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio Enrico Porreca Ancestors, descendants, and gardens of Eden in reaction systems Theoretical Computuer Science, 608: 16-26 (2015)
[R41]
Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch Foreword: asynchronous behavior of cellular automata and discrete models Natural Computing 14(4): 505-506 (2015)
[R42]
Enrico Formenti, Luca Manzoni, Antonio Enrico Porreca On the complexity of occurrence and convergence problems in reaction systems Natural Computing 14(1): 185-191 (2015)

Conférences internationales (avec comité de lecture et actes)

[C1]
Gianpiero Cattaneo, Enrico Formenti and Giancarlo Mauri Rule Space Transfromations and One-dimensional Cellular Automata Developments in Language Theory (DLT'95), pag. 409-419, Magdeburg, 1995. World Scientific Publishing Co
[C2]
Gianpiero Cattaneo, Enrico Formenti, Luciano Margara and Giancarlo Mauri Essential Transformations of the One-dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups In G. Mauri and S. Bandini, editors, Cellular Automata for Research and Industry (ACRI'96), pag. 42-56, Milan, 1996. Springer-Verlag
[C3]
Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini and Luciano Margara On Ergodic Linear Cellular Automata Over Zm In Symposium on Theoretical Aspects of Computer Science (STACS'97), Volume 1200 of Lecture Notes in Computer Science, pag. 427-438, Hansestadt Lübeck (Germany), 1997. Springer-Verlag
[C4]
Gianpiero Cattaneo, Enrico Formenti, Luciano Margara and Jacques Mazoyer A Shift-invariant Metric on SZ Inducing a Non-trivial Topology In Mathematical Foundations of Computer Science (MFCS'97), Volume 1295 of Lectures Notes in Computer Science, pag. 179-188, Bratislava, 1997. Springer-Verlag
[C5]
Julien Cervelle, Bruno Durand and Enrico Formenti Algorithmic information theory and cellular automata dynamics In Mathematical Foundations of Computer Science (MFCS'01), volume 2136 of Lectures Notes in Computer Science, pag. 248-259, Marianske Lazne, Czech Republic (2001). Springer-Verlag
[C6]
Julien Cervelle and Enrico Formenti On sand automata In Symposium on Theoretical Aspects of Computer Science (STACS'03), volume 2607 of Lecture Notes in Computer Science, pag. 642-653, Berlin (Allemagne) (2003). Springer-Verlag
[C7]
François Blanchard, Julien Cervelle and Enrico Formenti Periodicity and transitivity for cellular automata in Besicovitch topologies In Mathematical Foundations of Computer Science (MFCS'03), volume 2747 of Lecture Notes in Computer Sciences, pag. 228-238, August 25-29, Bratislava, 2003
[C8]
Silvano Dal Zilio and Enrico Formenti On the dynamics of PB systems: a Petri net view Proceedings of Workshop on membrane computing (WMC 2003), Carlos Martin-Vide, Gheorghe Paun, Grzegorz Rozenberg and Arto Salomaa editors. Volume 2933 of Lecture Notes in Computer Sciences, pag. 153-167, Tarragona (Spain), 2003
[C9]
Vincent Bernardi, Bruno Durand, Enrico Formenti and Jarkko Kari A new dimension sensitive property for cellular automata In Mathematical Foundations of Computer Science (MFCS'04), volume 3153 of Lecture Notes in Computer Sciences, pag. 416-426, August 22-27, Prague (Czech Rep.), 2004
[C10]
Julien Cervelle, Enrico Formenti and Benoît Masson Basic properties for sand automata In Mathematical Foundations of Computer Science (MFCS'05), volume 3618 of Lecture Notes in Computer Sciences, pag. 192-211, August 29- September 2, Gdansk (Poland), 2005
[C11]
Enrico Formenti, Benoît Masson and Theophilos Pisokas On symmetric sandpiles In S. El Yacouby and B. Chopard, editors, Cellular automata for research and industry (ACRI'06), volume 4173 of Lecture Notes in Computer Sciences, pag. 676-685, September 20-23, Perpignan (France), 2006
[C12]
Enrico Formenti and Petr Kurka A search algorithm for the maximal attractor of a cellular automaton In Symposium on Theoretical Aspects of Computer Science (STACS'07), volume 4393 of Lecture Notes in Computer Sciences, pag. 356-366, February 22-24, Aachen (Germany), 2007
[C13]
Luigi Acerbi, Alberto Dennunzio, Enrico Formenti Shifting and lifting of cellular automata In S. Barry Cooper and B. Loewe and A. Sorbi, editors, Computation and Logic in the Real World. Third Conference on Computability in Europe (CiE 2007), volume 4497 of Lecture Notes in Computer Sciences, pag. 1-10, June 18-23, Siena (Italy), 2007
[C14]
Julien Cervelle, Enrico Formenti and Pierre Guillon Sofic trace subshift of a cellular automaton In S. Barry Cooper and B. Loewe and A. Sorbi, editors, Computation and Logic in the Real World. Third Conference on Computability in Europe (CiE 2007), volume 4497 of Lecture Notes in Computer Sciences, pag. 152-161, June 18-23, Siena (Italy), 2007
[C15]
Alberto Dennunzio, Pietro Di Lena, Enrico Formenti and Luciano Margara Classification of directional dynamics for additive cellular automata In B. Durand (editor), Proceedings of Journées Automates Cellulaires (JAC 2008), pag. 40-53, April 21-25, Uzes (France), 2008
[C16]
Enrico Formenti, Jarkko Kari and Siamak Taati The most general conservation law for a cellular automaton In Computer Science Symposium in Russia (CSR 2008), volume 5010 of Lecture Notes in Computer Sciences, pag. 194-203, June 7-12, Moscow (Russia), 2008
[C17]
Alberto Dennunzio and Enrico Formenti Decidable properties of 2D cellular automata In M. Ito and M. Toyma Eds, Developments in Language Theory (DLT 2008), volume 5257 of Lecture Notes in Computer Sciences, pag. 264-275, September 16-19, Kyoto (Japan), 2008
[C18]
Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti and Julien Provillard Non-uniform cellular automata In A. Horia Dediu, A.-M. Ionescu, and C. Martin-Vide, editors, Language and Automata Theory and Applications, Third International Conference (LATA 2009), volume 5457, pages 302-313, Tarragon (Spain), 2009
[C19]
Julien Cervelle, Enrico Formenti and Pierre Guillon Ultimate traces for cellular automata In Symposium on Theoretical Aspects of Computer Science (STACS'10), in Leibniz International Proceedings in Informatics, pag. 155-166, March 4-6, Nancy (France), 2010
[C20]
Gilles Bernot, Jean-Paul Comet, Enrico Formenti and Siamak Taati Gene regulatory networks: the impact of distance between genes In 19th International Symposium in Mathematical Theory of Networks and Systems (MTNS'10), pag. xxx-xxx, July 5-9, Budapest (Hungary), 2010
[C21]
Alberto Dennunzio, Enrico Formenti and Michael Weiss 2D Cellular Automata: dynamics and undecidability In Computability in Europe 2010, pag. xxx-xxx, June 30-July 4, Ponta Delgada, Azores (Portugal), 2010
[C22]
Jérôme Chandesris, Alberto Dennunzio, Enrico Formenti and Luca Manzoni Computational Aspects of Asynchronous Cellular Automata In Developments in Language Theory - DLT 2011, volume 6795 of Lecture Notes in Computer Sciences, pag. 466-468, July 19-22, Milan (Italy), 2011
[C23]
Petr Kurka, Enrico Formenti and Alberto Dennunzio Asymptotic distribution of entry times in a cellular automaton with annihilating particles In Nazim Fatès, Eric Goles, Alejandro Maass and Ivan Rapaport, editors, Automata 2011, Discrete Mathematics and Theorectical Computer Science AP: 47-58, 2011
[C24]
Alberto Dennunzio, Enrico Formenti and Julien Provillard Computational Complexity of Rule Distributions of Non-uniform Cellular Automata In Adrian Horia Dediu and C. Martin-Vide, editors, Language and Automata Theory and Applications, Sixth International Conference (LATA 2012), volume 7183 of Lectures Notes in Computer Science, page 204--215, La Coruna (Spain), 2012
[C25]
Alberto Dennunzio, Enrico Formenti and Julien Provillard Acceptance conditions for Omega languages In Hsu-Chun Yen and Oscar H. Ibarra, editors, Developments in Language Theory - DLT 2012, volume 7410 of Lectures Notes in Computer Science, pag. 320-331, Taipei, Taiwan, August 14-17, 2012
[C26]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Giancarlo Mauri $m$-Asynchronous Cellular Automata In ACA 2012 (satellite of conference ACRI 2012), volume 7495 of Lecture Notes in Computer Sciences, pag. 653-662, September 24-26, Santorini (Greece), 2012
[C27]
Enrico Formenti A Survey on m-Asynchronous Cellular Automata In Jarkko Kari, Martin Kutrib and Andreas Malcher (Eds.): Unconventional Computation and Natural Computation (UCNC 2013), volume 8155 of Lecture Notes in Computer Sciences, pag. 46-66, September 17-19, Giessen (Germany), 2013
[C28]
Enrico Formenti Asymptotic Dynamics of (Some) Asyncronous Cellular Automata - (Abstract) In Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio Enrico Porreca (Eds.): Unconventional Computation and Natural Computation (UCNC 2013), volume 7956 of Lecture Notes in Computer Sciences, pag. 1-2, July 1-5, Milan (Italy), 2013
[C29]
Alberto Dennunzio, Enrico Formenti and Luca Manzoni Extremal combinatorics of reaction systems In Adrian Horia Dediu, Carlos Martin-Vide, José-Louis Sierra and Bianca Truthe, editors, Language and Automata Theory and Applications, Eighth International Conference (LATA 2014), volume 8370 of Lectures Notes in Computer Science, pag. 297-307, Madrid (Spain), 2014
[C30]
Enrico Formenti, Markus Holtzer, Martin Kutrib and Julien Provillard ω-rational languages: high complexity classes vs. Borel Hierarchy In Adrian Horia Dediu, Carlos Martin-Vide, José-Louis Sierra and Bianca Truthe, editors, Language and Automata Theory and Applications, Eighth International Conference (LATA 2014), volume 8370 of Lectures Notes in Computer Science, pag. 372-383, Madrid (Spain), 2014
[C31]
Enrico Formenti, Luca Manzoni and Antonio Enrico Porreca Cycles and Global Attractors of Reaction Systems In Helmut Jürgensen, Juhani Karhumäki and Alexander Okhotin, editors, Descriptional Complexity of Formal Systems - 16th International Workshop (DCFS) 2014, volume 8614 of Lectures Notes in Computer Science, pag. 114-125, Turku (Finland), 2014
[C32]
Enrico Formenti, Luca Manzoni and Antonio Enrico Porreca Fixed Points and Attractors of Reaction Systems In Arnold Beckmann, Erzsébet Csuhaj-Varju and Klaus Meer, editors, Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, volume 8493 of Lectures Notes in Computer Science, pag. 194-203, Budapest (Budapest), 2014
[C33]
Enrico Formenti, Katsunobu Imai, Bruno Martin and Jean-Baptiste Yunès Advances on Random Sequence Generation by Uniform Cellular Automata In Cristian S. Calude, Rusins Freivalds and Kazuo Iwamar, editors, Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, volume 8808 of Lectures Notes in Computer Science, pag. 56-70, Budapest (Budapest), 2014
[C34]
Enrico Formenti, Kévin Perrot and Eric Rémila Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles In Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper and Hiroshi Umeo, editors, Cellular Automata and Discrete Complex Systems - 20th International Workshop, {AUTOMATA} 2014, volume 8996 of Lectures Notes in Computer Science, pag. 21-30, Himeji (Japan), 2014
[C35]
Gianpiero Cattaneo, Giampiero Chiaselotti, Alberto Dennunzio, Enrico Formenti and Luca Manzoni Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models In Jaroslaw Was, Georgios Ch. Sirakoulis and Stefania Bandini, editors, Cellular Automata - 11th International Conference on Cellular Automata for Research and Industry, {ACRI} 2014, volume 8751 of Lectures Notes in Computer Science, pag. 115-124, Krakow (Poland), 2014
[C36]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio Enrico Porreca Preimage Problems for Reaction Systems In Adrian Horia Dediu, Enrico Formenti, Carlos Martin-Vide and Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, volume 8977 of Lectures Notes in Computer Science, pag. 537-548, Nice (France), 2015
[C37]
Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio Enrico Porreca Reachability in Resource-Bounded Reaction Systems In Adrian Horia Dediu, Jan Janousek, Carlos Martin-Vide and Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, {LATA} 2016, volume 9618 of Lectures Notes in Computer Science, pag. 592-602, Prague (Czech Republic), 2016

Chapitres de livres - Editions de proceedings

[L1]
Gianpiero Cattaneo, Enrico Formenti and Luciano Margara Topological definitions of chaos: applications to cellular automata dynamics In Jacques Mazoyer editor, Cellular Automata, chapter 8, Series in Mathematics and its Applications, Kluwer, 1999
[L2]
Enrico Formenti and Petr Kurka Dynamics of cellular automata in non-compact spaces In Robert Meyer editor, Encyclopedia of Complexity and System Science, Springer-Verlag, 2009
[L3]
Julien Cervelle, Alberto Dennunzio and Enrico Formenti Chaotic behavior of cellular automata In Robert Meyer editor, Encyclopedia of Complexity and System Science, Springer-Verlag, 2009
[L4]
Julien Cervelle and Enrico Formenti Algorithmic complexity and cellular automata In Robert Meyer editor, Encyclopedia of Complexity and System Science, Springer-Verlag, 2009
[L5]
Alberto Dennunzio, Enrico Formenti and Petr Kurka Cellular automata dynamical systems In In Grzegorz Rozenberg, Thomas Bäck et Joost N. Kok editors, Handbook of Natural Computing, 25-75, Springer, 2012
[L6]
Enrico Formenti Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires (AUTOMATA & JAC) 2012, La Marana, Corsica, September 19-21, 2012 EPTCS 90, 2012
[L7]
Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven, editors Pattern Recognition in Bioinformatics - 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings Lecture Notes in Computer Science 7986, Springer 2013
[L8]
Enrico Formenti, Roberto Tagliaferri and Ernst Wit, editors Computational Intelligence Methods for Bioinformatics and Biostatistics - 10th International Meeting, {CIBB} 2013, Nice, France, June 20-22, 2013, Revised Selected Papers Lecture Notes in Computer Science 8452, Springer, 2014
[L9]
Adrian Horia Dediu, Enrico Formenti, Carlos Martin-Vide and Bianca Truthe, editors Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings Lecture Notes in Computer Science 8977, Springer, 2015

Posters

[P1]
Enrico Formenti and Benoît Masson Fixed points of generalized ice pile models In Posters proceedings of European Conference on Complex Systems (ECCS'05), Paris (november 2005)