Petr Kurka

According to our database, Petr Kurka authored at least 32 papers between 1980 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The Exact Real Arithmetical Algorithm in Binary Continued Fractions.

Petr Kurka

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

2014

Exact real arithmetic for interval number systems.

Petr Kurka

Theor. Comput. Sci., 2014

Analytic Functions Computable by Finite State Transducers.

Petr Kurka, Tomás Vávra

Proceedings of the Implementation and Application of Automata, 2014

2013

The Unary Arithmetical Algorithm in Bimodular Number Systems.

Petr Kurka, Martin Delacourt

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

2012

Cellular Automata Dynamical Systems.

Alberto Dennunzio, Enrico Formenti, Petr Kurka

Proceedings of the Handbook of Natural Computing, 2012

Fast Arithmetical Algorithms in Möbius Number Systems.

Petr Kurka

IEEE Trans. Computers, 2012

Finite State Transducers for Modular Möbius Number Systems.

Martin Delacourt, Petr Kurka

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011

Asymptotic distribution of entry times in a cellular automaton with annihilating particles.

Petr Kurka, Enrico Formenti, Alberto Dennunzio

Proceedings of the 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011

2010

Erratum to: Entropy of Turing machines with moving head.

Petr Kurka

Theor. Comput. Sci., 2010

A Search Algorithm for Subshift Attractors of Cellular Automata.

Enrico Formenti, Petr Kurka, Ondrej Zahradník

Theory Comput. Syst., 2010

2009

Topological Dynamics of Cellular Automata.

Petr Kurka

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

Dynamics of Cellular Automata in Non-compact Spaces.

Enrico Formenti, Petr Kurka

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

2007

Cellular Automata with an Infinite Number of Subshift Attractors.

Petr Kurka

Complex Syst., 2007

A Search Algorithm for the Maximal Attractor of a Cellular Automaton.

Enrico Formenti, Petr Kurka

Proceedings of the STACS 2007, 2007

2006

Decidability and Universality in Symbolic Dynamical Systems.

Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel

Fundam. Informaticae, 2006

2004

Computational Universality in Symbolic Dynamical Systems.

Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel

Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004

2003

Cellular automata with vanishing particles.

Petr Kurka

Fundam. Informaticae, 2003

2002

Stability of subshifts in cellular automata.

Petr Kurka, Alejandro Maass

Fundam. Informaticae, 2002

2000

Realtime subshifts.

Petr Kurka, Alejandro Maass

Theor. Comput. Sci., 2000

1999

Zero-Dimensional Dynamical Systems, Formal Languages, and Universality.

Petr Kurka

Theory Comput. Syst., 1999

1998

Language Complexity of Rotations and Sturmian Sequences.

François Blanchard, Petr Kurka

Theor. Comput. Sci., 1998

1997

On Topological Dynamics of Turing Machines.

Petr Kurka

Theor. Comput. Sci., 1997

Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces.

François Blanchard, Enrico Formenti, Petr Kurka

Complex Syst., 1997

1996

Language Complexity of Unimodal Systems.

Petr Kurka

Complex Syst., 1996

1994

Regular Unimodal Systems and Factors of Finite Automata.

Petr Kurka

Theor. Comput. Sci., 1994

A Comparison of Finite and Cellular Automata.

Petr Kurka

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

Simplicity Criteria for Dynamical Systems.

Petr Kurka

Proceedings of the Analysis of Dynamical and Cognitive Systems, 1993

1986

Equitran: A computer program for analysis of a nondeterministic discrete dynamic system.

Petr Kurka

Kybernetika, 1986

1982

Ergodic Languages.

Petr Kurka

Theor. Comput. Sci., 1982

1981

A second-order dynamic logic with array assignments.

Petr Hájek, Petr Kurka

Fundam. Informaticae, 1981

1980

Applicability of a Production in a Categorical Grammar.

Petr Kurka

Theor. Comput. Sci., 1980

On dynamic logic.

Petr Hájek, Pavel Kalásek, Petr Kurka

Kybernetika, 1980