Testing Entities in a Parallel Cognitive Language. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2006)

Market-Based Adaptive Discussion Forums. - Natalia López; Manuel Núñez 001; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (SITIS, 2006)

Using River Formation Dynamics to Design Heuristic Algorithms. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (UC, 2007)

Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ANTS Conference, 2008)

Solving Dynamic TSP by Using River Formation Dynamics. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ICNC (1), 2008)

Testing the Behaviour of Entities in a Cognitive Language. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2008)

Hybridizing River Formation Dynamics and Ant Colony Optimization. - Pablo Rabanal; Ismael Rodríguez 001 (ECAL (2), 2009)

A Formal Approach to Heuristically Test Restorable Systems. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ICTAC, 2009)

Applying Evolutionary Techniques to Debug Functional Programs. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Fernando Rubio 001 (IWANN (1), 2009)

Testing Restorable Systems by Using RFD. - Pablo Rabanal; Ismael Rodríguez 001 (IWANN (1), 2009)

Applying Evolutionary Computation Methods to Formal Testing and Model Checking. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (IWANN (1), 2009)

Applying River Formation Dynamics to Solve NP-Complete Problems. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Nature-Inspired Algorithms for Optimisation, 2009)

Applying River Formation Dynamics to the Steiner Tree Problem. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2010)

Applying RFD to Construct Optimal Quality-Investment Trees. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (J. Univers. Comput. Sci., 2010)

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. - Pablo Rabanal; José Antonio Mateo; Ismael Rodríguez 001; Gregorio Díaz 001 (ICWS, 2011)

A Preliminary General Testing Method Based on Genetic Algorithms. - Luis M. Alonso; Pablo Rabanal; Ismael Rodríguez 001 (IWANN (2), 2011)

A Parallel Skeleton for Genetic Algorithms. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Fernando Rubio 001 (IWANN (2), 2011)

Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Evol. Intell., 2011)

A centralized and a decentralized method to automatically derive choreography-conforming web service systems. - Ismael Rodríguez 001; Gregorio Díaz 001; Pablo Rabanal; José Antonio Mateo (J. Log. Algebraic Methods Program., 2012)

Improving the Automatic Derivation of Choreography-conforming Web Services Systems. - Pablo Rabanal; Ismael Rodríguez 001; José Antonio Mateo; Gregorio Díaz 001 (ICCS, 2012)

Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. - Fernando Rubio 001; Alberto de la Encina; Pablo Rabanal; Ismael Rodríguez 001 (ICCS, 2013)

Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. - Pablo Rabanal; Ismael Rodríguez 001 (SAC, 2013)

Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Formal Aspects Comput., 2013)

An ACO-RFD hybrid method to solve NP-complete problems. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Frontiers Comput. Sci., 2013)

Comparing Problem Solving Strategies for NP-hard Optimization Problems. - Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Fundam. Informaticae, 2013)

Parallelizing Particle Swarm Optimization in a Functional Programming Environment. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Algorithms, 2014)

A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. - Ismael Rodríguez 001; Luis Llana; Pablo Rabanal (IEEE Trans. Software Eng., 2014)

On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (GECCO (Companion), 2015)

A Formal Method for Parallel Genetic Algorithms1. - Natalia López; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ICCS, 2015)

Automatic media planning: Optimal advertisement placement problems. - Ismael Rodríguez 001; Fernando Rubio 001; Pablo Rabanal (CEC, 2016)

Assessing Metaheuristics by Means of Random Benchmarks. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ICCS, 2016)

A Parallel Swarm Library Based on Functional Programming. - Fernando Rubio 001; Alberto de la Encina; Pablo Rabanal; Ismael Rodríguez 001 (IWANN (1), 2017)

How to make a best-seller: Optimal product design problems. - Ismael Rodríguez 001; Pablo Rabanal; Fernando Rubio 001 (Appl. Soft Comput., 2017)

Data-aware automatic derivation of choreography-conforming systems of services. - Pablo Rabanal; José Antonio Mateo; Ismael Rodríguez 001; Gregorio Díaz 001 (Comput. Stand. Interfaces, 2017)

Applications of river formation dynamics. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (J. Comput. Sci., 2017)

Guest editorial. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (J. Syst. Inf. Technol., 2018)

Towards Applying River Formation Dynamics in Continuous Optimization Problems. - Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (IWANN (2), 2019)

A Cognitive-based Tool to Teach how to Teach. - Alberto de la Encina; Martín Manuel Garbayo Moreno; Mercedes Hidalgo-Herrero; Pablo Rabanal; Fernando Rubio 001 (SMC, 2020)