Se relacionan a continuación los artículos de personal docente e investigador de la Facultad de Informatica UCM que han sido recogidos en Scopus durante el mes de mayo pasado.

Image source acquisition identification of mobile devices based on the use of features / Sandoval Orozco, A.L., Corripio, J.R., García Villalba, L.J., Hernández Castro, J.C.

Introduction to the Software Engineering and Formal Methods 2013 special issue / Bravetti, M., Hierons, R.M., Merayo, M.G.

A methodology for aiding users to design and model cloud computing architectures / Nunez, A., Canizares, P.C., Nunez, M.

Passive testing of communicating systems with timeouts / Merayo, M.G. , Núñez, A.

Proactive and reactive transmission power control for energy-efficient on-body communications / Vallejo, M., Recas, J., Ayala, J.L.

PTTAC: Passive testing tool for asynchronous systems / Camacho-Magrinan, M.A., Merayo, M.G., Medina-Bulo, I.