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

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

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

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