Petr Kurka

Publication Activity (10 Years)

Years Active: 1977-2015
Publications (10 Years): 1

Top Topics

Computational Effort

Execution Times

Finite State Transducers

Top Venues

IEEE Trans. Computers

IEEE Symposium on Computer Arithmetic

Publications

Petr Kurka
The Exact Real Arithmetical Algorithm in Binary Continued Fractions. ARITH (2015)
Petr Kurka
Exact real arithmetic for interval number systems. Theor. Comput. Sci. 542 (2014)
Petr Kurka, Tomás Vávra
Analytic Functions Computable by Finite State Transducers. CIAA (2014)
Petr Kurka, Martin Delacourt
The Unary Arithmetical Algorithm in Bimodular Number Systems. IEEE Symposium on Computer Arithmetic (2013)
Petr Kurka
Fast Arithmetical Algorithms in Möbius Number Systems. IEEE Trans. Computers 61 (8) (2012)
Martin Delacourt, Petr Kurka
Finite State Transducers for Modular Möbius Number Systems. MFCS (2012)
Petr Kurka, Enrico Formenti, Alberto Dennunzio
Asymptotic distribution of entry times in a cellular automaton with annihilating particles. Automata (2011)
Petr Kurka
Erratum to: Entropy of Turing machines with moving head. Theor. Comput. Sci. 411 (31-33) (2010)
Enrico Formenti, Petr Kurka, Ondrej Zahradník
A Search Algorithm for Subshift Attractors of Cellular Automata. Theory Comput. Syst. 46 (3) (2010)
Enrico Formenti, Petr Kurka
A Search Algorithm for the Maximal Attractor of a Cellular Automaton. STACS (2007)
Petr Kurka
Cellular Automata with an Infinite Number of Subshift Attractors. Complex Syst. 17 (3) (2007)
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
Decidability and Universality in Symbolic Dynamical Systems. Fundam. Informaticae 74 (4) (2006)
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
Computational Universality in Symbolic Dynamical Systems. MCU (2004)
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
Computational Universality in Symbolic Dynamical Systems CoRR (2004)
Petr Kurka
Cellular automata with vanishing particles. Fundam. Informaticae 58 (2003) (2003)
Petr Kurka, Alejandro Maass
Stability of subshifts in cellular automata. Fundam. Informaticae 52 (1-3) (2002)
Petr Kurka, Alejandro Maass
Realtime subshifts. Theor. Comput. Sci. 237 (1-2) (2000)
Petr Kurka
Zero-Dimensional Dynamical Systems, Formal Languages, and Universality. Theory Comput. Syst. 32 (4) (1999)
François Blanchard, Petr Kurka
Language Complexity of Rotations and Sturmian Sequences. Theor. Comput. Sci. 209 (1-2) (1998)
Petr Kurka
On Topological Dynamics of Turing Machines. Theor. Comput. Sci. 174 (1-2) (1997)
François Blanchard, Enrico Formenti, Petr Kurka
Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces. Complex Syst. 11 (2) (1997)
Petr Kurka
Language Complexity of Unimodal Systems. Complex Syst. 10 (4) (1996)
Petr Kurka
A Comparison of Finite and Cellular Automata. MFCS (1994)
Petr Kurka
Regular Unimodal Systems and Factors of Finite Automata. Theor. Comput. Sci. 133 (1) (1994)
Petr Kurka
Simplicity Criteria for Dynamical Systems. Analysis of Dynamical and Cognitive Systems (1993)
Petr Kurka
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system. Kybernetika 22 (2) (1986)
Petr Kurka
Ergodic Languages. Theor. Comput. Sci. 21 (1982)
Petr Hájek, Petr Kurka
A second-order dynamic logic with array assignments. Fundam. Informaticae 4 (4) (1981)
Petr Kurka
Applicability of a Production in a Categorical Grammar. Theor. Comput. Sci. 10 (1980)
Petr Hájek, Pavel Kalásek, Petr Kurka
On dynamic logic. Kybernetika 16 (7) (1980)
Petr Kurka
Applicability of a Production in a Categorical Grammar. FCT (1977)