Recherche

	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 46 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01312658v1 Article dans une revue Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara. Periodic 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 Cervelle, Alberto Dennunzio, Enrico Formenti. Preface 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-01312565v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Computing Issues of Asynchronous CA Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 120, pp.165-180. <http://content.iospress.com/articles/fundamenta-informaticae/fi120-2-03>. <10.3233/FI-2012-755>
	hal-00311074v1 Article dans une revue Benoît Masson, Enrico Formenti, Theophilos Pisokas. Advances in symmetric sandpiles Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 76 (1-2), pp.91-112
	halshs-01417248v1 Article dans une revue Enrico Formenti, Kévin Perrot, Eric Rémila. Computational complexity of the avalanche problem for one dimensional decreasing sandpiles Journal of Cellular Automata, Old City Publishing, 2016, A paraître
	hal-01313561v1 Article dans une revue Enrico Formenti, Alberto Dennunzio, Luca Manzoni. Limit Properties of Doubly Quiescent m-Asynchronous Elementary Cellular Automata Journal of Cellular Automata, Old City Publishing, 2014, 9 (5-6), pp.341--355. <http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-9-number-5-6-2014/jca-9-5-6-p-341-355/>
	hal-01297610v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Julien Provillard. Local rule distributions, language complexity and non-uniform cellular automata Theoretical Computer Science, Elsevier, 2013, 504, pp.38-51. <10.1016/j.tcs.2012.05.013>
	hal-00310905v1 Article dans une revue Julien Cervelle, Enrico Formenti, Benoît Masson. From sandpiles to sand automata Theoretical Computer Science, Elsevier, 2007, 381, pp.1-28. <10.1016/j.tcs.2007.03.042>
	hal-01312575v1 Article dans une revue Luigi Acerbi, Alberto Dennunzio, Enrico Formenti. Surjective multidimensional cellular automata are non-wandering: A combinatorial proof Information Processing Letters, Elsevier, 2013, 113 (5-6), pp.156-159. <http://www.sciencedirect.com/science/article/pii/S0020019012003195>. <10.1016/j.ipl.2012.12.009>
	hal-00310411v1 Communication dans un congrès Enrico Formenti, Alberto Dennunzio. Decidable 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-01183308v1 Communication dans un congrès Bruno Durand, Enrico Formenti, Aristide Grange, Zsuzsanna Roka. Number conserving cellular automata: new results on decidability and dynamics DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140, 2003, DMTCS Proceedings
	hal-01297620v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Julien Provillard. Three 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-01297590v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Julien Provillard. Non-uniform cellular automata: Classes, dynamics, and decidability Journal of Information and Computation, Elsevier, 2012, <10.1016/j.ic.2012.02.008>
	hal-01297584v1 Communication dans un congrès Alberto Dennunzio, Enrico Formenti, Julien Provillard. Acceptance 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 Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard. Non-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 Dennunzio, Enrico Formenti, Julien Provillard. Computational 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-00310850v1 Communication dans un congrès Enrico Formenti, Petr Kurka. A search algorithm for the maximal attractor of a cellular automaton Symposium on Theoretical Aspects of Computer Science (STACS'07), Feb 2007, Aachen, Germany. Springer-Verlag Berlin-Heidelberg, 4393, pp.356-366, 2007, Lectures Notes In Computer Science
	hal-00310526v1 Communication dans un congrès Enrico Formenti, Julien Cervelle, Pierre Guillon. Sofic trace subshift of a cellular automaton S. Barry Cooper and B. Loewe and A. Sorbi. Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. Springer-Verlag Berlin-Heidelberg, 4497, pp.152-161, 2007, Lectures Notes In Computer Science
	hal-00310523v1 Communication dans un congrès Enrico Formenti, Alberto Dennunzio, Luigi Acerbi. Shifting 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-00135811v1 Communication dans un congrès Julien Cervelle, Enrico Formenti, Pierre Guillon. Sofic Trace of a Cellular Automaton Cooper S. Barry and Löwe Benedict and Sorbi Andrea. CiE 2007, Jun 2007, Siena, Italy. Springer-Verlag, 4497, pp.152-161, 2007, Lecture Notes in Computer Science
	hal-01312567v1 Communication dans un congrès Enrico Formenti. A Survey on m-Asynchronous Cellular Automata AUTOMATA 2013, Sep 2013, Giessen, Germany. 2013, Lecture Notes in Computer Science. <http://www.informatik.uni-giessen.de/automata2013/>. <10.1007/978-3-642-40867-0_4>
	hal-01313690v1 Communication dans un congrès Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Reachability 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-01313667v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Reaction systems and extremal combinatorics properties Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 598, pp.138-149. <http://www.sciencedirect.com/science/article/pii/S0304397515005034>. <10.1016/j.tcs.2015.06.001>
	hal-01313664v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Ancestors, 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 Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca. Preimage 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-01313574v1 Article dans une revue Alberto Dennunzio, Enrico Formenti, Michael Weiss. Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues Journal of Theoretical Computer Science (TCS), Elsevier, 2014, 516, pp.40-59. <http://www.sciencedirect.com/science/article/pii/S0304397513008232>. <10.1016/j.tcs.2013.11.005>
	hal-01313332v1 Article dans une revue Enrico Formenti, Trung Van Pham, Thi Ha Duong Phan, Thi Thu Huong Tran. Fixed-point forms of the parallel symmetric sandpile model Journal of Theoretical Computer Science (TCS), Elsevier, 2014, 533, pp.1-14. <http://www.sciencedirect.com/science/article/pii/S0304397514001893>. <10.1016/j.tcs.2014.02.051>
	hal-01313328v1 Article dans une revue Sukanta Das, Enrico Formenti, Jarkko Kari. Preface Journal of Theoretical Computer Science (TCS), Elsevier, 2014, Non-uniform Cellular Automata, 559, pp.1-2. <http://www.sciencedirect.com/science/article/pii/S0304397514008147?np=y>. <10.1016/j.tcs.2014.10.024>
	hal-01313318v1 Communication dans un congrès Enrico Formenti, Alberto Dennunzio, Luca Manzoni, Gianpiero Cattaneo, Giampiero Chiaselotti. Non Uniform Cellular Automata Description of Signed Partition Versions of Ice and Sand Pile Models ACRI 2014, Sep 2014, Krakov, Poland. Springer, 8751, pp.115-124, 2014, Lecture Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-319-11520-7_13>. <10.1007/978-3-319-11520-7_13>
	hal-01313306v1 Communication dans un congrès Enrico Formenti, Eric Rémila, Kévin Perrot. Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff Sandpiles AUTOMATA 2014, Jul 2014, Himeji, Japan. Springer, 8996, pp.21-30, 2014, Lecture Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-319-18812-6_2>. <10.1007/978-3-319-18812-6_2>
	1 2	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 46 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact