Publicaciones en colaboración con investigadores/as de University of Melbourne (15)

2024

  1. Sustainable edge computing: Challenges and future directions

    Software - Practice and Experience, Vol. 54, Núm. 11, pp. 2272-2296

2019

  1. A manifesto for future generation cloud computing: Research directions for the next decade

    ACM Computing Surveys, Vol. 51, Núm. 5

2017

  1. Context-sensitive dynamic partial order reduction

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

  2. Dynamic Voltage and Frequency Scaling-aware dynamic consolidation of virtual machines for energy efficient cloud data centers

    Concurrency Computation , Vol. 29, Núm. 10

  3. Preface

    Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017

2015

  1. DVFS-Aware Consolidation for Energy-Efficient Clouds

    Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT

  2. Two type extensions for the constraint modeling language MiniZinc

    Science of Computer Programming, Vol. 111, Núm. P1, pp. 156-189

2014

  1. An experimental power profile of Energy Efficient Ethernet switches

    Computer Communications, Vol. 50, pp. 110-118

2013

  1. A CLP heap solver for test case generation

    Theory and Practice of Logic Programming

  2. Finite type extensions in constraint programming

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013

2012

  1. An energy consumption model for energy efficient ethernet switches

    Proceedings of the 2012 International Conference on High Performance Computing and Simulation, HPCS 2012

2009

  1. A declarative encoding of telecommunications feature subscription in SAT

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2007

  1. Portfolio and investment risk analysis on global grids

    Journal of Computer and System Sciences, Vol. 73, Núm. 8, pp. 1164-1175

2002

  1. Combining norms to prove termination

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

2001

  1. Higher-precision groundness analysis

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