Publicaciones en colaboración con investigadores/as de University College London (18)

2022

  1. Super-optimization of Smart Contracts

    ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

2020

  1. Synthesis of Super-Optimized Smart Contracts Using Max-SMT

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

2018

  1. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

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

  2. First scientific observations with MEGARA at GTC

    Proceedings of SPIE - The International Society for Optical Engineering

  3. MEGARA, the R=6000-20000 IFU and MOS of GTC

    Proceedings of SPIE - The International Society for Optical Engineering

  4. SDN-Actors: Modeling and verification of SDN programs

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

2017

  1. Investigating the Impact of Gaming Habits, Gender, and Age on the Effectiveness of an Educational Video Game: An Exploratory Study

    IEEE Transactions on Learning Technologies, Vol. 10, Núm. 2, pp. 236-246

2016

  1. An instrument to build a gamer clustering framework according to gaming preferences and habits

    Computers in Human Behavior, Vol. 62, pp. 353-363

  2. MEGARA, the new intermediate-resolution optical IFU and MOS for GTC: Getting ready for the telescope

    Proceedings of SPIE - The International Society for Optical Engineering

2015

  1. Can educational video games increase high school students' interest in theatre?

    Computers and Education, Vol. 87, pp. 182-191

  2. Introduction to the special issue on Mutation Testing

    Software Testing Verification and Reliability

2014

  1. Proving non-termination using max-SMT

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

2011

  1. An Architecture for Federated Cloud Computing

    Cloud Computing: Principles and Paradigms (John Wiley and Sons), pp. 391-411

2009

  1. Cloud computing and RESERVOIR project

    Nuovo Cimento della Societa Italiana di Fisica C, Vol. 32, Núm. 2, pp. 98-103

  2. Design for future internet service infrastructures

    Towards the Future Internet: A European Research Perspective (IOS Press), pp. 227-237

  3. RESERVOIR: Management technologies and requirements for next generation service oriented infrastructures

    2009 IFIP/IEEE International Symposium on Integrated Network Management, IM 2009

  4. The Reservoir model and architecture for open federated cloud computing

    IBM Journal of Research and Development, Vol. 53, Núm. 4