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

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

2. (with Luna Elliott and James Mitchell) E-disjunctive inverse semigroups https://arxiv.org/abs/2405.19825

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

Publications
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
Other
1. PhD Thesis - Equations in groups, formal languages and complexity, 2022