Publications by the researcher in collaboration with PABLO CERRO CAÑIZARES (9)

2018

  1. Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

    Journal of Information and Telecommunication, Vol. 2, Núm. 1, pp. 2-18

  2. Mutomvo: Mutation testing framework for simulated cloud and HPC environments

    Journal of Systems and Software, Vol. 143, pp. 187-207

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

  3. LAnt: Model driven approach for ant colony optimization 1

    Journal of Intelligent and Fuzzy Systems

  4. Using ants to fight wildfire

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

2016

  1. EMINENT: Embarrassingly parallel mutation testing

    Procedia Computer Science

  2. FARTHEST: FormAl distRibuTed scHema to dEtect suspicious arTefacts

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

  3. Intelligent secure communications between systems

    Studies in Computational Intelligence