On dynamic logic. - Petr Hájek 001; Pavel Kalásek; Petr Kurka (Kybernetika, 1980)

Applicability of a Production in a Categorical Grammar. - Petr Kurka (Theor. Comput. Sci., 1980)

A second-order dynamic logic with array assignments. - Petr Hájek 001; Petr Kurka (Fundam. Informaticae, 1981)

Ergodic Languages. - Petr Kurka (Theor. Comput. Sci., 1982)

Equitran: A computer program for analysis of a nondeterministic discrete dynamic system. - Petr Kurka (Kybernetika, 1986)

Simplicity Criteria for Dynamical Systems. - Petr Kurka (Analysis of Dynamical and Cognitive Systems, 1993)

A Comparison of Finite and Cellular Automata. - Petr Kurka (MFCS, 1994)

Regular Unimodal Systems and Factors of Finite Automata. - Petr Kurka (Theor. Comput. Sci., 1994)

Language Complexity of Unimodal Systems. - Petr Kurka (Complex Syst., 1996)

Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces. - François Blanchard; Enrico Formenti; Petr Kurka (Complex Syst., 1997)

On Topological Dynamics of Turing Machines. - Petr Kurka (Theor. Comput. Sci., 1997)

Language Complexity of Rotations and Sturmian Sequences. - François Blanchard; Petr Kurka (Theor. Comput. Sci., 1998)

Zero-Dimensional Dynamical Systems, Formal Languages, and Universality. - Petr Kurka (Theory Comput. Syst., 1999)

Realtime subshifts. - Petr Kurka; Alejandro Maass (Theor. Comput. Sci., 2000)

Stability of subshifts in cellular automata. - Petr Kurka; Alejandro Maass (Fundam. Informaticae, 2002)

Cellular automata with vanishing particles. - Petr Kurka (Fundam. Informaticae, 2003)

Computational Universality in Symbolic Dynamical Systems. - Jean-Charles Delvenne; Petr Kurka; Vincent D. Blondel (MCU, 2004)

Decidability and Universality in Symbolic Dynamical Systems. - Jean-Charles Delvenne; Petr Kurka; Vincent D. Blondel (Fundam. Informaticae, 2006)

A Search Algorithm for the Maximal Attractor of a Cellular Automaton. - Enrico Formenti; Petr Kurka (STACS, 2007)

Cellular Automata with an Infinite Number of Subshift Attractors. - Petr Kurka (Complex Syst., 2007)

Dynamics of Cellular Automata in Non-compact Spaces. - Enrico Formenti; Petr Kurka (Encyclopedia of Complexity and Systems Science, 2009)

Topological Dynamics of Cellular Automata. - Petr Kurka (Encyclopedia of Complexity and Systems Science, 2009)

A Search Algorithm for Subshift Attractors of Cellular Automata. - Enrico Formenti; Petr Kurka; Ondrej Zahradník (Theory Comput. Syst., 2010)

Erratum to: Entropy of Turing machines with moving head. - Petr Kurka (Theor. Comput. Sci., 2010)

Asymptotic distribution of entry times in a cellular automaton with annihilating particles. - Petr Kurka; Enrico Formenti; Alberto Dennunzio (Automata, 2011)

Finite State Transducers for Modular Möbius Number Systems. - Martin Delacourt; Petr Kurka (MFCS, 2012)

Fast Arithmetical Algorithms in Möbius Number Systems. - Petr Kurka (IEEE Trans. Computers, 2012)

Cellular Automata Dynamical Systems. - Alberto Dennunzio; Enrico Formenti; Petr Kurka (Handbook of Natural Computing, 2012)

The Unary Arithmetical Algorithm in Bimodular Number Systems. - Petr Kurka; Martin Delacourt (IEEE Symposium on Computer Arithmetic, 2013)

Analytic Functions Computable by Finite State Transducers. - Petr Kurka; Tomás Vávra (CIAA, 2014)

Exact real arithmetic for interval number systems. - Petr Kurka (Theor. Comput. Sci., 2014)

The Exact Real Arithmetical Algorithm in Binary Continued Fractions. - Petr Kurka (ARITH, 2015)