Articles
‘Subsemigroups of virtually free groups: finite Malcev presentations and testing for freeness’
[with E. F. Robertson & N. Ruškuc]
Mathematical Proceedings of the Cambridge Philosophical Society, 141, no. 1 (2006), pp. 57–66.
‘Subsemigroups of groups: presentations, Malcev presentations, and automatic structures’
[with E. F. Robertson & N. Ruškuc]
Journal of Group Theory, 9, no. 3 (2006), pp. 397–426.
‘A group-embeddable non-automatic semigroup whose universal group is automatic’
Glasgow Mathematical Journal, 48, no. 2 (2006), pp. 337–342.
‘Cancellativity is undecidable for automatic semigroups’
Quarterly Journal of Mathematics, 57, no. 3 (2006), pp. 285–295.
‘Malcev presentations for subsemigroups of groups — a survey’
In C. M. Campbell, M. Quick, E. F. Robertson, & G. C. Smith, eds, Groups St Andrews 2005 (Vol. 1), no. 339 in London Mathematical Society Lecture Note Series, pp. 256–268 (Cambridge: Cambridge University Press, 2007).
‘Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions’
[with E. F. Robertson & N. Ruškuc]
Journal of the Australian Mathematical Society, 84, no. 1 (2008), pp. 39–61.
‘Automatic presentations for cancellative semigroups’
[with G. Oliver, N. Ruškuc & R. M. Thomas]
In C. Martín-Vide, H. Fernau, & F. Otto, eds, Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13–19, 2008, no. 5196 in Lecture Notes in Computer Science, pp. 149–159 (Springer, 2008).
‘Malcev presentations for subsemigroups of direct products of coherent groups’
Journal of Pure and Applied Algebra, 213, no. 6 (2009), pp. 977–990.
‘Automaton semigroups’
Theoretical Computer Science, 410, no. 47–49 (2009), pp. 5022–5038.
‘Automatic presentations for semigroups’
[with G. Oliver, N. Ruškuc & R. M. Thomas]
Information and Computation, 207, no. 11 (2009), pp. 1156–1168.
‘Decision problems for finitely presented and one-relation semigroups and monoids’
[with V. Maltcev]
International Journal of Algebra and Computation, 19, no. 6 (2009), pp. 747–770.
‘Monoids presented by rewriting systems and automatic structures for their submonoids’
International Journal of Algebra and Computation, 19, no. 6 (2009), pp. 771–790.
‘Automatic semigroups and Bruck–Reilly extensions’
Acta Mathematica Hungarica, 126, no. 1–2 (2010), pp. 1–15.
‘Automatic presentations and semigroup constructions’
[with G. Oliver, N. Ruškuc & R. M. Thomas]
Theory of Computing Systems, 47, no. 2 (2010), pp. 568–592.
‘Deus ex machina and the aesthetics of proof’
Mathematical Intelligencer, 32, no. 3 (Sept. 2010), pp. 7–11.
Forthcoming
‘Unary FA-presentable semigroups’
[with N. Ruškuc & R. M. Thomas]
International Journal of Algebra and Computation, 2012.
Forthcoming.
‘Green index in semigroup theory: generators, presentations, and automatic structures’
[with R. Gray & N. Ruškuc]
Semigroup Forum,
Forthcoming.
Submitted
‘Automatic structures for subsemigroups of Baumslag–Solitar semigroups’
Submitted.
‘Automatic Clifford semigroups’
Submitted.
‘Hyperbolicity of monoids presented by confluent monadic rewriting systems’
Submitted.
‘Markov semigroups, monoids, and groups’
[with V. Maltcev]
Submitted.
‘Context-free rewriting systems and word-hyperbolic structures with uniqueness’
[with V. Maltcev]
Submitted.
‘Finitely presented monoids with linear Dehn function need not have regular cross-sections’
[with V. Maltcev]
Submitted.
In preparation
‘For a few elements more: A survey of finite Rees index’
[with V. Maltcev]
In preparation.
‘Unary FA-presentable algebraic and relational structures’
[with N. Ruškuc]
In preparation.
‘Decision problems for word-hyperbolic monoids’
In preparation.
‘Notions of hyperbolicity in monoids’
In preparation.
‘On weak automatic presentations’
In preparation.
