Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (2)

2019

  1. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming

2014

  1. A transformational approach to resource analysis with typed-norms

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