27 résultats  enregistrer la recherche


hal-01312658v1  Article dans une revue
Alberto DennunzioPietro Di LenaEnrico FormentiLuciano MargaraPeriodic Orbits and Dynamical Complexity in Cellular Automata
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.183-199. <http://content.iospress.com/articles/fundamenta-informaticae/fi126-2-3-04>. <10.3233/FI-2013-877>
hal-01312577v1  Article dans une revue
Julien CervelleAlberto DennunzioEnrico FormentiPreface
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.1-2. <http://content.iospress.com/articles/fundamenta-informaticae/fi126-2-3-01>. <10.3233/FI-2013-874>
hal-00310411v1  Communication dans un congrès
Enrico FormentiAlberto DennunzioDecidable properties of 2D cellular automata
M. Ito and M. Toyma. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. Springer-Verlag, 5257, pp.264-275, 2008, Lectures Notes in Computer Science
...
hal-01196143v1  Communication dans un congrès
Petr KůrkaEnrico FormentiAlberto DennunzioAsymptotic distribution of entry times in a cellular automaton with annihilating particles
Fatès, Nazim and Goles, Eric and Maass, Alejandro and Rapaport, Iván. 17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, pp.47-58, 2011, DMTCS Proceedings
...
hal-01297620v1  Article dans une revue
Alberto DennunzioEnrico FormentiJulien ProvillardThree research directions in non-uniform cellular automata
Journal of Theoretical Computer Science (TCS), Elsevier, 2014, 559, pp.73-90. <10.1016/j.tcs.2014.06.046>
...
hal-01297584v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiJulien ProvillardAcceptance Conditions for ω-Languages
Developments in Language Theory, Aug 2012, Taipei, Taiwan. Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings, 7410, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-31653-1_29>
...
hal-01297566v1  Communication dans un congrès
Gianpiero CattaneoAlberto DennunzioEnrico FormentiJulien ProvillardNon-uniform Cellular Automata
Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. 5457, pp.302-313, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-00982-2_26>
...
hal-01297574v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiJulien ProvillardComputational Complexity of Rule Distributions of Non-uniform Cellular Automata
Language and Automata Theory and Application, Mar 2012, Coruna, Spain. 7183, pp.204-215, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28332-1_18>
hal-00310523v1  Communication dans un congrès
Enrico FormentiAlberto DennunzioLuigi AcerbiShifting and lifting of cellular automata
S. Barry Cooper and B. Loewe and A. Sorbi. Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. Springer-Verlag Berlin-Heidelberg, 4497, pp.1-10, 2007, Lectures Notes In Computer Science
hal-01313690v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiLuca ManzoniAntonio PorrecaReachability in Resource-Bounded Reaction Systems
LATA 2016, Mar 2016, Prague, Czech Republic. Springer, 9618, pp.592-602, 2016, Lecture Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-319-30000-9_45>. <10.1007/978-3-319-30000-9_45>
hal-01313664v1  Article dans une revue
Alberto DennunzioEnrico FormentiLuca ManzoniAntonio PorrecaAncestors, descendants, and gardens of Eden in reaction systems
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, From Computer Science to Biology and Back, 608, pp.16-26. <http://www.sciencedirect.com/science/article/pii/S0304397515005009>. <10.1016/j.tcs.2015.05.046>
hal-01313640v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiLuca ManzoniAntonio PorrecaPreimage Problems for Reaction Systems
LATA 2015, Mar 2015, Nice, France. Springer, 8977, pp.537-548, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-15579-1_42>
hal-01312661v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiLuca ManzoniExtremal Combinatorics of Reaction Systems
Language and Automata Theory and Applications (LATA 2014), Mar 2014, Madrid, Spain. Springer, 8370, pp.297-307, 2014, Lecture Notes in Computer Science. <http://grammars.grlmc.com/LATA2014/>. <10.1007/978-3-319-04921-2_24>
hal-01312499v1  Communication dans un congrès
Alberto DennunzioEnrico FormentiLuca ManzoniGiancarlo Maurim-Asynchronous Cellular Automata
Automata for Research and Industry, ACRI 2012, , Sep 2012, Santorini, Greece. 7495, pp.653-662, 2012, Lecture Notes in Computer Science. <http://www.springer.com/it/book/9783642333491?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook>. <10.1007/978-3-642-33350-7_67>
hal-01312493v1  Chapitre d'ouvrage
Alberto DennunzioEnrico FormentiPetr KurkaCellular Automata Dynamical Systems
Grzegorz 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>. <http://link.springer.com/referenceworkentry/10.1007%2F978-3-540-92910-9_2>