On real-time cellular automata and trellis automata
Acta Informatica
Reliable computation with cellular automata
Journal of Computer and System Sciences
Cellular automata machines: a new environment for modeling
Cellular automata machines: a new environment for modeling
A six-state minimal time solution to the firing squad synchronization problem
Theoretical Computer Science
Undecidability of CA classification schemes
Complex Systems
Relating the power of cellular arrays to their closure properties
Theoretical Computer Science
On the limit sets of cellular automata
SIAM Journal on Computing
Ininvertible cellular automata: a review
Physica D
The nilpotency problem of one-dimensional cellular automata
SIAM Journal on Computing
Decidability for some problems of linear cellular automata over finite commutative rings
Information Processing Letters
Rice's theorem for the limit sets of cellular automata
Theoretical Computer Science
Reversibility and surjectivity problems of cellular automata
Journal of Computer and System Sciences
On real time one-way cellular array
Theoretical Computer Science
Models of massive parallelism: analysis of cellular automata and neural networks
Models of massive parallelism: analysis of cellular automata and neural networks
An aperiodic set of 13 Wang tiles
Discrete Mathematics
A small aperiodic set of Wang tiles
Discrete Mathematics
Invertible linear cellular automata over Zm: algorithmic and dynamical aspects
Journal of Computer and System Sciences
Lyapunov exponents versus expansivity and sensitivity in cellular automata
Journal of Complexity
Theoretical Computer Science
On the circuit depth of structurally reversible cellular automata
Fundamenta Informaticae - Special issue dedicated to A. Salomaa
Ergodicity, transitivity, and regularity for linear cellular automata over Zm1
Theoretical Computer Science
A new kind of science
Number-conserving cellular automaton rules
Fundamenta Informaticae - Special issue on cellular automata
The Quest for Small Universal Cellular Automata
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
On one-dimensional quantum cellular automata
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Cellular Automata
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Reversible computing and cellular automata—A survey
Theoretical Computer Science
Linear cellular automata as discrete models for generating cryptographic sequences
AISC '08 Proceedings of the sixth Australasian conference on Information security - Volume 81
When–and how–can a cellular automaton be rewritten as a lattice gas?
Theoretical Computer Science
Fast reversible language recognition using cellular automata
Information and Computation
Periodicity and Immortality in Reversible Computing
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Global Dynamics of Finite Cellular Automata
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
Cellular Automata-Based Structures to Compute the Solutions of Linear Difference Equations
ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry
On the Use of Linear Cellular Automata for the Synthesis of Cryptographic Sequences
HAIS '08 Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems
On the topological directional entropy
Journal of Computational and Applied Mathematics
The 4-way deterministic tiling problem is undecidable
Theoretical Computer Science
Self-similar carpets over finite fields
European Journal of Combinatorics
Temporal Reasoning in Urban Growth Simulation
RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Lattice methods for fluid animation in games
Computers in Entertainment (CIE) - SPECIAL ISSUE: Games
Real-time reversible iterative arrays
Theoretical Computer Science
Computing with Probabilistic Cellular Automata
ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
Electronic Notes in Theoretical Computer Science (ENTCS)
Application of linear hybrid cellular automata to stream ciphers
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Linearization of stream ciphers by means of concatenated automata
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
The most general conservation law for a cellular automaton
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Lifting-based design of reversible cellular automata for scalable coding of binary images
ICIP'09 Proceedings of the 16th IEEE international conference on Image processing
Theoretical Computer Science
Theoretical Computer Science
Abstract geometrical computation 4: Small Turing universal signal machines
Theoretical Computer Science
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
Theoretical Computer Science
Snakes and cellular automata: reductions and inseparability results
CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
UC'11 Proceedings of the 10th international conference on Unconventional computation
Geometric computations by broadcasting automata on the integer grid
UC'11 Proceedings of the 10th international conference on Unconventional computation
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Linear algebra based bounds for one-dimensional cellular automata
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
An adaptive load balancing algorithm with use of cellular automata for computational grid systems
Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
Polyominoes simulating arbitrary-neighborhood zippers and tilings
Theoretical Computer Science
Computational biology: a programming perspective
Formal modeling
An agent-based approach to immune modelling
ICCSA'06 Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I
Universal pattern generation by cellular automata
Theoretical Computer Science
Modeling prey-predator dynamics via particle swarm optimization and cellular automata
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
Dynamic neighbourhood cellular automata
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Groups, graphs, languages, automata, games and second-order monadic logic
European Journal of Combinatorics
Cellular automata, the collatz conjecture and powers of 3/2
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Parallel skeletonizing of digital images by using cellular automata
CTIC'12 Proceedings of the 4th international conference on Computational Topology in Image Context
From One-dimensional to Two-dimensional Cellular Automata
Fundamenta Informaticae - From Physics to Computer Science: to Gianpiero Cattaneo for his 70th birthday
Modified Traffic Cellular Automaton for the Density Classification Task
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Real-time reversible iterative arrays
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Fp -affine recurrent n-dimensional sequences over F q are p-automatic
European Journal of Combinatorics
Natural Computing: an international journal
Geometric computations by broadcasting automata
Natural Computing: an international journal
Biological plausibility in optimisation: an ecosystemic view
International Journal of Bio-Inspired Computation
Artificial Intelligence in Medicine
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Computational Intelligence - Volume Part II
A scale-rate filter selection method in the spectro-temporal domain for phoneme classification
Computers and Electrical Engineering
RC'13 Proceedings of the 5th international conference on Reversible Computation
Explicit routing schemes for implementation of cellular automata on processor arrays
Natural Computing: an international journal
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues
Theoretical Computer Science
Hi-index | 5.24 |
This article surveys some theoretical aspects of cellular automata CA research. In particular, we discuss classical and new results on reversibility, conservation laws, limit sets, decidability questions, universality and topological dynamics of CA. The selection of topics is by no means comprehensive and reflects the research interests of the author. The main goal is to provide a tutorial of CA theory to researchers in other branches of natural computing, to give a compact collection of known results with references to their proofs, and to suggest some open problems.