Pablo Rabanal

Martín Manuel Garbayo Moreno

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2019

Towards Applying River Formation Dynamics in Continuous Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2019

2018

Guest editorial.

[BibT_eX]

[DOI]

J. Syst. Inf. Technol., 2018

2017

Applications of river formation dynamics.

[BibT_eX]

[DOI]

J. Comput. Sci., 2017

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

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2017

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

[BibT_eX]

[DOI]

Appl. Soft Comput., 2017

A Parallel Swarm Library Based on Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2017

2016

Assessing Metaheuristics by Means of Random Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science 2016, 2016

Automatic media planning: Optimal advertisement placement problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2015

A Formal Method for Parallel Genetic Algorithms<sup>1</sup>.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

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

[BibT_eX]

[DOI]

Luis Llana

IEEE Trans. Software Eng., 2014

Parallelizing Particle Swarm Optimization in a Functional Programming Environment.

[BibT_eX]

[DOI]

Algorithms, 2014

2013

Comparing Problem Solving Strategies for NP-hard Optimization Problems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

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

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

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

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

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

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2013

2012

Improving the Automatic Derivation of Choreography-conforming Web Services Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2012

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

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

2011

Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem.

[BibT_eX]

[DOI]

Evol. Intell., 2011

A Parallel Skeleton for Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

A Preliminary General Testing Method Based on Genetic Algorithms.

[BibT_eX]

[DOI]

Luis M. Alonso

Proceedings of the Advances in Computational Intelligence, 2011

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Applying RFD to Construct Optimal Quality-Investment Trees.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

Applying River Formation Dynamics to the Steiner Tree Problem.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

Applying River Formation Dynamics to Solve NP-Complete Problems.

[BibT_eX]

[DOI]

Proceedings of the Nature-Inspired Algorithms for Optimisation, 2009

Applying Evolutionary Computation Methods to Formal Testing and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Testing Restorable Systems by Using RFD.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Applying Evolutionary Techniques to Debug Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

A Formal Approach to Heuristically Test Restorable Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

Hybridizing River Formation Dynamics and Ant Colony Optimization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

2008

Testing the Behaviour of Entities in a Cognitive Language.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2008

Solving Dynamic TSP by Using River Formation Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Ant Colony Optimization and Swarm Intelligence, 2008

2007

Using River Formation Dynamics to Design Heuristic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computation, 6th International Conference, 2007

2006

Market-Based Adaptive Discussion Forums.

[BibT_eX]

[DOI]

Proceedings of the Advanced Internet Based Systems and Applications, 2006

Testing Entities in a Parallel Cognitive Language.

[BibT_eX]

[DOI]