Publicaciones en colaboración con investigadores/as de Universidad de la República (3)

2014

  1. Dynamic verification of mashups of service-oriented things through a mediation platform

    Journal of Universal Computer Science, Vol. 20, Núm. 8, pp. 1049-1070

2013

  1. Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things

    Communications in Computer and Information Science

1999

  1. BVRI photometry of QSO 0957+ 561A, B: Observations, new reduction method, and time delay

    Astrophysical Journal, Vol. 526, Núm. 1 PART 1, pp. 40-51