Publicaciones en las que colabora con Damiano Zanardini (3)

2013

  1. Automatic inference of bounds on resource consumption

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Termination and Cost Analysis with COSTA and its User Interfaces

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 109-121

  2. Termination and cost analysis with COSTA and its user interfaces

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009