| Using river formation dynamics to design heuristic algorithms P Rabanal, I Rodríguez, F Rubio International conference on unconventional computation, 163-177, 2007 | 194 | 2007 |
| Formal testing from timed finite state machines MG Merayo, M Núñez, I Rodríguez Computer networks 52 (2), 432-460, 2008 | 135 | 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 | 78 | 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 |
| 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 | 44 | 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 | 42 | 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 | 40 | 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 | 40 | 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 | 39 | 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 | 38 | 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 | 36 | 2008 |
| 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 |
| 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 | 36 | 2001 |
| Towards testing stochastic timed systems M Núnez, I Rodríguez Formal Techniques for Networked and Distributed Systems-FORTE 2003: 23rd …, 2003 | 35 | 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 | 31 | 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 | 31 | 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 | 30 | 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 | 30 | 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 | 29 | 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 | 27 | 2002 |
Fernando RubioUniversidad Complutense de MadridVerified email at sip.ucm.es
