Cost analysis of java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini European symposium on programming, 157-172, 2007 | 208 | 2007 |

Closed-form upper bounds in static cost analysis E Albert, P Arenas, S Genaim, G Puebla Journal of automated reasoning 46 (2), 161-203, 2011 | 171 | 2011 |

Cost analysis of object-oriented bytecode programs E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Theoretical Computer Science 413 (1), 142-159, 2012 | 127 | 2012 |

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini International Symposium on Formal Methods for Components and Objects, 113-132, 2007 | 104 | 2007 |

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini International Symposium on Formal Methods for Components and Objects, 113-132, 2007 | 104 | 2007 |

Automatic inference of upper bounds for recurrence relations in cost analysis E Albert, P Arenas, S Genaim, G Puebla International Static Analysis Symposium, 221-237, 2008 | 103 | 2008 |

Termination analysis of Java bytecode E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 78 | 2008 |

SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... International Conference on Tools and Algorithms for the Construction and …, 2014 | 75 | 2014 |

Cost analysis of concurrent OO programs E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla Asian Symposium on Programming Languages and Systems, 238-254, 2011 | 43 | 2011 |

Combining lazy narrowing with disequality constraints P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas International Symposium on Programming Language Implementation and Logic …, 1994 | 43 | 1994 |

COSTABS: a cost and termination analyzer for ABS E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 38 | 2012 |

Object‐sensitive cost analysis for concurrent objects E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ... Software Testing, Verification and Reliability 25 (3), 218-271, 2015 | 36 | 2015 |

Termination and cost analysis with COSTA and its user interfaces E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramírez, ... Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009 | 30 | 2009 |

Removing useless variables in cost analysis of Java bytecode E Albert, P Arenas, S Genaim, G Puebla, D Zanardini Proceedings of the 2008 ACM symposium on Applied computing, 368-375, 2008 | 24 | 2008 |

A general framework for lazy functional logic programming with algebraic polymorphic types P Arenas-Sánchez, M Rodríguez-Artalejo arXiv preprint cs/0404050, 2004 | 24 | 2004 |

Context-sensitive dynamic partial order reduction E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey International Conference on Computer Aided Verification, 526-543, 2017 | 22 | 2017 |

Comparing cost functions in resource analysis E Albert, P Arenas, S Genaim, I Herraiz, G Puebla International Workshop on Foundational and Practical Aspects of Resource …, 2009 | 22 | 2009 |

A semantic framework for functional logic programming with algebraic polymorphic types P Arenas-Sánchez, M Rodríguez-Artalejo Colloquium on Trees in Algebra and Programming, 453-464, 1997 | 22 | 1997 |

A minimality study for set unification P Arenas-Sánchez, A Dovier | 22 | 1997 |

Reduced certificates for abstraction-carrying code E Albert, P Arenas, G Puebla, M Hermenegildo International Conference on Logic Programming, 163-178, 2006 | 21 | 2006 |