On real-time cellular automata and trellis automata
C Choffrut;K Culik.
Acta Informatica (1984)
195 Citations
On the limit sets of cellular automata
Karel Culik;Jan K. Pachl;Sheng Yu.
SIAM Journal on Computing (1989)
182 Citations
Undecidability of CA classification schemes
Karel Culik;Sheng Yu.
Complex Systems (1988)
180 Citations
Splicing semigroups of dominoes and DNA
Karel Culik;Tero Harju.
Discrete Applied Mathematics (1991)
174 Citations
A Simple Universal Cellular Automaton and its One-Way and Totalistic Version.
Jürgen Albert;Karel Culík.
Complex Systems (1987)
162 Citations
A note on some tree similarity measures
Karel Culik;Derick Wood.
Information Processing Letters (1982)
154 Citations
The decidability of the equivalence problem for DOL-systems*
Karel Culik;Ivan Fris.
Information & Computation (1977)
133 Citations
Finite Automata Computing Real Functions
Karel Culik;Juhani Karhumaki.
SIAM Journal on Computing (1994)
117 Citations
Systolic trellis automatat
Karel Culik;Jozef Gruska;Arto Salomaa.
International Journal of Computer Mathematics (1984)
115 Citations
The topological entropy of cellular automata is uncomputable
Lyman P. Hurd;Jarkko Kari;Karel Culik.
Ergodic Theory and Dynamical Systems (1992)
107 Citations