On the presence of periodic configurations in Turing machines and in counter machines
Theoretical Computer Science
Lorentz lattice gases and many-dimensional Turing machines
Collision-based computing
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Theoretical Computer Science - Combinatorics of the discrete plane and tilings
One Head Machines from a symbolic approach
Theoretical Computer Science
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Periodicity and Immortality in Reversible Computing
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Erratum: Erratum to: Entropy of Turing machines with moving head
Theoretical Computer Science
A dynamical model of parallel computation on bi-infinite time-scale
Journal of Computational and Applied Mathematics
Computational universality in symbolic dynamical systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case
Fundamenta Informaticae
On immortal configurations in turing machines
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Hi-index | 5.23 |