Using river formation dynamics to design heuristic algorithms P Rabanal, I Rodríguez, F Rubio International conference on unconventional computation, 163-177, 2007 | 208 | 2007 |
Formal testing from timed finite state machines MG Merayo, M Núñez, I Rodríguez Computer networks 52 (2), 432-460, 2008 | 141 | 2008 |
Extending EFSMs to specify and test timed systems with action durations and time-outs M Merayo, M Núñez, I Rodríguez IEEE Transactions on Computers 57 (6), 835-844, 2008 | 77 | 2008 |
HOTL: Hypotheses and observations testing logic I Rodríguez, MG Merayo, M Núñez The Journal of Logic and Algebraic Programming 74 (2), 57-93, 2008 | 53 | 2008 |
Applying river formation dynamics to solve NP-complete problems P Rabanal, I Rodríguez, F Rubio Nature-inspired algorithms for optimisation, 333-368, 2009 | 42 | 2009 |
Specification and testing of autonomous agents in e‐commerce systems M Núñez, I Rodríguez, F Rubio Software Testing, Verification and Reliability 15 (4), 211-233, 2005 | 42 | 2005 |
Solving dynamic TSP by using river formation dynamics P Rabanal, I Rodríguez, F Rubio 2008 Fourth International Conference on Natural Computation 1, 246-250, 2008 | 40 | 2008 |
Specification, testing and implementation relations for symbolic-probabilistic systems N López, M Núñez, I Rodríguez Theoretical Computer Science 353 (1-3), 228-248, 2006 | 40 | 2006 |
PAMR: A process algebra for the management of resources in concurrent systems M Núñez, I Rodríguez Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001 | 37 | 2001 |
Conformance testing relations for timed systems M Núnez, I Rodríguez International Workshop on Formal Approaches to Software Testing, 103-117, 2005 | 36 | 2005 |
Towards testing stochastic timed systems M Núnez, I Rodríguez Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd …, 2003 | 36 | 2003 |
Finding minimum spanning/distances trees by using river formation dynamics P Rabanal, I Rodríguez, F Rubio Ant Colony Optimization and Swarm Intelligence: 6th International Conference …, 2008 | 32 | 2008 |
Applications of river formation dynamics P Rabanal, I Rodríguez, F Rubio Journal of computational science 22, 26-35, 2017 | 31 | 2017 |
A General Testability Theory: Classes, properties, complexity, and testing reductions I Rodriguez, L Llana, P Rabanal IEEE Transactions on software engineering 40 (9), 862-894, 2014 | 31 | 2014 |
Comparing problem solving strategies for NP-hard optimization problems M Hidalgo-Herrero, P Rabanal, I Rodriguez, F Rubio Fundamenta Informaticae 124 (1-2), 1-25, 2013 | 29 | 2013 |
A formal framework for e-barter based on microeconomic theory and process algebras N López, M Núñez, I Rodríguez, F Rubio International Workshop on Innovative Internet Community Systems, 217-228, 2002 | 27 | 2002 |
Encoding PAMR into (timed) EFSMs M Núñez, I Rodríguez Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd …, 2002 | 27 | 2002 |
How to make a best-seller: Optimal product design problems I Rodríguez, P Rabanal, F Rubio Applied Soft Computing 55, 178-196, 2017 | 24 | 2017 |
Formal specification of multi-agent e-barter systems M Núnez, I Rodríguez, F Rubio Science of Computer Programming 57 (2), 187-216, 2005 | 24 | 2005 |
A multi-agent system for e-barter including transaction and shipping costs N Lopez, M Nunez, I Rodriguez, F Rubio Proceedings of the 2003 ACM symposium on Applied computing, 587-594, 2003 | 24 | 2003 |