Publicaciones en colaboración con investigadores/as de University of Oslo (16)

2018

  1. Parallel cost analysis

    ACM Transactions on Computational Logic, Vol. 19, Núm. 4

  2. Preface

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

2017

  1. EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools

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

  2. Preface

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

2016

  1. Applications of evolutionary computation: 19th European conference, Evoapplications 2016 Porto, Portugal, March 30 – April 1, 2016 proceedings, part II

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

  2. Applications of evolutionary computation: 19th European conference, evoapplications 2016 Porto, Portugal, march 30 – april 1, 2016 proceedings, part I

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

2015

  1. Applications of evolutionary computation: 18th European Conference, EvoApplications 2015 Copenhagen, Denmark, April 8–10, 2015 proceedings

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

  2. Josè Meseguer: Scientist and friend extraordinaire

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

  3. Parallel cost analysis of distributed systems

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

  4. Preface

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

  5. Preparing HPC applications for Exascale: challenges and recommendations

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

2014

  1. Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

    Service Oriented Computing and Applications, Vol. 8, Núm. 4, pp. 323-339

2013

  1. Engineering virtualized services

    ACM International Conference Proceeding Series

2012

  1. Preface

    Journal of Logic and Algebraic Programming

  2. The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems

    International Journal on Software Tools for Technology Transfer, Vol. 14, Núm. 5, pp. 567-588

2011

  1. Simulating concurrent behaviors with worst-case cost bounds

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