Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Formenti, Enrico"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Three research directions in non-uniform cellular automata
Alberto Dennunzio
,
Enrico Formenti
,
Julien Provillard
Theoretical Computer Science
559
, 2014, pp. 73-90
Multidimensional cellular automata: Closing property, quasi-expansivity, and (un)decidability issues
Alberto Dennunzio
,
Enrico Formenti
,
Michael Weiss
Theoretical Computer Science
516
, 2014, pp. 40-59
Fixed-point forms of the parallel symmetric sandpile model
Enrico Formenti
,
Trung Van Pham
,
Thi Ha Duong Phan
,
Thi Thu Huong Tran
Theoretical Computer Science
533
, 2014, pp. 1-14
Surjective multidimensional cellular automata are non-wandering: A combinatorial proof
Luigi Acerbi
,
Alberto Dennunzio
,
Enrico Formenti
Information Processing Letters
113
(5-6), 2013, pp. 156-159
Local rule distributions, language complexity and non-uniform cellular automata
Alberto Dennunzio
,
Enrico Formenti
,
Julien Provillard
Theoretical Computer Science
504
, 2013, pp. 38-51
Non-uniform cellular automata: Classes, dynamics, and decidability
Alberto Dennunzio
,
Enrico Formenti
,
Julien Provillard
Information and Computation
215
, 2012, pp. 32-46
Ultimate traces of cellular automata
Julien Cervelle
,
Enrico Formenti
,
Pierr Guillon
Leibniz International Proceedings in Informatics (LIPIcs)
5
, 2010, pp. 155-166
A search algorithm for subshift attractors of cellular automata
Enrico Formenti
,
Petr Kůrka
,
Ondȓej Zahradník
Theory of Computing Systems
46
(3), 2010, pp. 479-498
Conservation of some dynamical properties for operations on cellular automata
Luigi Acerbi
,
Alberto Dennunzio
,
Enrico Formenti
Theoretical Computer Science
410
(38-40), 2009, pp. 3685-3693
From sandpiles to sand automata
Julien Cervelle
,
Enrico Formenti
,
Benoît Masson
Theoretical Computer Science
381
(1-3), 2007, pp. 1-28
A search algorithm for the maximal attractor of a cellular automaton
Enrico Formenti
,
Petr Kůrka
Lecture Notes in Computer Science
4393
, 2007, pp. 356-366
A new dimension sensitive property for cellular automata
Vincent Bernardi
,
Bruno Durand
,
Enrico Formenti
,
Jarkko Kari
Theoretical Computer Science
345
(2-3), 2005, pp. 235-247
A new dimension sensitive property for cellular automata
Vincent Bernardi
,
Bruno Durand
,
Enrico Formenti
,
Jarkko Kari
Lecture Notes in Computer Science
3153
, 2004, pp. 416-426
On sand automata
Julien Cervelle
,
Enrico Formenti
Lecture Notes in Computer Science
2607
, 2003, pp. 642-653
Number-conserving cellular automata I: Decidability
Bruno Durand
,
Enrico Formenti
,
Zsuzsanna Róka
Theoretical Computer Science
299
(1-3), 2003, pp. 523-535
Number conserving cellular automata II: Dynamics
Enrico Formenti
,
Aristide Grange
Theoretical Computer Science
304
(1-3), 2003, pp. 269-290
On the sensitivity of additive cellular automata in Besicovitch topologies
Enrico Formenti
Theoretical Computer Science
301
(1-3), 2003, pp. 341-354
Algorithmic information theory and cellular automata dynamics
Julien Cervelle
,
Bruno Durand
,
Enrico Formenti
Lecture Notes in Computer Science
2136
, 2001, pp. 248-259
Ergodicity, transitivity, and regularity for linear cellular automata over
Z_m
Gianpiero Cattaneo
,
Enrico Formenti
,
Giovanni Manzini
,
Luciano Margara
Theoretical Computer Science
233
(1-2), 2000, pp. 147-164
On ergodic linear cellular automata over
Z_m
Gianpiero Cattaneo
,
Enrico Formenti
,
Giovanni Manzini
,
Luciano Margara
Lecture Notes in Computer Science
1200
, 1997, pp. 427-438