Publicaciones en colaboración con investigadores/as de University of Paris-Saclay (7)

2019

  1. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric

    Science of Computer Programming, Vol. 184

  2. Ferroelectric Control of Interface Spin Filtering in Multiferroic Tunnel Junctions

    Physical Review Letters, Vol. 122, Núm. 3

2018

  1. Changes of spin axis and rate of the asteroid (99942) Apophis during the 2029 close encounter with Earth: A constrained model

    Astronomy and Astrophysics, Vol. 617

2017

  1. Resonant electron tunnelling assisted by charged domain walls in multiferroic tunnel junctions

    Nature Nanotechnology, Vol. 12, Núm. 7, pp. 655-662

2011

  1. The Martian atmospheric boundary layer

    Reviews of Geophysics, Vol. 49, Núm. 3

2006

  1. Higher-order termination: From kruskal to computability

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

1999

  1. Higher-order recursive path ordering

    Proceedings - Symposium on Logic in Computer Science, pp. 402-411