Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (8)

2022

  1. SINPA: SupportINg the automation of construction PlAnning

    Expert Systems with Applications, Vol. 190

2021

  1. TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

    IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284

2018

  1. A tool-supported framework for work planning on construction sites based on constraint programming

    Automation in Construction, Vol. 86, pp. 190-198

  2. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

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

2017

  1. A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

  2. A multi-agent system architecture for statistics managing and soccer forecasting

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

2015

  1. A methodology for designing energy-aware systems for computational science

    Procedia Computer Science

2014

  1. A methodology for aiding users to design and model cloud computing architectures

    Proceedings - 10th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2014