| Publication | Date of Publication | Type |
|---|
Antisquares and Critical Exponents
(available as arXiv preprint) | N/A | Paper |
Pseudoperiodic Words and a Question of Shevelev
(available as arXiv preprint) | N/A | Paper |
Some Fibonacci-Related Sequences
(available as arXiv preprint) | N/A | Paper |
Combinatorics on words and generating Dirichlet series of automatic sequences
(available as arXiv preprint) | N/A | Paper |
Strongly k-recursive sequences
(available as arXiv preprint) | N/A | Paper |
Beatty Sequences for a Quadratic Irrational: Decidability and Applications
(available as arXiv preprint) | N/A | Paper |
Consecutive Power Occurrences in Sturmian Words
(available as arXiv preprint) | N/A | Paper |
Using finite automata to compute the base-b representation of the golden ratio and other quadratic irrationals
(available as arXiv preprint) | N/A | Paper |
| On palindromic periodicities | 2026-07-17 | Paper |
| Additive word complexity and \texttt{Walnut} | 2026-06-12 | Paper |
Runs in paperfolding sequences
Bulletin of the Australian Mathematical Society | 2026-06-11 | Paper |
Prefixes of the Fibonacci word
Theoretical Computer Science | 2026-04-16 | Paper |
State complexity of the minimal star basis
Theoretical Computer Science | 2026-04-16 | Paper |
Computing the base-\(b\) representation of quadratic irrationals using automata
Theoretical Computer Science | 2026-03-26 | Paper |
Christoffel matrices and Sturmian determinants
RAIRO. Theoretical Informatics and Applications | 2026-03-14 | Paper |
Proving properties of -representations with the Walnut Theorem-Prover
Communications in Mathematics | 2026-03-09 | Paper |
A self-generating sequence
Theoretical Computer Science | 2026-02-12 | Paper |
| Self-verifying predicates in Büchi arithmetic | 2026-02-10 | Paper |
Complement avoidance in binary words
The Electronic Journal of Combinatorics | 2025-11-12 | Paper |
The reflection complexity of sequences over finite alphabets
Theory of Computing Systems | 2025-11-05 | Paper |
Proof of Irvine's conjecture via mechanized guessing
Integers | 2025-08-12 | Paper |
Combinatorics on words and generating Dirichlet series of automatic sequences
Discrete Mathematics | 2025-05-26 | Paper |
Repetition factorization of automatic sequences
International Journal of Foundations of Computer Science | 2025-04-30 | Paper |
Rudin-Shapiro sums via automata theory and logic
Theory of Computing Systems | 2025-02-28 | Paper |
| Using finite automata to compute the base-b representation of the golden ratio and other quadratic irrationals | 2025-01-20 | Paper |
| State complexity of the minimal star basis | 2025-01-20 | Paper |
Extending Dekking's construction of an infinite binary word avoiding abelian 4-powers
SIAM Journal on Discrete Mathematics | 2024-12-18 | Paper |
Consecutive power occurrences in Sturmian words
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2024-11-06 | Paper |
The first-order theory of binary overlap-free words is decidable
Canadian Journal of Mathematics | 2024-10-22 | Paper |
Dyck words, pattern avoidance, and automatic sequences
Communications in Mathematics | 2024-10-08 | Paper |
Pseudoperiodic words and a question of Shevelev
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2024-09-06 | Paper |
Antisquares and critical exponents
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2024-09-06 | Paper |
Decidability for Sturmian words
Logical Methods in Computer Science | 2024-09-04 | Paper |
Power-free complementary binary morphisms
Journal of Combinatorial Theory. Series A | 2024-07-03 | Paper |
Proof of a conjecture of Krawchuk and Rampersad on the cyclic complexity of the Thue-Morse sequence
Integers | 2024-05-30 | Paper |
| Using automata and a decision procedure to prove results in pattern matching (invited talk) | 2024-05-06 | Paper |
Decidability for Sturmian words
(available as arXiv preprint) | 2024-04-10 | Paper |
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory
Electronic Proceedings in Theoretical Computer Science | 2024-04-09 | Paper |
Proving results about OEIS sequences with \texttt{Walnut}
Lecture Notes in Computer Science | 2024-02-28 | Paper |
Transduction of automatic sequences and applications
Implementation and Application of Automata | 2024-02-28 | Paper |
Record-setters in the Stern sequence
Discrete Mathematics | 2024-02-19 | Paper |
Proving properties of some greedily-defined Integer recurrences via automata theory
Theoretical Computer Science | 2024-02-09 | Paper |
Rarefied Thue-Morse sums via automata theory and logic
Journal of Number Theory | 2024-01-10 | Paper |
| Repetition factorization of automatic sequences | 2023-11-25 | Paper |
| Power-free Complementary Binary Morphisms | 2023-10-23 | Paper |
| Proof of Irvine's Conjecture via Mechanized Guessing | 2023-10-22 | Paper |
Some tribonacci conjectures
(available as arXiv preprint) | 2023-09-06 | Paper |
| Some tribonacci conjectures | 2023-09-06 | Paper |
An Inequality for the Number of Periods in a Word
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Recognizing Lexicographically Smallest Words and Computing Successors in Regular Languages
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Smallest and Largest Block Palindrome Factorizations
Lecture Notes in Computer Science | 2023-07-25 | Paper |
Dyck Words, Pattern Avoidance, and Automatic Sequences
Lecture Notes in Computer Science | 2023-07-25 | Paper |
Rudin-Shapiro Sums via Automata Theory and Logic
Lecture Notes in Computer Science | 2023-07-25 | Paper |
Note on a Fibonacci parity sequence
Cryptography and Communications | 2023-06-20 | Paper |
Counterexamples to a conjecture of Dombi in additive number theory
Acta Mathematica Hungarica | 2023-06-05 | Paper |
Properties of a ternary infinite word
RAIRO - Theoretical Informatics and Applications | 2023-05-25 | Paper |
Automatic sequences in negative bases and proofs of some conjectures of shevelev
RAIRO - Theoretical Informatics and Applications | 2023-05-25 | Paper |
Badly approximable numbers, Kronecker's theorem, and diversity of Sturmian characteristic sequences
Journal de Théorie des Nombres de Bordeaux | 2023-05-08 | Paper |
| Proving Properties of \varphi-Representations with the Walnut Theorem-Prover | 2023-05-04 | Paper |
| Prefixes of the Fibonacci word | 2023-02-09 | Paper |
Existential length universality
(available as arXiv preprint) | 2023-02-07 | Paper |
| Computational fun with sturdy and flimsy numbers | 2023-02-07 | Paper |
| A Dombi Counterexample with Positive Lower Density | 2023-02-04 | Paper |
| Proof of a conjecture of Krawchuk and Rampersad | 2023-01-26 | Paper |
The largest entry in the inverse of a Vandermonde matrix
Linear and Multilinear Algebra | 2023-01-05 | Paper |
The computational complexity of some problems of linear algebra (extended abstract)
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Automatic sequences of rank two
RAIRO - Theoretical Informatics and Applications | 2022-10-31 | Paper |
Mesosome avoidance
Information Processing Letters | 2022-10-28 | Paper |
Intertwining of complementary Thue-Morse factors
(available as arXiv preprint) | 2022-10-19 | Paper |
| Intertwining of complementary Thue-Morse factors | 2022-10-19 | Paper |
Quotients of palindromic and antipalindromic numbers
(available as arXiv preprint) | 2022-10-19 | Paper |
| Quotients of palindromic and antipalindromic numbers | 2022-10-19 | Paper |
The State Complexity of Lexicographically Smallest Words and Computing Successors
Developments in Language Theory | 2022-10-13 | Paper |
| Complement Avoidance in Binary Words | 2022-09-20 | Paper |
| The First-Order Theory of Binary Overlap-Free Words is Decidable | 2022-09-07 | Paper |
Congruence properties of combinatorial sequences via walnut and the Rowland-Yassawi-Zeilberger automaton
The Electronic Journal of Combinatorics | 2022-09-06 | Paper |
Characterizing regular languages with polynomial densities
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
A generalization of automatic sequences
STACS 89 | 2022-08-16 | Paper |
Computational aspects of sturdy and flimsy numbers
Theoretical Computer Science | 2022-08-10 | Paper |
Lie complexity of words
Theoretical Computer Science | 2022-08-10 | Paper |
| The Logical Approach to Automatic Sequences | 2022-08-01 | Paper |
Optimal regular expressions for permutations
(available as arXiv preprint) | 2022-07-21 | Paper |
Properties of a class of Toeplitz words
Theoretical Computer Science | 2022-06-13 | Paper |
| Synchronized sequences | 2022-05-20 | Paper |
How to prove that a sequence is not automatic
Expositiones Mathematicae | 2022-04-01 | Paper |
Frobenius numbers and automatic sequences
(available as arXiv preprint) | 2022-03-24 | Paper |
| Frobenius numbers and automatic sequences | 2022-03-24 | Paper |
| Say no to case analysis: automating the drudgery of case-based proofs | 2022-03-22 | Paper |
Sumsets associated with Beatty sequences
Discrete Mathematics | 2022-03-14 | Paper |
Maximal state complexity and generalized de Bruijn words
Information and Computation | 2022-03-14 | Paper |
| Automata, palindromes, and reversed subwords | 2022-03-11 | Paper |
Intertwining of Complementary Thue-Morse Factors
(available as arXiv preprint) | 2022-03-06 | Paper |
Quotients of Palindromic and Antipalindromic Numbers
(available as arXiv preprint) | 2022-02-28 | Paper |
Sumsets of Wythoff sequences, Fibonacci representation, and beyond
Periodica Mathematica Hungarica | 2022-02-22 | Paper |
Decidability and \(k\)-regular sequences
Theoretical Computer Science | 2022-02-21 | Paper |
The simplest binary word with only three squares
RAIRO - Theoretical Informatics and Applications | 2022-01-12 | Paper |
A Frameless 2-Coloring of the Plane Lattice
Mathematics Magazine | 2022-01-11 | Paper |
| Additive Properties of the Evil and Odious Numbers and Similar Sequences | 2021-12-27 | Paper |
| Extending Dekking's construction of an infinite binary word avoiding abelian $4$-powers | 2021-11-15 | Paper |
Congruence properties of combinatorial sequences via Walnut and the Rowland-Yassawi-Zeilberger automaton
(available as arXiv preprint) | 2021-10-12 | Paper |
Automatic sequences are also non-uniformly morphic
(available as arXiv preprint) | 2021-10-04 | Paper |
Lagrange's theorem for binary squares
(available as arXiv preprint) | 2021-08-04 | Paper |
On some conjectures of P. Barry
Journal of Number Theory | 2021-08-02 | Paper |
Mesosome Avoidance
(available as arXiv preprint) | 2021-07-29 | Paper |
