Demo Data from EDBT 2026 / reviewers in the wild / expert
Petr Kurka
dblp:72/4846
· DBLP profile ↗
23ranked-venue papers
16as first author
0since 2021 · last 2015
0000-0002-1417-041XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 22 · 15 first-authorSystems, architecture and hardware · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Algorithms and data structures · 50% Computational complexity · 50% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures › symbolic computation
exact real arithmetic |
0.1 | 1 | 2012 | Fast Arithmetical Algorithms in Möbius Number Systems · IEEE Trans. Computers 2012 |
Methods — techniques the papers use, named apart from their topics
ergodic theory · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | The Exact Real Arithmetical Algorithm in Binary Continued FractionsabstractThe exact real binary arithmetical algorithm is an on-line algorithm which computes the sum, product or ratio of two real numbers to arbitrary precision. The algorithm works in general Moebius number systems which represent real numbers by infinite products of Moebius transformations. We consider a number system of binary continued fractions in which this algorithm is computed faster than in the binary signed system. Moreover, the number system of binary continued fractions circumvents the problem of nonredundancy and slow convergence of continued fractions. Petr Kurka |
ARITH | 1 |
| 2014 | Analytic Functions Computable by Finite State Transducers
Petr Kurka, Tomás Vávra |
CIAA | 1 |
| 2014 | Exact real arithmetic for interval number systems
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 2013 | The Unary Arithmetical Algorithm in Bimodular Number SystemsabstractWe analyze the performance of the unary arithmetical algorithm which computes a Moebius transformation in bimodular number systems which extend the binary signed system. We give statistical evidence that in some of these systems, the algorithm has linear average time complexity. Petr Kurka, Martin Delacourt |
IEEE Symposium on Computer Arithmetic | 1 |
| 2012 | Finite State Transducers for Modular Möbius Number Systems
Martin Delacourt, Petr Kurka |
MFCS | 2 |
| 2012 | Fast Arithmetical Algorithms in Möbius Number SystemsabstractWe analyze the time complexity of exact real arithmetical algorithms in Möbius number systems. Using the methods of Ergodic theory, we associate to any Möbius number system its transaction quotient {\bf T}\ge 1 and show that the norm of the state matrix after n transactions is of the order {\bf T}^n. We argue that the Bimodular Möbius number system introduced in Kůrka has transaction quotient less than 1.2, so that it computes the arithmetical operations faster than any standard positional system. Petr Kurka |
IEEE Trans. Computers | 1 |
| 2010 | A Search Algorithm for Subshift Attractors of Cellular Automata
Enrico Formenti, Petr Kurka, Ondrej Zahradník |
Theory Comput. Syst. | 2 |
| 2010 | Erratum to: Entropy of Turing machines with moving head
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 2007 | A Search Algorithm for the Maximal Attractor of a Cellular Automaton
Enrico Formenti, Petr Kurka |
STACS | 2 |
| 2006 | Decidability and Universality in Symbolic Dynamical Systems
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel |
Fundam. Informaticae | 2 |
| 2004 | Computational Universality in Symbolic Dynamical Systems
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel |
MCU | 2 |
| 2003 | Cellular automata with vanishing particles
Petr Kurka |
Fundam. Informaticae | 1 |
| 2002 | Stability of subshifts in cellular automata
Petr Kurka, Alejandro Maass |
Fundam. Informaticae | 1 |
| 2000 | Realtime subshifts
Petr Kurka, Alejandro Maass |
Theor. Comput. Sci. | 1 |
| 1999 | Zero-Dimensional Dynamical Systems, Formal Languages, and Universality
Petr Kurka |
Theory Comput. Syst. | 1 |
| 1998 | Language Complexity of Rotations and Sturmian Sequences
François Blanchard, Petr Kurka |
Theor. Comput. Sci. | 2 |
| 1997 | On Topological Dynamics of Turing Machines
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 1994 | A Comparison of Finite and Cellular Automata
Petr Kurka |
MFCS | 1 |
| 1994 | Regular Unimodal Systems and Factors of Finite Automata
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 1982 | Ergodic Languages
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 1981 | A second-order dynamic logic with array assignments
Petr Hájek 0001, Petr Kurka |
Fundam. Informaticae | 2 |
| 1980 | Applicability of a Production in a Categorical Grammar
Petr Kurka |
Theor. Comput. Sci. | 1 |
| 1977 | Applicability of a Production in a Categorical Grammar
Petr Kurka |
FCT | 1 |