Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
PABLO MANUEL
RABANAL BASALO
Profesor titular de universidad
Publicaciones en las que colabora con PABLO MANUEL RABANAL BASALO (38)
2020
-
A Cognitive-based Tool to Teach how to Teach
IEEE Transactions on Systems, Man, and Cybernetics: Systems
2019
-
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
-
Guest editorial
Journal of Systems and Information Technology
2017
-
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
-
Applications of river formation dynamics
Journal of Computational Science, Vol. 22, pp. 26-35
-
Data-aware automatic derivation of choreography-conforming systems of services
Computer Standards and Interfaces, Vol. 53, pp. 59-79
-
How to make a best-seller: Optimal product design problems
Applied Soft Computing Journal, Vol. 55, pp. 178-196
2016
-
Assessing metaheuristics by means of random benchmarks
Procedia Computer Science
-
Automatic media planning: Optimal advertisement placement problems
2016 IEEE Congress on Evolutionary Computation, CEC 2016
2015
-
A formal method for parallel genetic algorithms
Procedia Computer Science
-
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
-
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions
IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894
-
Parallelizing Particle Swarm Optimization in a functional programming environment
Algorithms, Vol. 7, Núm. 4, pp. 554-581
2013
-
An ACO-RFD hybrid method to solve NP-complete problems
Frontiers of Computer Science, Vol. 7, Núm. 5, pp. 729-744
-
Comparing problem solving strategies for NP-hard optimization problems
Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25
-
Eden's bees: Parallelizing artificial bee colony in a functional environment
Procedia Computer Science
-
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
-
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems
Proceedings of the ACM Symposium on Applied Computing
2012
-
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Journal of Logic and Algebraic Programming
-
Improving the automatic derivation of choreography-conforming web services systems
Procedia Computer Science