5. (with Robert D. Gray) Decidability of equations and first-order theory in Seifert 3-manifold groups https://arxiv.org/abs/2502.14970

4. (with Alex Bishop, Murray Elder, Alex Evetts and Paul Gallot) On groups with EDT0L word problem https://arxiv.org/abs/2505.20057

3. (with Luna Elliott) The Diophantine problem in Thompson's group F https://arxiv.org/abs/2502.14970, To appear in Math. Comp.

2. (with Luna Elliott and James Mitchell) Computing congruences of finite inverse semigroups https://arxiv.org/abs/2406.09281

1. Subsets of groups with context-free preimages https://arxiv.org/abs/2312.04191

9. (with Luna Elliott and James Mitchell) E-disjunctive inverse semigroups, J. Algebra, 2026

8. Quadratic Diophantine equations, the Heisenberg group and formal languages, Israel J. Math., 2025

7. (with Laura Ciobanu and Alex Evetts) Effective equation solving, constraints and growth in virtually abelian groups, SIAM J. Appl. Algebra Geom., 2025

6. (with Laura Ciobanu) Languages, groups and equations, in Languages and Automata, GAGTA Book 3, 2024

5. (with Laura Ciobanu and Alan Logan) Post's correspondence problem for hyperbolic and virtually nilpotent groups, Bull. Lond. Math. Soc., 2024

4. (with Luna Elliott and James Mitchell) Counting monogenic monoids and inverse monoids, Comm. Algebra, 2023

3. EDT0L solutions to equations in group extensions, J. Algebra, 2023

2. Equations in virtually class 2 nilpotent groups, J. Groups Complex. Cryptol., 2022

1. (with Alex Evetts) Equations in virtually abelian groups: languages and growth, Internat. J. Algebra Comput., 2022

1. PhD Thesis - Equations in groups, formal languages and complexity, 2022