publications and manuscripts

P.Kýrka: The Heyting doctrines, Comm. Math. Univ. Car. 13/4, 643-657 (1972).
P.Kýrka: Merging of states of a Markov chains with infinite probability 
  rates, Comm. Math. Univ. Car. 20/1, 173-182 (1979).
P.Kýrka: Applicability of a production in a categorical grammar,
  Theoretical Computer Science 10, 37-44 (1980).
P.HŠjek, P.Kýrka: A second-order dynamic logic with array assignments,
  Fundamenta Informaticae 4/4, 919-983 (1981).
P.Kýrka: Ergodic languages, Theoretical Computer Sciences 21, 351-355 (1982).
P.Kýrka, I.DvoÝŠk: Markov chains methods in enzyme kinetics,
  Mathematical Biosciences 60/1, 1-16 (1982).
P.Kýrka: Markov chains with infinite transition rates,
  Mathematical Biosciences 62/1, 137-147 (1982).
P.Kýrka: Evolution of replicators playing a strategic game,
  Biological Cybernetics 52, 211-217 (1985).
P.Kýrka: Game dynamics and evolutionary transitions,
  Biological Cybernetics 54, 85-90 (1986).
P.Kýrka: Darwinian evolution in games with perfect information,
  Biological Cybernetics 55, 281-288, (1987)
P.Kýrka, R.JelŪnek: An explanation of the stability of the incidence of 
  inborn defects, Reproductive Toxicology 3, 143-147 (1989)
P.Kýrka: Game theoretical models of mutation and selection,
  in: Organizational Constraints on the Dynamics of Evolution 213-222
  (J. Maynard Smith, G.Vida, eds.), Manchester University Press 1990
P.Kýrka, Z.Neubauer: Geometry and morphogenesis,
  Rivista di Biologia - Biology Forum 84/1, 91-100 (1991)
P.Kýrka: Natural selection in a population of automata,
  in: Toward a Practice of Autonomous Systems (F.J.Varela, P.Bourgine, eds.) 
  375-382, The MIT Press, Cambridge 1982.    
P.Kýrka: A Riemannian geometry for thermodynamic state space,
  Czech. J. Phys. 42/9, 849-859 (1992).
P.Kýrka: Self-organization in abstract enzymatic networks (1992)
P.Kýrka: Simulation in dynamical systems and Turing machines, (1993)
P.Kýrka: Regular unimodal systems and factors of finite automata, 
  Theoretical Computer Science 133, 49-64 (1994).
P.Kýrka: Language complexity of unimodal systems,
  Complex Systems 10, 283-300 (1996).
P.Kýrka: Languages, equicontinuity and attractors in cellular automata,
  Ergodic Theory and Dynamical Systems 17, 417-433 (1997).
P.Kýrka: On topological dynamics of Turing machines,
  Theoretical Computer Science 174, 203-216 (1997). 
F.Blanchard, P.Kýrka, A.Maass: Topological and measure-theoretic properties of 
  one-dimensional cellular automata, Physica D 103, 86-99, (1997)
F.Blanchard, P.Kýrka: Language complexity of rotations and Sturmian sequences, 
  Theoretical Computer Science 209, 179-193 (1998). 
P.Kýrka: Zero-dimensional dynamical systems, formal languages, and universality,
  Theory of Computing Systems 32, 423-433 (1999). 
F.Blanchard, E.Formenti, P.Kýrka: Cellular automata in the Cantor, Besicovitch 
  and Weyl spaces, Complex Systems 11/2. 107-123 (1999).
P.Kýrka, A.Maass: Realtime subshifts, 
  Theoretical Computer Science 237, 307-325 (2000).
P.Kýrka: Topological dynamics of cellular automata,
  Codes, Systems and Graphical Models (B.Markus and J.Rosenthal,eds.) IMA volumes 
  in Mathematics and its Applications, 447-486,Springer-Verlag 2001. 
P.Kýrka, A.Maass: Limit sets of cellular automata associated to probability 
  measures, Journal of Statistical Physics 100, 5/6, 1031-1047 (2000)
P.Kýrka, V.Pennť, S.Vaienti: Dynamically defined recurrence dimension, 
  Discrete and Continuous Dynamical Systems 8/1, 137-146 (2002). 
P.Kýrka, A.Maass: Stability of subshifts in cellular automata
  Fundamenta Informaticae 52(1-3), 143-155 (2002). 
P.Kýrka, M.Kupsa:  Recurrence and transition rates in minimal subshifts (2002) 
P.Kýrka: Local return rates in substitutive subshifts,
  Acta Universitatis  Carolinae - Mathematica et Physica 44/2, 29-42 (2003). 
P.Kýrka: Recurrence balance (2002).
P.Kýrka: Cellular automata with vanishing particles,
  Fundamenta Informaticae 58, 1-19 (2003).
P.Kýrka: On the measure attractor of a cellular automaton,
  Discrete and Continuous Dynamical Systems, Supplement volume 2005,
  524-535 (2005)
J.-Ch.Delvenne, P.Kýrka, V.D.Blondel: Computational universality
  in symbolic dynamical systems, MCU 2004 (M.Margenstern, ed.), 
  LNCS 3354, pp.104-115 (2005)
J.-Ch.Delvenne, P.Kýrka, V.D.Blondel: Decidability and universality
  in symbolic dynamical systems, Fundamenta Informaticae 74(4),
  463-490 (2006)
E.Formenti, P.Kýrka: Subshift attractors of cellular automata 
  Nonlinearity 20, 105-117(2007) 
E.Formenti, P.Kýrka: A search algorithm for the maximal attractor
  of a cellular automaton, STACS 2007, LNCS 4393, Springer-Verlag,
  356-366(2007)
P.Kýrka: Cellular automata with infinite number of subshift attractors 
  Complex Systems 17, 219-230(2007)
P.Kýrka: A symbolic representation of the real Moebius group
  Nonlinearity 21, 613-623(2008)
P.Kýrka: Moebius number systems with sofic subshifts
  Nonlinearity 22, 437-456(2009)
P.Kýrka: Topological dynamics of one-dimensional cellular automata
  Encyclopedia of Complexity and System Sciences (R,.A.Meyers, ed.) Part 20, 9246-9268
  ISBN 978-0-387-75888-6, Springer-Verlag 2009
P.Kýrka, E.Formenti: Cellular automata in non-compact spaces
  Encyclopedia of Complexity and System Sciences (R,.A.Meyers, ed.) Part 4, 2232-2242
  ISBN 978-0-387-75888-6, Springer-Verlag 2009
P.Kýrka: Iterative systems of real Moebius transformations
  Discrete and Continuous Dynamical Systems 25/2, 567-574 (2009)
P.Kýrka: Algebraic algorithms for Moebius number systems
P.Kýrka: Geometry of Moebius number systems
  MPIM 2009-59 Max Planck Institute for Mathematics, Bonn 2009
P.Kýrka, A.Kazda: Representing real numbers in Moebius systems
  Actes des Rencontres du CIRM, 1/1, 35-39(2009) 
P.Kýrka, E.Formenti, O.ZahradnŪk: A search algorithm for subshift  attractors 
  of cellular automata Theory of Computing systems. 46:479-498(2010) 
A.Dennunzio, E.Formenti, P.Kýrka: Cellular automata dynamical systems. 
  Handbook of Natural Computing (G.Rozenberg, T.Back, J.N.Kok, eds.) volume 1: 
  Cellular automata (J.Kari ed.) pp.25-75, ISBN 3540929096, Springer-Verlag 2010   
P.Kýrka, A.Kazda: Moebius number systems based on interval covers
  Nonlinearity 23, 1031-1046 (2010)
P.Kýrka, A.L.äizling, J.Rosindell: Analytical evidence for scale-invariance 
  in the shape of species abundance distributions. 
  Mathematical Biosciences 223, 151-159(2010)
P.Kýrka: Erratum to: Entropy of Turing machines with moving head
  Theoretical Computer Science 411:2999-3000(2010)
P.Kýrka: Expansion of rational numbers in Moebius number systems
  in: Dynamical Numbers: Interplay between Dynamical Systems and Number Theory.
  (S.Kolyada, Y.Manin and Martin Moller, eds.) American Mathematical Society,
  Contemporary Mathematics, volume 532, pp.67-82 (2010)
P.Kýrka:  Minimality in iterative systems of Moebius transformations
  Discrete and Continuous Dynamical Systems, Supplement 2011, pp.903-912
P.Kýrka, K.TrlifajovŠ: On dynamical continuum of Bolzano and Cauchy
P.Kýrka: Stern-Brocot graph in Moebius number systems  Nonlinearity 25, 57-72 (2012) 
P.Kýrka, E.Formenti, A.Dennunzio: Asymptotic distribution of entry times
  in a cellular automaton with annihilating particles,
  Discrete Mathematics and Theoretical Computer Science Proceedings 0, 47-52 (2012). 
P.Kýrka: Fast arithmetical algorithms in Moebius number systems, 
  IEEE Trasactions on Computers, volume 61, No 8, pp. 1097-1109 (2012)
M.Delacourt, P.Kýrka: Finite state transducers in modular Moebius number systems,  
  MFCS 2012 (B.Rovan, V.Sassone and P.Widmayer, eds.), LNCS 7464, pp. 323-334 (2012)
P.Kýrka, M.Delacourt: The unary arithmetical algorithm in bimodular number systems,  
  2013 IEEE 21st Symposium on Computer Arithmetic ARITH-21, 
  IEEE computer society, pp.127-134, 2013
P.Kýrka: Exact real arithmetic for interval number systems 
  Theoretical Computer Science vol. 542, pp. 32-43 (2014)
P.Kýrka, T.VŠvra:  Analytic functions computable by finite state transducers
  in: Implementation and Application of Automata (M.Holzer and M.Kutrib, eds.), 
  Springer LNCS vol. 8587, pp. 252-263 (2014)
P.Kýrka:  The exact real arithmetical algorithm in binary continued fractions
  in: 2015 IEEE 22nd Symposium on Computer Arithmetic (J.-M.Muller, A.Tisserand and J.Villaba, eds.), 
  IEEE Computer Society, pp. 168-175 (2015)
P.Kýrka:  Exact real algorithms for transcendent functions
  in: 2016 3rd International Conference on Information Science and Control Engeneering (ICISCE)
  (S.Z.Li, Y. Dai, Y.Cheng, eds.) (2016)
P.Kýrka: Dynamic of Number Systems. Computation with Arbitrary Precision.
  Studies in Systems, Decision and Control, volume 59, Springer 2016