Personal information

Activities

Employment (1)

Charles University, Center for theoretical study: Prague, CZ

researcher
Employment
Source: Self-asserted source
Petr Kůrka

Works (49)

Dynamics of Number Systems

2016 | Book
Source: Self-asserted source
Petr Kůrka

Exact real algorithms for transcendent functions

2016 3rd International Conference on Information Science and Control Engineering (Icisce)
2016 | Journal article
WOSUID:

WOS:000390690700079

Contributors: Kurka, Petr; Li, SZ; Dai, Y; Cheng, Y
Source: Self-asserted source
Petr Kůrka via ResearcherID

The Exact Real Arithmetical Algorithm in Binary Continued Fractions

IEEE 22nd Symposium on Computer Arithmetic ARITH 22
2015 | Book chapter
WOSUID:

WOS:000380575000025

Contributors: Kurka, Petr; Muller, JM; Tisserand, A; Villalba, J
Source: Self-asserted source
Petr Kůrka via ResearcherID

Analytic Functions Computable by Finite State Transducers

Implementation and Application of Automata, Ciaa 2014
2014 | Book chapter
WOSUID:

WOS:000345122500019

Contributors: Kurka, Petr; Vavra, Tomas; Holzer, M; Kutrib, M
Source: Self-asserted source
Petr Kůrka via ResearcherID

Exact real arithmetic for interval number systems

Theoretical Computer Science
2014 | Journal article
WOSUID:

WOS:000339039900003

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

The unary arithmetical algorithm in bimodular number systems

2013 21st Ieee Symposium on Computer Arithmetic (Arith)
2013 | Journal article
WOSUID:

WOS:000326337100016

Contributors: Kurka, Petr; Delacourt, Martin; Nannarelli, A; Seidel, PM; Tang, PTP
Source: Self-asserted source
Petr Kůrka via ResearcherID

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

Discrete Mathematics and Theoretical Computer Science
2012 | Journal article
WOSUID:

WOS:000313505200004

Contributors: Kurka, Petr; Formenti, Enrico; Dennunzio, Alberto
Source: Self-asserted source
Petr Kůrka via ResearcherID

Fast Arithmetical Algorithms in Mobius Number Systems

Ieee Transactions on Computers
2012 | Journal article
WOSUID:

WOS:000305706700005

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

Finite State Transducers for Modular Mobius Number Systems

Mathematical Foundations of Computer Science 2012
2012 | Book chapter
WOSUID:

WOS:000371253900030

Contributors: Delacourt, Martin; Kurka, Petr; Rovan, B; Sassone, V; Widmayer, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

The Stern-Brocot graph in Mobius number systems

Nonlinearity
2012 | Journal article
WOSUID:

WOS:000301544400004

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

MINIMALITY IN ITERATIVE SYSTEMS OF MOBIUS TRANSFORMATIONS

Discrete and Continuous Dynamical Systems
2011 | Journal article
WOSUID:

WOS:000209629900093

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

A Search Algorithm for Subshift Attractors of Cellular Automata

Theory of Computing Systems
2010 | Journal article
WOSUID:

WOS:000274222500005

Contributors: Formenti, Enrico; Kurka, Petr; Zahradnik, Ondrej
Source: Self-asserted source
Petr Kůrka via ResearcherID

Analytical evidence for scale-invariance in the shape of species abundance distributions

Mathematical Biosciences
2010 | Journal article
WOSUID:

WOS:000274820900008

Contributors: Kurka, Petr; Sizling, Arnost L.; Rosindell, James
Source: Self-asserted source
Petr Kůrka via ResearcherID

Expansion of rational numbers in Mobius number systems

Dynamical Numbers: Interplay Between Dynamical Systems and Number Theory
2010 | Journal article
WOSUID:

WOS:000289665300003

Contributors: Kurka, Petr; Kolyada, S; Manin, Y; Moller, M; Moree, P; Ward, T
Source: Self-asserted source
Petr Kůrka via ResearcherID

Mobius number systems based on interval covers

Nonlinearity
2010 | Journal article
WOSUID:

WOS:000276728100001

Contributors: Kurka, Petr; Kazda, Alexandr
Source: Self-asserted source
Petr Kůrka via ResearcherID

ITERATIVE SYSTEMS OF REAL MOBIUS TRANSFORMATIONS

Discrete and Continuous Dynamical Systems
2009 | Journal article
WOSUID:

WOS:000267797500010

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

Mobius number systems with sofic subshifts

Nonlinearity
2009 | Journal article
WOSUID:

WOS:000262584500011

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

A symbolic representation of the real Mobius group

Nonlinearity
2008 | Journal article
WOSUID:

WOS:000254305500014

Contributors: Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

A search algorithm for the maximal attractor of a cellular automation

Stacs 2007, Proceedings
2007 | Book chapter
WOSUID:

WOS:000245503800031

Contributors: Formenti, Enrico; Kurka, Petr; Thomas, W; Weil, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

Subshift attractors of cellular automata

Nonlinearity
2007 | Journal article
WOSUID:

WOS:000243750500007

Contributors: Formenti, Enrico; Kurka, Petr
Source: Self-asserted source
Petr Kůrka via ResearcherID

Decidability and universality in symbolic dynamical systems

Fundamenta Informaticae
2006 | Journal article
WOSUID:

WOS:000243831500006

Contributors: Delvenne, Jean-Charles; Kurka, Petr; Blondel, Vincent
Source: Self-asserted source
Petr Kůrka via ResearcherID

Computational universality in symbolic dynamical systems

Machines, Computations, and Universality
2005 | Book chapter
WOSUID:

WOS:000228724400008

Contributors: Delvenne, JC; Kurka, P; Blondel, VD; Margenstern, M
Source: Self-asserted source
Petr Kůrka via ResearcherID

Cellular automata with vanishing particles

Fundamenta Informaticae
2003 | Journal article
WOSUID:

WOS:000221318000002

Contributors: Kurka, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

Topological and symbolic dynamics

2003 | Book
Source: Self-asserted source
Petr Kůrka

Dynamically defined recurrence dimension

Discrete and Continuous Dynamical Systems
2002 | Journal article
WOSUID:

WOS:000173251000009

Contributors: Kurka, P; Penne, V; Vaienti, S
Source: Self-asserted source
Petr Kůrka via ResearcherID

Stability of subshifts in cellular automata

Fundamenta Informaticae
2002 | Journal article
WOSUID:

WOS:000180201200007

Contributors: Kurka, P; Maass, A
Source: Self-asserted source
Petr Kůrka via ResearcherID

Topological dynamics of cellular automata

Codes, Systems, and Graphical Models
2001 | Journal article
WOSUID:

WOS:000169154700025

Contributors: Kurka, P; Marcus, B; Rosenthal, J
Source: Self-asserted source
Petr Kůrka via ResearcherID

Limit sets of cellular automata associated to probability measures

Journal of Statistical Physics
2000 | Journal article
WOSUID:

WOS:000165590300012

Contributors: Kurka, P; Maass, A
Source: Self-asserted source
Petr Kůrka via ResearcherID

Realtime subshifts

Theoretical Computer Science
2000 | Journal article
WOSUID:

WOS:000086979300016

Contributors: Kurka, P; Maass, A
Source: Self-asserted source
Petr Kůrka via ResearcherID

Recurrence dimension in Toeplitz subshifts

Dynamical Systems: From Crystal To Chaos
2000 | Journal article
WOSUID:

WOS:000165483900016

Contributors: Kurka, P; Maass, A; Gambaudo, JM; Hubert, P; Tisseur, P; Vaienti, S
Source: Self-asserted source
Petr Kůrka via ResearcherID

Zero-dimensional dynamical systems, formal languages, and universality

Theory of Computing Systems
1999 | Journal article
WOSUID:

WOS:000079911700001

Contributors: Kurka, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

Language complexity of rotations and Sturmian sequences

Theoretical Computer Science
1998 | Journal article
WOSUID:

WOS:000076464000008

Contributors: Blanchard, F; Kurka, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

Languages, equicontinuity and attractors in cellular automata

Ergodic Theory and Dynamical Systems
1997 | Journal article
WOSUID:

WOS:A1997WZ14900010

Contributors: Kurka, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

On topological dynamics of Turing machines

Theoretical Computer Science
1997 | Journal article
WOSUID:

WOS:A1997WN08300010

Contributors: Kurka, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

Topological and measure-theoretic properties of one-dimensional cellular automata

Physica D
1997 | Journal article
WOSUID:

WOS:A1997XE55700007

Contributors: Blanchard, F; Kurka, P; Maass, A
Source: Self-asserted source
Petr Kůrka via ResearcherID

REGULAR UNIMODAL SYSTEMS AND FACTORS OF FINITE AUTOMATA

Theoretical Computer Science
1994 | Journal article
WOSUID:

WOS:A1994PG19800006

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

A RIEMANNIAN GEOMETRY FOR THERMODYNAMIC STATE-SPACE

Czechoslovak Journal of Physics
1992 | Journal article
WOSUID:

WOS:A1992JV44300002

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

NATURAL-SELECTION IN A POPULATION OF AUTOMATA

Toward a Practice of Autonomous Systems
1992 | Book chapter
WOSUID:

WOS:A1992BW87V00043

Contributors: KURKA, P; VARELA, FJ; BOURGINE, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

GEOMETRY AND MORPHOGENESIS

Rivista Di Biologia-Biology Forum
1991 | Journal article
WOSUID:

WOS:A1991FL08600003

Contributors: NEUBAUER, Z; KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

AN EXPLANATION OF THE STABILITY OF THE INCIDENCE OF INBORN DEFECTS

Reproductive Toxicology
1989 | Journal article
WOSUID:

WOS:A1989AG85300009

Contributors: KURKA, P; JELINEK, R
Source: Self-asserted source
Petr Kůrka via ResearcherID

DARWINIAN EVOLUTION IN GAMES WITH PERFECT INFORMATION

Biological Cybernetics
1987 | Journal article
WOSUID:

WOS:A1987F635200001

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

EQUITRAN - A COMPUTER-PROGRAM FOR ANALYSIS OF A NONDETERMINISTIC DISCRETE DYNAMIC SYSTEM

Kybernetika
1986 | Journal article
WOSUID:

WOS:A1986C905900007

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

GAME DYNAMICS AND EVOLUTIONARY TRANSITIONS

Biological Cybernetics
1986 | Journal article
WOSUID:

WOS:A1986C503700002

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

EVOLUTION OF REPLICATORS PLAYING A STRATEGIC GAME

Biological Cybernetics
1985 | Journal article
WOSUID:

WOS:A1985ANV5100001

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

VALUE OF THE ASSESSMENT IN THE SEM OF SURFACE-STRUCTURES AND 3-D SHAPE OF THE CELL FOR PREDICTING MALIGNANCY

Scanning
1985 | Journal article
WOSUID:

WOS:A1985ANK6700005

Contributors: VESELY, P; URBANCOVA, H; CHALOUPKOVA, A; URBANEC, P; BOHAC, L; KURKA, P; ROVENSKY, JA; MACONNACHIE, E
Source: Self-asserted source
Petr Kůrka via ResearcherID

ERGODIC LANGUAGES

Theoretical Computer Science
1982 | Journal article
WOSUID:

WOS:A1982PS09900007

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

MARKOV-CHAIN METHODS IN ENZYME-KINETICS

Mathematical Biosciences
1982 | Journal article
WOSUID:

WOS:A1982PG56500001

Contributors: KURKA, P; DVORAK, I
Source: Self-asserted source
Petr Kůrka via ResearcherID

MARKOV-CHAINS WITH INFINITE TRANSITION RATES

Mathematical Biosciences
1982 | Journal article
WOSUID:

WOS:A1982PP16100008

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID

APPLICABILITY OF A PRODUCTION IN A CATEGORICAL GRAMMAR

Theoretical Computer Science
1980 | Journal article
WOSUID:

WOS:A1980JY87900003

Contributors: KURKA, P
Source: Self-asserted source
Petr Kůrka via ResearcherID