Publicacións en colaboración con investigadores/as de University of Leicester (3)

2013

  1. The promise of reconfigurable computing for hyperspectral imaging onboard systems: A review and trends

    Proceedings of the IEEE, Vol. 101, Núm. 3, pp. 698-722

2011

  1. Visual control of a remote vehicle

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2005

  1. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352