Publicaciones en colaboración con investigadores/as de Rheinisch-Westfälische Technische Hochschule Aachen University (13)

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. Preface

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

2017

  1. Preface

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

2015

  1. Advances in web-based learning – ICWL 2015: 14th International Conference Guangzhou, China, November 5-8, 2015 proceedings

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

  2. Preparing HPC applications for Exascale: challenges and recommendations

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

  3. Termination competition (TermCOMP 2015)

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

2012

  1. Solving dense generalized eigenproblems on multi-threaded architectures

    Applied Mathematics and Computation, Vol. 218, Núm. 22, pp. 11279-11289

2011

  1. Condensed forms for the symmetric eigenvalue problem on multi-threaded architectures

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 7, pp. 694-707

2010

  1. Reduction to condensed forms for symmetric eigenvalue problems on multi-core architectures

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

2008

  1. From story-telling to educational gaming: The Bamiyan Valley case

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

  2. Making sense of collaboratively annotated multimedia metadata for (mobile) digital story-telling and educational gaming

    CEUR Workshop Proceedings

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)

1993

  1. A demand driven computation strategy for lazy narrowing

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