Groups with a Recursively Enumerable Irreducible Word Problem. - Gabriela Asli Rino Nesin; Richard M. Thomas (FCT, 2013)

Groups Whose Word Problem is a Petri Net Language. - Gabriela Asli Rino Nesin; Richard M. Thomas (DCFS, 2015)

Descriptions of groups using formal language theory. - Gabriela Asli Rino Nesin (2016)

Modelling the way mathematics is actually done. - Joseph Corneli; Ursula Martin; Dave Murray-Rust; Alison Pease; Raymond Puzio; Gabriela Rino Nesin (FARM@ICFP, 2017)

Argumentation theory for mathematical argument. - Joseph Corneli; Ursula Martin; Dave Murray-Rust; Gabriela Rino Nesin; Alison Pease (CoRR, 2018)