Petr Kurka

35 papers A 1B 3C 4Journal 22Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Sub-THz Non-Contact Probing System for On-Chip Microfluidic Applications.
IEEE Access
Daniel Havelka, Petr Kurka, Karel Chadt, Jaroslav Havlícek, Kubilay Sertel, Michal Cifra
2015 C conf
The Exact Real Arithmetical Algorithm in Binary Continued Fractions.
ARITH
Petr Kurka
2014 C conf
Analytic Functions Computable by Finite State Transducers.
CIAA
Petr Kurka, Tomás Vávra
2014 J jnl
Exact real arithmetic for interval number systems.
Theor. Comput. Sci.
Petr Kurka
2013 C conf
The Unary Arithmetical Algorithm in Bimodular Number Systems.
IEEE Symposium on Computer Arithmetic
Petr Kurka, Martin Delacourt
2012 — ch.
Cellular Automata Dynamical Systems.
Handbook of Natural Computing
Alberto Dennunzio, Enrico Formenti, Petr Kurka
2012 J jnl
Fast Arithmetical Algorithms in Möbius Number Systems.
IEEE Trans. Computers
Petr Kurka
2012 B conf
Finite State Transducers for Modular Möbius Number Systems.
MFCS
Martin Delacourt, Petr Kurka
2011 — conf
Asymptotic distribution of entry times in a cellular automaton with annihilating particles.
Automata
Petr Kurka, Enrico Formenti, Alberto Dennunzio
2010 J jnl
A Search Algorithm for Subshift Attractors of Cellular Automata.
Theory Comput. Syst.
Enrico Formenti, Petr Kurka, Ondrej Zahradník
2010 J jnl
Erratum to: Entropy of Turing machines with moving head.
Theor. Comput. Sci.
Petr Kurka
2009 — ch.
Dynamics of Cellular Automata in Non-compact Spaces.
Encyclopedia of Complexity and Systems Science
Enrico Formenti, Petr Kurka
2009 — ch.
Topological Dynamics of Cellular Automata.
Encyclopedia of Complexity and Systems Science
Petr Kurka
2007 A conf
A Search Algorithm for the Maximal Attractor of a Cellular Automaton.
STACS
Enrico Formenti, Petr Kurka
2007 J jnl
Cellular Automata with an Infinite Number of Subshift Attractors.
Complex Syst.
Petr Kurka
2006 J jnl
Decidability and Universality in Symbolic Dynamical Systems.
Fundam. Informaticae
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
2004 J jnl
Computational Universality in Symbolic Dynamical Systems
CoRR
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
2004 C conf
Computational Universality in Symbolic Dynamical Systems.
MCU
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel
2003 J jnl
Cellular automata with vanishing particles.
Fundam. Informaticae
Petr Kurka
2002 J jnl
Stability of subshifts in cellular automata.
Fundam. Informaticae
Petr Kurka, Alejandro Maass
2000 J jnl
Realtime subshifts.
Theor. Comput. Sci.
Petr Kurka, Alejandro Maass
1999 J jnl
Zero-Dimensional Dynamical Systems, Formal Languages, and Universality.
Theory Comput. Syst.
Petr Kurka
1998 J jnl
Language Complexity of Rotations and Sturmian Sequences.
Theor. Comput. Sci.
François Blanchard, Petr Kurka
1997 J jnl
Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces.
Complex Syst.
François Blanchard, Enrico Formenti, Petr Kurka
1997 J jnl
On Topological Dynamics of Turing Machines.
Theor. Comput. Sci.
Petr Kurka
1996 J jnl
Language Complexity of Unimodal Systems.
Complex Syst.
Petr Kurka
1994 B conf
A Comparison of Finite and Cellular Automata.
MFCS
Petr Kurka
1994 J jnl
Regular Unimodal Systems and Factors of Finite Automata.
Theor. Comput. Sci.
Petr Kurka
1993 — conf
Simplicity Criteria for Dynamical Systems.
Analysis of Dynamical and Cognitive Systems
Petr Kurka
1986 J jnl
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system.
Kybernetika
Petr Kurka
1982 J jnl
Ergodic Languages.
Theor. Comput. Sci.
Petr Kurka
1981 J jnl
A second-order dynamic logic with array assignments.
Fundam. Informaticae
Petr Hájek, Petr Kurka
1980 J jnl
Applicability of a Production in a Categorical Grammar.
Theor. Comput. Sci.
Petr Kurka
1980 J jnl
On dynamic logic.
Kybernetika
Petr Hájek, Pavel Kalásek, Petr Kurka
1977 B conf
Applicability of a Production in a Categorical Grammar.
FCT
Petr Kurka