Seguir
ISMAEL RODRIGUEZ
ISMAEL RODRIGUEZ
Facultad de Informática, Universidad Complutense de Madrid
Dirección de correo verificada de ucm.es
Título
Citado por
Citado por
Año
Using river formation dynamics to design heuristic algorithms
P Rabanal, I Rodríguez, F Rubio
International conference on unconventional computation, 163-177, 2007
1762007
Formal testing from timed finite state machines
MG Merayo, M Núñez, I Rodríguez
Computer networks 52 (2), 432-460, 2008
1312008
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
752008
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
502008
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
442011
Applying river formation dynamics to solve NP-complete problems
P Rabanal, I Rodríguez, F Rubio
Nature-inspired algorithms for optimisation, 333-368, 2009
402009
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
401991
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
382005
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
International Conference on Formal Techniques for Networked and Distributed …, 2001
362001
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
352006
Towards testing stochastic timed systems
M Núnez, I Rodríguez
International Conference on Formal Techniques for Networked and Distributed …, 2003
352003
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
342008
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
312008
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, 706-714, 2010
302010
Finding minimum spanning/distances trees by using river formation dynamics
P Rabanal, I Rodríguez, F Rubio
International Conference on Ant Colony Optimization and Swarm Intelligence …, 2008
302008
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
292014
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
272012
Encoding PAMR into (timed) EFSMs
M Núñez, I Rodríguez
International Conference on Formal Techniques for Networked and Distributed …, 2002
262002
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
252002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20