Publicaciones en colaboración con investigadores/as de University of Leicester (7)

2023

  1. Serverless Architecture for Data Processing and Detecting Anomalies with the Mars Express MARSIS Instrument

    Astronomical Journal, Vol. 166, Núm. 1

2017

  1. Preface

    Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017

  2. Validation of a Geant4 full model for the MIXS instrument at BepiColombo

    2017 17th European Conference on Radiation and Its Effects on Components and Systems, RADECS 2017

2016

  1. The effect of the induced magnetic field on the electron density vertical profile of the Mars ionosphere: A Mars Express MARSIS radar data analysis and interpretation, a case study

    Planetary and Space Science, Vol. 126, pp. 49-62

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