Seguir
ISMAEL RODRIGUEZ
ISMAEL RODRIGUEZ
Facultad de Informática, Universidad Complutense de Madrid
Email confirmado em ucm.es
Título
Citado por
Citado por
Ano
Using river formation dynamics to design heuristic algorithms
P Rabanal, I Rodríguez, F Rubio
International conference on unconventional computation, 163-177, 2007
1752007
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20