Publicaciones (38) Publicaciones de PABLO MANUEL RABANAL BASALO

2020

  1. A Cognitive-based Tool to Teach how to Teach

    IEEE Transactions on Systems, Man, and Cybernetics: Systems

2019

  1. Towards Applying River Formation Dynamics in Continuous Optimization Problems

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

2018

  1. Guest editorial

    Journal of Systems and Information Technology

2017

  1. A parallel swarm library based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10305 LNCS, pp. 3-15

  2. Applications of river formation dynamics

    Journal of Computational Science, Vol. 22, pp. 26-35

  3. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79

  4. How to make a best-seller: Optimal product design problems

    Applied Soft Computing Journal, Vol. 55, pp. 178-196

2016

  1. Assessing metaheuristics by means of random benchmarks

    Procedia Computer Science

  2. Automatic media planning: Optimal advertisement placement problems

    2016 IEEE Congress on Evolutionary Computation, CEC 2016

2015

  1. A formal method for parallel genetic algorithms

    Procedia Computer Science

  2. On the uselessness of finite benchmarks to assess evolutionary and swarm methods

    GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference

2014

  1. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

    IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894

  2. Parallelizing Particle Swarm Optimization in a functional programming environment

    Algorithms, Vol. 7, Núm. 4, pp. 554-581

2013

  1. An ACO-RFD hybrid method to solve NP-complete problems

    Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744

  2. Comparing problem solving strategies for NP-hard optimization problems

    Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25

  3. Eden's bees: Parallelizing artificial bee colony in a functional environment

    Procedia Computer Science

  4. Testing restorable systems: Formal definition and heuristic solution based on river formation dynamics

    Formal Aspects of Computing, Vol. 25, Núm. 5, pp. 743-768

  5. Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems

    Proceedings of the ACM Symposium on Applied Computing

2012

  1. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

    Journal of Logic and Algebraic Programming

  2. Improving the automatic derivation of choreography-conforming web services systems

    Procedia Computer Science