From GranSim to Paradise. - Felix Hernandez; Ricardo Pena; Fernando Rubio 001 (Scottish Functional Programming Workshop, 1999)

Implementation Skeletons in Eden: Low-Effort Parallel Programming. - Ulrike Klusik; Rita Loogen; Steffen Priebe; Fernando Rubio 001 (IFL, 2000)

Optimising Eden by transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (Scottish Functional Programming Workshop, 2000)

Optimizing Eden by Program Transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (WFLP, 2000)

Adding Traces to a Lazy Monadic Evaluator. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (EUROCAST, 2001)

Parallel Functional Programming at Two Levels of Abstraction. - Ricardo Pena; Fernando Rubio 001 (PPDP, 2001)

Deriving Non-Hierarchical Process Topologies. - Ricardo Pena; Fernando Rubio 001; Clara Segura (Scottish Functional Programming Workshop, 2001)

Introducing the Golden Section to Computer Science. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2002)

WHAT: Web-Based Haskell Adaptive Tutor. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (AIMSA, 2002)

Stochastic Process Algebras Meet Eden. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (IFM, 2002)

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IICS, 2002)

Including Malicious Agents into a Collaborative Learning Environment. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Intelligent Tutoring Systems, 2002)

Parallelism Abstractions in Eden. - Rita Loogen; Yolanda Ortega-Mallén; Ricardo Peña; Steffen Priebe; Fernando Rubio 001 (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Defining Meta-Adaptable Living Agents. - Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2003)

Towards the Identification of Living Agents in Complex Computational Environments. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2003)

A Parallel Framework for Computational Science. - Fernando Rubio 001; Ismael Rodríguez 001 (International Conference on Computational Science, 2003)

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2003)

A Framework for Selecting Components Automatically: A First Approach. - Ismael Rodríguez 001; Fernando Rubio 001 (TACoS, 2003)

Comparing Parallel Functional Languages: Programming and Performance. - Hans-Wolfgang Loidl; Fernando Rubio 001; Norman Scaife; Kevin Hammond; Susumu Horiguchi; Ulrike Klusik; Rita Loogen; Greg Michaelson; Ricardo Pena; Steffen Priebe; Álvaro J. Rebón Portillo; Philip W. Trinder (High. Order Symb. Comput., 2003)

Applying Occam's Razor to FSMs. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2004)

A Parallel Language for Cognitive Informatics. - Fernando Rubio 001; Ismael Rodríguez 001 (IEEE ICCI, 2004)

A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (AIMSA, 2004)

Testing of Autonomous Agents Described as Utility State Machines. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (FORTE Workshops, 2004)

Specification of Autonomous Agents in E-commerce Systems. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (FORTE Workshops, 2004)

A Formal Framework to Reduce Communications in Communication Systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IICS, 2004)

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2004)

Predicting performance in the presence of stochastic information. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Comput. Syst. Sci. Eng., 2004)

An integrated framework for the performance analysis of asynchronous communicating stochastic processes. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Formal Aspects Comput., 2004)

A formal framework for analyzing reusability complexity in component-based systems. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (Inf. Softw. Technol., 2004)

Improving privacy in Vickrey auctions. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SIGecom Exch., 2004)

Testing learning strategies. - Mercedes Hidalgo-Herrero; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2005)

Formalizing the Debugging Process in Haskell. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (ICTAC, 2005)

Testing Speculative Work in a Lazy/Eager Parallel Functional Language. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (LCPC, 2005)

Towards Improving Skeletons in Eden. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (PARCO, 2005)

Formal specification of multi-agent e-barter systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Sci. Comput. Program., 2005)

Specification and testing of autonomous agents in e-commerce systems. - Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Softw. Test. Verification Reliab., 2005)

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)

Introducing Debugging Capabilities to Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (Ershov Memorial Conference, 2006)

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (IFL, 2006)

Editorial message: special track on e-commerce technologies. - Sviatoslav B. Braynov; Manuel Núñez 001; Fernando Rubio 001 (SAC, 2006)

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

Analyzing the influence of mixed evaluation on the performance of Eden skeletons. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (Parallel Comput., 2006)

Defining and testing metaadaptable agents. - Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE Trans. Syst. Man Cybern. Syst., 2006)

Observing intermediate structures in a parallel lazy functional language. - Alberto de la Encina; Luis Llana; Fernando Rubio 001; Mercedes Hidalgo-Herrero (PPDP, 2007)

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

Cognitive Processes by Using Finite State Machines. - Ismael Rodríguez 001; Manuel Núñez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2007)

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

A Debugger for Parallel Haskell Dialects. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (ICA3PP, 2008)

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

Formally Testing Liveness by Means of Compression Rates. - César Andrés; Ismael Rodríguez 001; Fernando Rubio 001 (PPSN, 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)

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)

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

Comparing Learning Methods. - Mercedes Hidalgo-Herrero; Ismael Rodríguez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2009)

A Debugging System Based on Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (J. Univers. Comput. Sci., 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)

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)

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)

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)

pHood: Tool Description, Analysis Techniques, and Case Studies. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (New Gener. Comput., 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)

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

Selecting Algorithms by Using ATD. - Mercedes Hidalgo-Herrero; Alberto de la Encina; Fernando Rubio 001 (SMC, 2018)

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

The Problems of Selecting Problems. - Alberto de la Encina; Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IWANN (2), 2019)

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

Dealing with Swarm Intelligence on GPUs. - Iván Cataveral; Fernando Rubio 001 (SMC, 2019)

Exporting Rain-Fall optimization concepts to Artificial Bee Colony. - Alberto de la Encina; Natalia López; Fernando Rubio 001 (SMC, 2019)

Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. - Fernando Rubio 001; Ismael Rodríguez 001 (Complex., 2019)

Measuring the benefits of lying in MARA under egalitarian social welfare. - Jonathan Carrero; Ismael Rodríguez 001; Fernando Rubio 001 (SMC, 2020)

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)

Introducing complexity to formal testing. - Ismael Rodríguez 001; Fernando Rosa-Velardo; Fernando Rubio 001 (J. Log. Algebraic Methods Program., 2020)

A contract among autonomous agents to deal with egalitarian social welfare. - Jonathan Carrero; Ismael Rodríguez 001; Fernando Rubio 001 (ICCI*CC, 2021)

IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II). - Witold Kinsner; Haibin Zhu 001; George Baciu; Guiming Luo; Fernando Rubio 001; Jie Sui; Runhe Huang; Hironori Hiraishi; Jun Peng; Liang Chen 012 (ICCI*CC, 2021)

Evaluating genetic algorithms through the approximability hierarchy. - Alba Muñoz; Fernando Rubio 001 (J. Comput. Sci., 2021)

Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. - Jonathan Carrero; Ismael Rodríguez 001; Fernando Rubio 001 (CEC, 2022)

On the hardness of finding good pacts. - Aitor Godoy; Ismael Rodríguez 001; Fernando Rubio 001 (CEC, 2022)

A tool to certify dynamic benchmarks. - Jonathan Carrero; Ismael Rodríguez 001; Fernando Rubio 001 (SMC, 2022)

Majority Problems: Formal Study and Practical Resolution. - Aitor Godoy; Ismael Rodríguez 001; Fernando Rubio 001 (SMC, 2023)

Complexity of adaptive testing in scenarios defined extensionally. - Ismael Rodríguez 001; David Rubio; Fernando Rubio 001 (Frontiers Comput. Sci., 2023)

How to stop undesired propagations by using bi-level genetic algorithms. - Javier Galiana; Ismael Rodríguez 001; Fernando Rubio 001 (Appl. Soft Comput., 2023)

Voting according to one's political stances is difficult: Problems definition, computational hardness, and approximate solutions. - Aitor Godoy; Ismael Rodríguez 001; Fernando Rubio 001 (J. Comput. Sci., 2024)

Heuristic optimization algorithms for advertising campaigns. - Álvaro Seco; Natalia López; Fernando Rubio 001 (Expert Syst. Appl., 2025)