Asymptotic Resource Usage Bounds. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim; German Puebla (APLAS, 2009)

Handling Non-linear Operations in the Value Analysis of COSTA. - Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim (Bytecode@ETAPS, 2011)

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

On the Limits of the Classical Approach to Cost Analysis. - Diego Esteban Alonso-Blas; Samir Genaim (SAS, 2012)

Precise Cost Analysis via Local Reasoning. - Diego Esteban Alonso-Blas; Puri Arenas; Samir Genaim (ATVA, 2013)