( en | de | ru )

 

Disambiguation of "Alonso-Blas, Diego Esteban"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Inference of Bounds on Resource Consumption.

, , , , , , , , , , , and . FMCO, volume 7866 of Lecture Notes in Computer Science, page 119-144. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Helga Blas

Rainer Bläs

Esteban Ferrer

Alexander Diego

Jesús Diego Linares

 

Other publications of authors with the same name

Automatic Inference of Bounds on Resource Consumption., , , , , , , , , and 2 other author(s). FMCO, volume 7866 of Lecture Notes in Computer Science, page 119-144. Springer, (2012)Asymptotic Resource Usage Bounds., , , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 294-310. Springer, (2009)Precise Cost Analysis via Local Reasoning., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 319-333. Springer, (2013)Handling Non-linear Operations in the Value Analysis of COSTA., , and . Bytecode@ETAPS, volume 279 of Electronic Notes in Theoretical Computer Science, page 3-17. Elsevier, (2011)On the Limits of the Classical Approach to Cost Analysis., and . SAS, volume 7460 of Lecture Notes in Computer Science, page 405-421. Springer, (2012)