Ismael Rodriguez

Universidad Complutense de Madrid - Madrid / Spain

Natural Sciences / Biological Science

AD Scientific Index ID: 1602456

Complutense University of Madrid

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Universidad Complutense de Madrid

Ismael Rodriguez's MOST POPULAR ARTICLES

1-) Using river formation dynamics to design heuristic algorithms International conference on unconventional computation, 163-177, 2007

2-) Formal testing from timed finite state machines Computer networks 52 (2), 432-460, 2008

3-) Extending EFSMs to specify and test timed systems with action durations and time-outs IEEE Transactions on Computers 57 (6), 835-844, 2008

4-) HOTL: Hypotheses and observations testing logic The Journal of Logic and Algebraic Programming 74 (2), 57-93, 2008

5-) Applying river formation dynamics to solve NP-complete problems Nature-inspired algorithms for optimisation, 333-368, 2009

ARTICLES

Add your articles