PABLO
CERRO CAÑIZARES
Investigador contratado
MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (8)
2022
-
SINPA: SupportINg the automation of construction PlAnning
Expert Systems with Applications, Vol. 190
2021
-
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284
2018
-
A tool-supported framework for work planning on construction sites based on constraint programming
Automation in Construction, Vol. 86, pp. 190-198
-
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
-
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
-
A multi-agent system architecture for statistics managing and soccer forecasting
2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
2015
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
2014
-
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