2013, DISCRETE APPLIED MATHEMATICS, Liu,H;Mestre,A;Sousa,T
2013, DISCRETE MATHEMATICS, Fernandes,R;da Cruz,HF
2013, THEORETICAL COMPUTER SCIENCE, Araujo,J;Bentz,W;Cameron,PJ
2013, PORTUGALIAE MATHEMATICA, Delgado,M;Fernandes,VH
2013, GEOMETRY & TOPOLOGY, Blumberg,AJ;Gepner,D;Tabuada,G
2013, PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, Araujo,J;Kinyon,M;Malheiro,A
2013, JOURNAL OF SYMBOLIC COMPUTATION, Gray,R;Malheiro,A;Pride,SJ
2013, SEMIGROUP FORUM, Araujo,J;Konieczny,J
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