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
2012007
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1372008
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
742008
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
492008
Applying river formation dynamics to solve NP-complete problems
P Rabanal, I Rodríguez, F Rubio
Nature-inspired algorithms for optimisation, 333-368, 2009
422009
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
412005
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
392008
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
372006
Conformance testing relations for timed systems
M Núnez, I Rodríguez
International Workshop on Formal Approaches to Software Testing, 103-117, 2005
362005
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
362001
Towards testing stochastic timed systems
M Núnez, I Rodríguez
Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd …, 2003
342003
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
Applications of river formation dynamics
P Rabanal, I Rodríguez, F Rubio
Journal of computational science 22, 26-35, 2017
282017
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
282014
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
282013
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
262002
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
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
232005
Including malicious agents into a collaborative learning environment
N López, M Núnez, I Rodríguez, F Rubio
International Conference on Intelligent Tutoring Systems, 51-60, 2002
232002
The system can't perform the operation now. Try again later.
Articles 1–20