关注
Diego E. Alonso Blas
Diego E. Alonso Blas
Standard Chartered
在 sc.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
On the limits of the classical approach to cost analysis
DE Alonso-Blas, S Genaim
International Static Analysis Symposium, 405-421, 2012
562012
Asymptotic resource usage bounds
E Albert, D Alonso, P Arenas, S Genaim, G Puebla
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
152009
Precise cost analysis via local reasoning
DE Alonso-Blas, P Arenas, S Genaim
Automated Technology for Verification and Analysis: 11th International …, 2013
112013
Handling Non-linear Operations in the Value Analysis of COSTA
D Alonso, P Arenas, S Genaim
Electronic Notes in Theoretical Computer Science 279 (1), 3-17, 2011
62011
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
Formal Methods for Components and Objects: 11th International Symposium …, 2013
32013
De programas abstractos a cotas asintóticas precisas en forma cerrada
DE Alonso Blas
Universidad Complutense de Madrid, 2014
2014
系统目前无法执行此操作,请稍后再试。
文章 1–6