| Argumentation theory for mathematical argument J Corneli, U Martin, D Murray-Rust, G Rino Nesin, A Pease Argumentation 33 (2), 173-214, 2019 | 13 | 2019 |
| Modelling the way mathematics is actually done J Corneli, U Martin, D Murray-Rust, A Pease, R Puzio, G Rino Nesin Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art …, 2017 | 9 | 2017 |
| Groups whose word problem is a Petri net language GA Rino Nesin, RM Thomas Descriptional Complexity of Formal Systems: 17th International Workshop …, 2015 | 3 | 2015 |
| The Ada Lovelace Symposium in Oxford R Nesin, G Asli Ada User Journal 36 (4), 226, 2015 | 1 | 2015 |
| Groups with a recursively enumerable irreducible word problem GA Rino Nesin, RM Thomas Fundamentals of Computation Theory: 19th International Symposium, FCT 2013 …, 2013 | 1 | 2013 |
| Descriptions of Groups using Formal Language Theory R Nesin, G Asli University of Leicester, 2016 | | 2016 |
| Completing partial algebra models of term rewriting systems GAR Nesin | | 2011 |
| Groups whose Word Problem is a Petri Net Language (DCFS2015) GAR Nesin, RM Thomas | | |
