| Publication | Date of Publication | Type |
|---|
Consistency of multidimensional combinatorial substitutions
Theoretical Computer Science | N/A | Paper |
| On the decidability of self-assembly of infinite ribbons | 2026-05-29 | Paper |
| On low complexity colorings of grids (invited talk) | 2026-05-12 | Paper |
The group of reversible Turing machines: subgroups, generators, and computability
Forum of Mathematics, Sigma | 2025-10-28 | Paper |
Tribute to Arto Salomaa. A towering figure in theoretical computer science
Bulletin of the European Association for Theoretical Computer Science EATCS | 2025-04-22 | Paper |
Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata
International Journal of Foundations of Computer Science | 2024-02-16 | Paper |
Sequentializing cellular automata
Natural Computing | 2024-02-09 | Paper |
Planar Rosa: a family of quasiperiodic substitution discrete plane tilings with 2n-fold rotational symmetry
Natural Computing | 2024-02-09 | Paper |
Parallel pattern generation with one-way communications
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Expansivity and periodicity in algebraic subshifts
Theory of Computing Systems | 2023-10-30 | Paper |
On forced periodicity of perfect colorings
Theory of Computing Systems | 2023-08-17 | Paper |
Decidability and periodicity of low complexity tilings
Theory of Computing Systems | 2023-04-27 | Paper |
| The group of reversible Turing machines: subgroups, generators and computability | 2023-03-30 | Paper |
Substitution discrete plane tilings with 2n-fold rotational symmetry for odd n
Discrete & Computational Geometry | 2023-03-15 | Paper |
scientific article; zbMATH DE number 7650899 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
On perfect coverings of two-dimensional grids
(available as arXiv preprint) | 2023-01-12 | Paper |
| Domino problem for pretty low complexity subshifts | 2022-10-25 | Paper |
Two lower bounds on distributive generation of languages
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
| On perfect coverings of two-dimensional grids | 2022-08-11 | Paper |
| Decidability in Group Shifts and Group Cellular Automata | 2022-07-18 | Paper |
Tiling Problem and Undecidability in Cellular Automata
Cellular Automata | 2022-04-28 | Paper |
Digital image compression
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
| Planar Rosa : a family of quasiperiodic substitution discrete plane tilings with 2n-fold rotational symmetry | 2022-03-16 | Paper |
| Černý's conjecture and the road colouring problem | 2022-02-04 | Paper |
| Finite automata, image manipulation, and automatic real functions | 2021-11-12 | Paper |
On the domino problem of the Baumslag-Solitar groups
Theoretical Computer Science | 2021-11-11 | Paper |
Nilpotency and periodic points in non-uniform cellular automata
Acta Informatica | 2021-07-23 | Paper |
Tiling problems on Baumslag-Solitar groups.
(available as arXiv preprint) | 2021-06-10 | Paper |
| Tiling problems on Baumslag-Solitar groups. | 2021-06-10 | Paper |
| Addendum to "Tilings problems on Baumslag-Solitar groups" | 2021-01-29 | Paper |
Conjugacy of one-dimensional one-sided cellular automata is undecidable
SOFSEM 2018: Theory and Practice of Computer Science | 2020-10-21 | Paper |
Substitution discrete plane tilings with 2n-fold rotational symmetry for odd n
(available as arXiv preprint) | 2020-10-05 | Paper |
On the conjugacy problem of cellular automata
Information and Computation | 2020-09-17 | Paper |
On expansivity and pseudo-orbit tracing property for cellular automata
Fundamenta Informaticae | 2020-06-21 | Paper |
Low-complexity tilings of the plane
(available as arXiv preprint) | 2020-05-12 | Paper |
An algebraic geometric approach to Nivat's conjecture
Information and Computation | 2020-03-12 | Paper |
Undecidable word problem in subshift automorphism groups
(available as arXiv preprint) | 2019-10-22 | Paper |
| Words of minimum rank in deterministic finite automata | 2019-10-15 | Paper |
Nivat's conjecture and pattern complexity in algebraic subshifts
Theoretical Computer Science | 2019-06-18 | Paper |
Decidability and Periodicity of Low Complexity Tilings
(available as arXiv preprint) | 2019-04-02 | Paper |
Finite state transformations of images
Automata, Languages and Programming | 2019-01-10 | Paper |
Post-surjectivity and balancedness of cellular automata over groups
(available as arXiv preprint) | 2018-12-10 | Paper |
| Post-surjectivity and balancedness of cellular automata over groups | 2018-12-10 | Paper |
Undecidable word problem in subshift automorphism groups
(available as arXiv preprint) | 2018-08-28 | Paper |
| On dynamical complexity of surjective ultimately right-expansive cellular automata | 2018-08-10 | Paper |
Sequentializing cellular automata
(available as arXiv preprint) | 2018-08-10 | Paper |
| Sequentializing cellular automata | 2018-08-10 | Paper |
Cellular automata and powers of p/q
RAIRO - Theoretical Informatics and Applications | 2018-05-04 | Paper |
Sequentializing cellular automata
(available as arXiv preprint) | 2018-02-19 | Paper |
Finite generating sets for reversible gate sets under general conservation laws
Theoretical Computer Science | 2017-12-06 | Paper |
An aperiodic set of Wang cubes
STACS 96 | 2017-11-16 | Paper |
Cellular automata, tilings and (un)computability
Combinatorics, Words and Symbolic Dynamics | 2017-10-06 | Paper |
Piecewise affine functions, Sturmian sequences and Wang tiles
Fundamenta Informaticae | 2017-07-28 | Paper |
| Pattern generation by cellular automata (invited talk) | 2017-02-01 | Paper |
Sub Rosa, a system of quasiperiodic rhombic substitution tilings with n-fold rotational symmetry
Discrete & Computational Geometry | 2016-09-07 | Paper |
The group of reversible Turing machines
Cellular Automata and Discrete Complex Systems | 2016-08-10 | Paper |
An ``almost dual'' to Gottschalk's conjecture
Cellular Automata and Discrete Complex Systems | 2016-08-10 | Paper |
Strongly universal reversible gate sets
Reversible Computation | 2016-08-10 | Paper |
| An Algebraic Geometric Approach to Nivat's Conjecture | 2016-05-19 | Paper |
Solving the \textsc{induced subgraph} problem in the randomized multiparty simultaneous messages model
Structural Information and Communication Complexity | 2016-01-08 | Paper |
An algebraic geometric approach to Nivat's conjecture
Lecture Notes in Computer Science | 2015-11-04 | Paper |
| scientific article; zbMATH DE number 6502827 (Why is no real title available?) | 2015-11-02 | Paper |
Statistical mechanics of surjective cellular automata
Journal of Statistical Physics | 2015-10-28 | Paper |
An algebraic geometric approach to multidimensional words
Algebraic Informatics | 2015-09-22 | Paper |
A universal cellular automaton without sensitive subsystems
Cellular Automata and Discrete Complex Systems | 2015-08-04 | Paper |
Undecidable properties of self-affine sets and multi-tape automata
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Trace complexity of chaotic reversible cellular automata
Reversible Computation | 2014-09-02 | Paper |
| Surjective cellular automata far from the Garden of Eden | 2014-02-14 | Paper |
Decidability and undecidability in cellular automata
International Journal of General Systems | 2014-01-06 | Paper |
On the hierarchy of conservation laws in a cellular automaton
Natural Computing | 2012-11-15 | Paper |
Cellular Automata, the Collatz Conjecture and Powers of 3/2
Developments in Language Theory | 2012-11-02 | Paper |
Consistency of multidimensional combinatorial substitutions
Lecture Notes in Computer Science | 2012-09-10 | Paper |
On time-symmetry in cellular automata
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Modified traffic cellular automaton for the density classification task
Fundamenta Informaticae | 2012-06-20 | Paper |
Universal pattern generation by cellular automata
Theoretical Computer Science | 2012-05-30 | Paper |
On continuous weighted finite automata
Linear Algebra and its Applications | 2012-04-19 | Paper |
| scientific article; zbMATH DE number 6003164 (Why is no real title available?) | 2012-02-04 | Paper |
Limit sets of stable and unstable cellular automata
Fundamenta Informaticae | 2011-11-22 | Paper |
A survey on picture-walking automata
Algebraic Foundations in Computer Science | 2011-11-11 | Paper |
Linear algebra based bounds for one-dimensional cellular automata
Descriptional Complexity of Formal Systems | 2011-07-29 | Paper |
Snakes and cellular automata: reductions and inseparability results
Computer Science – Theory and Applications | 2011-06-17 | Paper |
The undecidability of the infinite ribbon problem: implications for computing by self-assembly
SIAM Journal on Computing | 2010-01-06 | Paper |
Bounds on Non-surjective Cellular Automata
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
| Combinatorics of conservation laws. | 2009-09-19 | Paper |
On Post correspondence problem for letter monotonic languages
Theoretical Computer Science | 2009-08-07 | Paper |
The Tiling Problem Revisited (Extended Abstract)
Lecture Notes in Computer Science | 2009-03-05 | Paper |
Periodicity and Immortality in Reversible Computing
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Unambiguous automata
Mathematics in Computer Science | 2008-09-08 | Paper |
Binary operations on automatic functions
RAIRO - Theoretical Informatics and Applications | 2008-07-29 | Paper |
Binary operations on automatic functions
RAIRO - Theoretical Informatics and Applications | 2008-07-29 | Paper |
| Conservation laws in rectangular CA | 2008-07-11 | Paper |
The Most General Conservation Law for a Cellular Automaton
Computer Science – Theory and Applications | 2008-06-05 | Paper |
| Recent results on aperiodic Wang tilings | 2008-04-14 | Paper |
On the Undecidability of the Tiling Problem
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
| Synchronization and stability of finite automata | 2007-10-17 | Paper |
A tight linear bound on the synchronization delay of bijective automata
Theoretical Computer Science | 2007-07-16 | Paper |
| Observations on the smoothness properties of real functions computed by weighted finite automata | 2006-11-21 | Paper |
| Colored Gauss and tangent codes on the torus | 2006-09-06 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
A new dimension sensitive property for cellular automata
Theoretical Computer Science | 2005-12-06 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A NOTE ON SYNCHRONIZED AUTOMATA AND ROAD COLORING PROBLEM
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
Theory of cellular automata: a survey
Theoretical Computer Science | 2005-06-01 | Paper |
