Facultad de Informática, Universidad Complutense de Madrid
Verified email at
Cited by
Cited by
Using river formation dynamics to design heuristic algorithms
P Rabanal, I Rodríguez, F Rubio
International conference on unconventional computation, 163-177, 2007
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 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
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
Test de lateralidad de la prueba neuropsicológica
MP Martín Lobo, C García-Castellón, I Rodríguez, C Vallejo
Instituto de Neuropsicología y Educación. Madrid: Fomento, 2011
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
Di-bromo-based small-molecule inhibitors of the PD-1/PD-L1 immune checkpoint
M Konieczny, B Musielak, J Kocik, L Skalniak, D Sala, M Czub, ...
Journal of Medicinal Chemistry 63 (19), 11271-11285, 2020
Applying river formation dynamics to solve NP-complete problems
P Rabanal, I Rodríguez, F Rubio
Nature-inspired algorithms for optimisation, 333-368, 2009
VP4 monotype specificities among porcine rotavirus strains of the same VP4 serotype
F Liprandi, I Rodriguez, C Pina, G Larralde, M Gorziglia
Journal of virology 65 (3), 1658-1661, 1991
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
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
Conformance testing relations for timed systems
M Núnez, I Rodríguez
International Workshop on Formal Approaches to Software Testing, 103-117, 2005
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
Towards testing stochastic timed systems
M Núnez, I Rodríguez
Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd …, 2003
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
Seroprevalence and correlates of human papillomavirus 16/18 seropositivity among young women in Costa Rica
S Coseo, C Porras, A Hildesheim, AC Rodriguez, M Schiffman, R Herrero, ...
Sexually Transmitted Diseases 37 (11), 706-714, 2010
Sexismo, hostilidad y benevolencia. Género y creencias asociadas a la violencia de pareja
S Palacios, I Rodríguez
XVII Congreso de Estudios Vascos: Innovación para el progreso social …, 2012
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
Malaria diagnosis under field conditions in the Venezuelan Amazon
WG Metzger, S Vivas-Martinez, I Rodriguez, J Goncalves, E Bongard, ...
Transactions of the Royal Society of Tropical Medicine and Hygiene 102 (1 …, 2008
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
The system can't perform the operation now. Try again later.
Articles 1–20