Divergence Analysis with Affine Constraints. - Diogo Sampaio; Rafael Martins de Souza; Caroline Collange; Fernando Magno Quintão Pereira (SBAC-PAD, 2012)

Divergence analysis. - Diogo Sampaio; Rafael Martins de Souza; Caroline Collange; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2013)

A case for a fast trip count predictor. - Péricles Rafael Oliveira Alves; Raphael Ernani Rodrigues; Rafael Martins de Souza; Fernando Magno Quintão Pereira (Inf. Process. Lett., 2015)