2007 |
16 | EE | Enrico Formenti,
Petr Kurka:
A Search Algorithm for the Maximal Attractor of a Cellular Automaton.
STACS 2007: 356-366 |
2006 |
15 | EE | Jean-Charles Delvenne,
Petr Kurka,
Vincent D. Blondel:
Decidability and Universality in Symbolic Dynamical Systems.
Fundam. Inform. 74(4): 463-490 (2006) |
2004 |
14 | EE | Jean-Charles Delvenne,
Petr Kurka,
Vincent D. Blondel:
Computational Universality in Symbolic Dynamical Systems.
MCU 2004: 104-115 |
13 | EE | Jean-Charles Delvenne,
Petr Kurka,
Vincent D. Blondel:
Computational Universality in Symbolic Dynamical Systems
CoRR cs.CC/0404021: (2004) |
2003 |
12 | EE | Petr Kurka:
Cellular automata with vanishing particles.
Fundam. Inform. 58(2003): 203-221 (2003) |
2002 |
11 | EE | Petr Kurka,
Alejandro Maass:
Stability of subshifts in cellular automata.
Fundam. Inform. 52(1-3): 143-155 (2002) |
2000 |
10 | EE | Petr Kurka,
Alejandro Maass:
Realtime subshifts.
Theor. Comput. Sci. 237(1-2): 307-325 (2000) |
1999 |
9 | EE | Petr Kurka:
Zero-Dimensional Dynamical Systems, Formal Languages, and Universality.
Theory Comput. Syst. 32(4): 423-433 (1999) |
1998 |
8 | EE | François Blanchard,
Petr Kurka:
Language Complexity of Rotations and Sturmian Sequences.
Theor. Comput. Sci. 209(1-2): 179-193 (1998) |
1997 |
7 | EE | Petr Kurka:
On Topological Dynamics of Turing Machines.
Theor. Comput. Sci. 174(1-2): 203-216 (1997) |
1994 |
6 | | Petr Kurka:
A Comparison of Finite and Cellular Automata.
MFCS 1994: 484-493 |
5 | | Petr Kurka:
Regular Unimodal Systems and Factors of Finite Automata.
Theor. Comput. Sci. 133(1): 49-64 (1994) |
1993 |
4 | | Petr Kurka:
Simplicity Criteria for Dynamical Systems.
Analysis of Dynamical and Cognitive Systems 1993: 189-225 |
1982 |
3 | | Petr Kurka:
Ergodic Languages.
Theor. Comput. Sci. 21: 351-355 (1982) |
1980 |
2 | | Petr Kurka:
Applicability of a Production in a Categorical Grammar.
Theor. Comput. Sci. 10: 37-44 (1980) |
1977 |
1 | | Petr Kurka:
Applicability of a Production in a Categorical Grammar.
FCT 1977: 287-293 |