Publicaciones en colaboración con investigadores/as de Imperial College London (13)

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)

2017

  1. SaaS enabled admission control for MCMC simulation in cloud computing infrastructures

    Computer Physics Communications, Vol. 211, pp. 88-97

2014

  1. Principles of Pervasive Cloud Monitoring

    INFORMATION SCIENCES AND SYSTEMS 2014

2009

  1. Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008

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