Follow
ISMAEL RODRIGUEZ
Title
Cited by
Cited by
Year
Using river formation dynamics to design heuristic algorithms
P Rabanal, I Rodríguez, F Rubio
International conference on unconventional computation, 163-177, 2007
2072007
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1412008
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
782008
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
532008
Applying river formation dynamics to solve NP-complete problems
P Rabanal, I Rodríguez, F Rubio
Nature-inspired algorithms for optimisation, 333-368, 2009
432009
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
422005
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
412008
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
412006
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
372001
Conformance testing relations for timed systems
M Núnez, I Rodríguez
International Workshop on Formal Approaches to Software Testing, 103-117, 2005
362005
Towards testing stochastic timed systems
M Núnez, I Rodríguez
Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd …, 2003
362003
Applications of river formation dynamics
P Rabanal, I Rodríguez, F Rubio
Journal of computational science 22, 26-35, 2017
332017
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
312014
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
312008
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
302013
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
272002
Encoding PAMR into (timed) EFSMs
M Núñez, I Rodríguez
Formal Techniques for Networked and Distributed Sytems—FORTE 2002: 22nd …, 2002
272002
How to make a best-seller: Optimal product design problems
I Rodríguez, P Rabanal, F Rubio
Applied Soft Computing 55, 178-196, 2017
252017
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
242005
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
242003
The system can't perform the operation now. Try again later.
Articles 1–20