Publicaciones en colaboración con investigadores/as de University of Innsbruck (4)

2019

  1. The Termination and Complexity Competition

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

2018

  1. Encoding Algebraic Power Series

    Foundations of Computational Mathematics, Vol. 18, Núm. 3, pp. 789-833

2015

  1. Termination competition (TermCOMP 2015)

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

2011

  1. High-performance grid and cloud computing workshop - HPGC

    IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum