| 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 |
| State complexity of shifts of the Fibonacci word | 2027-01-01 | Paper |
On a sequence of Kimberling and its relationship to the tribonacci word
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2026-10-02 | Paper |
Balanced Fibonacci word rectangles, and beyond
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2026-10-02 | Paper |
| Complexity of linear subsequences of Fibonacci-automatic sequences | 2026-09-23 | Paper |
| On palindromic periodicities | 2026-07-17 | Paper |
On the p-adic valuations of values of Legendre polynomials
Research in Number Theory | 2026-07-16 | Paper |
Running maximum of a k-regular sequence
Information Processing Letters | 2026-07-14 | 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 |
New properties of the φ-representation of integers
(available as arXiv preprint) | 2026-01-01 | Paper |
On a sequence of Kimberling and its relationship to the Tribonacci word
(available as arXiv preprint) | 2026-01-01 | Paper |
Complexity of Linear Subsequences of k-Automatic Sequences
(available as arXiv preprint) | 2026-01-01 | Paper |
State Complexity of Shifts of the Fibonacci Word
(available as arXiv preprint) | 2026-01-01 | Paper |
Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
(available as arXiv preprint) | 2026-01-01 | Paper |
The speed of convergence in greedy Galois games
(available as arXiv preprint) | 2026-01-01 | Paper |
Brik's sequence: a strange recursion
(available as arXiv preprint) | 2026-01-01 | Paper |
Ten Squares Force an Overlap
(available as arXiv preprint) | 2026-01-01 | Paper |
Palindrome complexity versus factor complexity
(available as arXiv preprint) | 2026-01-01 | Paper |
Repetition Avoidance in Curling-Number Transforms
(available as arXiv preprint) | 2026-01-01 | Paper |
An infinite walk in $\mathbb{N}^{16}$, using only unit steps, with no three collinear points
(available as arXiv preprint) | 2026-01-01 | Paper |
Brown-Gerver-Ramsey Theorems in Small Dimensions
(available as arXiv preprint) | 2026-01-01 | Paper |
An example of an automatic sequence with non-regular abelian complexity
(available as arXiv preprint) | 2026-01-01 | 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 |
Cloitre's Self-Generating Sequence
(available as arXiv preprint) | 2025-01-01 | Paper |
The Hurt-Sada Array and Zeckendorf Representations
(available as arXiv preprint) | 2025-01-01 | Paper |
An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory
(available as arXiv preprint) | 2025-01-01 | Paper |
The Narayana Morphism and Related Words
(available as arXiv preprint) | 2025-01-01 | Paper |
Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences
(available as arXiv preprint) | 2025-01-01 | Paper |
On the p-adic valuations of values of Legendre polynomials
(available as arXiv preprint) | 2025-01-01 | Paper |
Balanced Fibonacci word rectangles, and beyond
(available as arXiv preprint) | 2025-01-01 | Paper |
The Tribonacci constant and finite automata
(available as arXiv preprint) | 2025-01-01 | 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 |
The reflection complexity of sequences over finite alphabets
(available as arXiv preprint) | 2024-01-01 | Paper |
The Repetition Threshold for Rote Sequences
(available as arXiv preprint) | 2024-01-01 | Paper |
Some Remarks on Palindromic Periodicities
(available as arXiv preprint) | 2024-01-01 | Paper |
Christoffel Matrices and Sturmian Determinants
(available as arXiv preprint) | 2024-01-01 | Paper |
Additive word complexity and Walnut
(available as arXiv preprint) | 2024-01-01 | Paper |
Runs in Paperfolding Sequences
(available as arXiv preprint) | 2024-01-01 | 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 |
Proof of a conjecture of Krawchuk and Rampersad
(available as arXiv preprint) | 2023-01-01 | Paper |
Prefixes of the Fibonacci word
(available as arXiv preprint) | 2023-01-01 | Paper |
The computational complexity of some problems of linear algebra (extended abstract)
Lecture Notes in Computer Science | 2022-11-09 | Paper |
