Rafael Martins de Souza

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Automatic Analysis

Multiresolution

Top Venues

Inf. Process. Lett.

ACM Trans. Program. Lang. Syst.

Publications

Péricles Rafael Oliveira Alves, Raphael Ernani Rodrigues, Rafael Martins de Souza, Fernando Magno Quintão Pereira
A case for a fast trip count predictor. Inf. Process. Lett. 115 (2) (2015)
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira
Divergence analysis. ACM Trans. Program. Lang. Syst. 35 (4) (2013)
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira
Divergence Analysis with Affine Constraints. SBAC-PAD (2012)