Jeffrey Shallit
University of Waterloo
H-index: 43
North America-Canada
Top articles of Jeffrey Shallit
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Consecutive Power Occurrences in Sturmian Words | arXiv preprint arXiv:2402.09597 | Jason Bell Chris Schulz Jeffrey Shallit | 2024/2/14 |
Beatty Sequences for a Quadratic Irrational: Decidability and Applications | arXiv preprint arXiv:2402.08331 | Luke Schaeffer Jeffrey Shallit Stefan Zorcic | 2024/2/13 |
Rarefied Thue-Morse sums via automata theory and logic | Journal of Number Theory | Jeffrey Shallit | 2024/4/1 |
Strongly k-recursive sequences | arXiv preprint arXiv:2401.14231 | Daniel Krenn Jeffrey Shallit | 2024/1/25 |
Record-setters in the Stern sequence | Discrete Mathematics | Ali Keramatipour Jeffrey Shallit | 2024/4/1 |
Combinatorics on words and generating Dirichlet series of automatic sequences | arXiv preprint arXiv:2401.13524 | Jean-Paul Allouche Jeffrey Shallit Manon Stipulanti | 2024/1/24 |
Proving properties of some greedily-defined integer recurrences via automata theory | Theoretical Computer Science | Jeffrey Shallit | 2024/3/12 |
Additive properties of the evil and odious numbers and similar sequences | Functiones et Approximatio Commentarii Mathematici | Jean-Paul Allouche Jeffrey Shallit | 2024/3 |
Dyck words, pattern avoidance, and automatic sequences | Lucas Mol Narad Rampersad Jeffrey Shallit | 2023/5/31 | |
Antisquares and critical exponents | Discrete Mathematics & Theoretical Computer Science | Aseem Baranwal James Currie Lucas Mol Pascal Ochem Narad Rampersad | 2023/9/6 |
Repetition factorization of automatic sequences | arXiv preprint arXiv:2311.14961 | Jeffrey Shallit Xinhao Xu | 2023/11/25 |
Mesosome avoidance | Information Processing Letters | Robert Cummings Jeffrey Shallit Paul Staadecker | 2023/1/1 |
Proof of a conjecture of Krawchuk and Rampersad | arXiv preprint arXiv:2301.11473 | Jeffrey Shallit | 2023/1/27 |
Proving Results About OEIS Sequences with Walnut | Jeffrey Shallit | 2023/8/28 | |
Proving Properties of -Representations with the Walnut Theorem-Prover | arXiv preprint arXiv:2305.02672 | Jeffrey Shallit | 2023/5/4 |
New constructions for -free and -free binary morphisms | arXiv preprint arXiv:2310.15064 | Jeffrey Shallit Arseny M Shur Stefan Zorcic | 2023/10/23 |
School of Computer Science, University of Waterloo, Waterloo, ON, Canada shallit@ uwaterloo. ca | INTEGERS | Jeffrey Shallit | 2023 |
Counterexamples to a conjecture of Dombi in additive number theory | Acta Mathematica Hungarica | Jason P Bell Jeffrey Shallit | 2023/4 |
Transduction of Automatic Sequences and Applications | Jeffrey Shallit Anatoly Zavyalov | 2023/8/10 | |
Proof of Irvine's Conjecture via Mechanized Guessing | arXiv preprint arXiv:2310.14252 | Jeffrey Shallit | 2023/10/22 |