Publicaciones en colaboración con investigadores/as de Rheinisch-Westfälische Technische Hochschule Aachen University (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)

2015

  1. Preparing HPC applications for Exascale: challenges and recommendations

    Proceedings - 2015 18th International Conference on Network-Based Information Systems, NBiS 2015

  2. Termination competition (TermCOMP 2015)

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

1999

  1. A partial evaluation framework for curry programs

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