Fernando Rubio

Appl. Soft Comput., March, 2023

Complexity of adaptive testing in scenarios defined extensionally.

[BibT_eX]

[DOI]

David Rubio

Frontiers Comput. Sci., 2023

Majority Problems: Formal Study and Practical Resolution.

[BibT_eX]

[DOI]

Aitor Godoy

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

2022

A tool to certify dynamic benchmarks.

[BibT_eX]

[DOI]

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

On the hardness of finding good pacts.

[BibT_eX]

[DOI]

Aitor Godoy

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2021

Evaluating genetic algorithms through the approximability hierarchy.

[BibT_eX]

[DOI]

Alba Muñoz

J. Comput. Sci., 2021

IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II).

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

A contract among autonomous agents to deal with egalitarian social welfare.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

2020

Introducing complexity to formal testing.

[BibT_eX]

[DOI]

Fernando Rosa-Velardo

J. Log. Algebraic Methods Program., 2020

A Cognitive-based Tool to Teach how to Teach.

[BibT_eX]

[DOI]

Martín Manuel Garbayo Moreno

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

Measuring the benefits of lying in MARA under egalitarian social welfare.

[BibT_eX]

[DOI]

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

2019

Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems.

[BibT_eX]

[DOI]

Complex., 2019

Exporting Rain-Fall optimization concepts to Artificial Bee Colony.

[BibT_eX]

[DOI]

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

Dealing with Swarm Intelligence on GPUs.

[BibT_eX]

[DOI]

Iván Cataveral

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

Towards Applying River Formation Dynamics in Continuous Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2019

The Problems of Selecting Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2019

2018

Guest editorial.

[BibT_eX]

[DOI]

J. Syst. Inf. Technol., 2018

Selecting Algorithms by Using ATD.

[BibT_eX]

[DOI]

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

2017

Applications of river formation dynamics.

[BibT_eX]

[DOI]

J. Comput. Sci., 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

pHood: Tool Description, Analysis Techniques, and Case Studies.

[BibT_eX]

[DOI]

New Gener. Comput., 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

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

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2013

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

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

A Debugging System Based on Natural Semantics.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Comparing Learning Methods.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 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

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

2008

Testing the Behaviour of Entities in a Cognitive Language.

[BibT_eX]

[DOI]

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

Formally Testing Liveness by Means of Compression Rates.

[BibT_eX]

[DOI]

César Andrés

Proceedings of the Parallel Problem Solving from Nature, 2008

Solving Dynamic TSP by Using River Formation Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

A Debugger for Parallel Haskell Dialects.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 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

Cognitive Processes by Using Finite State Machines.

[BibT_eX]

[DOI]

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

Using River Formation Dynamics to Design Heuristic Algorithms.

[BibT_eX]

[DOI]

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

Observing intermediate structures in a parallel lazy functional language.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Defining and testing metaadaptable agents.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2006

Analyzing the influence of mixed evaluation on the performance of Eden skeletons.

[BibT_eX]

[DOI]

Parallel Comput., 2006

Market-Based Adaptive Discussion Forums.

[BibT_eX]

[DOI]

Proceedings of the Advanced Internet Based Systems and Applications, 2006

Editorial message: special track on e-commerce technologies.

[BibT_eX]

[DOI]

Sviatoslav B. Braynov

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2006

Introducing Debugging Capabilities to Natural Semantics.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Testing Entities in a Parallel Cognitive Language.

[BibT_eX]

[DOI]

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005

Specification and testing of autonomous agents in e-commerce systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2005

Formal specification of multi-agent e-barter systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Towards Improving Skeletons in Eden.

[BibT_eX]

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Testing Speculative Work in a Lazy/Eager Parallel Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2005

Formalizing the Debugging Process in Haskell.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

Testing learning strategies.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Improving privacy in Vickrey auctions.

[BibT_eX]

[DOI]

SIGecom Exch., 2004

A formal framework for analyzing reusability complexity in component-based systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2004

An integrated framework for the performance analysis of asynchronous communicating stochastic processes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Predicting performance in the presence of stochastic information.

[BibT_eX]

Comput. Syst. Sci. Eng., 2004

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Formal Framework to Reduce Communications in Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004

Specification of Autonomous Agents in E-commerce Systems.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Testing of Autonomous Agents Described as Utility State Machines.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2004

A Parallel Language for Cognitive Informatics.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

Applying Occam's Razor to FSMs.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

2003

Comparing Parallel Functional Languages: Programming and Performance.

[BibT_eX]

[DOI]

Álvaro J. Rebón Portillo

Philip W. Trinder

High. Order Symb. Comput., 2003

A Framework for Selecting Components Automatically: A First Approach.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

A Parallel Framework for Computational Science.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2003, 2003

Towards the Identification of Living Agents in Complex Computational Environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

Defining Meta-Adaptable Living Agents.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

Parallelism Abstractions in Eden.

[BibT_eX]

[DOI]

Rita Loogen

Ricardo Peña

Steffen Priebe

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002

Including Malicious Agents into a Collaborative Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Stochastic Process Algebras Meet Eden.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

WHAT: Web-Based Haskell Adaptive Tutor.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

Introducing the Golden Section to Computer Science.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Deriving Non-Hierarchical Process Topologies.

[BibT_eX]

Ricardo Pena

Clara Segura

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

Parallel Functional Programming at Two Levels of Abstraction.

[BibT_eX]

[DOI]

Ricardo Pena

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Adding Traces to a Lazy Monadic Evaluator.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2001

2000

Optimizing Eden by Program Transformation.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimising Eden by transformation.

[BibT_eX]

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

Implementation Skeletons in Eden: Low-Effort Parallel Programming.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

From GranSim to Paradise.

[BibT_eX]

Felix Hernandez

Ricardo Pena