2013, THEORETICAL COMPUTER SCIENCE, Araujo,J;Bentz,W;Cameron,PJ

2013, PORTUGALIAE MATHEMATICA, Delgado,M;Fernandes,VH

2013, JOURNAL OF SYMBOLIC COMPUTATION, Gray,R;Malheiro,A;Pride,SJ

2013, SEMIGROUP FORUM, Araujo,J;Konieczny,J

2014, Journal of Algebra, Dell ºAmbrogio,I;Tabuada,G

2014, Groups, Complexity, Cryptology, Brough,T

2014, Journal of Noncommutative Geometry, Cisinski,DC;Tabuada,G

2014, Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., Kahle,R

2014, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Maltcev,V

2014, SEMIGROUP FORUM, Araujo,J;Kinyon,M