| On the limits of the classical approach to cost analysis DE Alonso-Blas, S Genaim International Static Analysis Symposium, 405-421, 2012 | 56 | 2012 |
| 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 | 15 | 2009 |
| Precise cost analysis via local reasoning DE Alonso-Blas, P Arenas, S Genaim Automated Technology for Verification and Analysis: 11th International …, 2013 | 11 | 2013 |
| 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 | 6 | 2011 |
| 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 | 3 | 2013 |
| De programas abstractos a cotas asintóticas precisas en forma cerrada DE Alonso Blas Universidad Complutense de Madrid, 2014 | | 2014 |
Samir GenaimUniversidad Complutense de Madrid在 fdi.ucm.es 的电子邮件经过验证
