J. Cervelle, E. Formenti, and P. Guillon, Sofic Trace Subshift of a Cellular Automaton, Computation and Logic in the Real World, 3 rd Conference on Computability in Europe (CiE07), pp.152-161, 2007.
DOI : 10.1007/978-3-540-73001-9_16

URL : https://hal.archives-ouvertes.fr/hal-00310526

J. Cervelle, E. Formenti, and P. Guillon, Ultimate trace of cellular automata, 2010.

J. Cervelle and P. Guillon, Towards a Rice Theorem on Traces of Cellular Automata, 32 nd International Symposium on the Mathematical Foundations of Computer Science, pp.310-319, 2007.
DOI : 10.1007/978-3-540-74456-6_29

URL : https://hal.archives-ouvertes.fr/hal-00620284

P. Guillon and G. Richard, Nilpotency and Limit Sets of Cellular Automata, 33 rd International Symposium on the Mathematical Foundations of Computer Science (MFCS'08), pp.375-386, 2008.
DOI : 10.1007/978-3-540-85238-4_30

URL : https://hal.archives-ouvertes.fr/hal-00620283

P. Guillon, Automates cellulaires : dynamiques, simulations, traces, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00432058

J. Kari, The Nilpotency Problem of One-Dimensional Cellular Automata, SIAM Journal on Computing, vol.21, issue.3, pp.571-586, 1992.
DOI : 10.1137/0221036

P. K?rka, Languages, equicontinuity and attractors in cellular automata, Ergodic Theory and Dynamical Systems, vol.17, issue.2, pp.417-433, 1997.
DOI : 10.1017/S014338579706985X