Se realacionan a continuación artículos y ponencias de profesores e investigadores de la Facultad de Informática UCM recogidos en Web of Science durante el pasado mes de julio.

Advanced Technologies and Communication Solutions for Internet of Things / Jeong, Young-Sik; Chilamkurti, Naveen; Garcia Villalba, Luis Javier.

Conditional termination of loops over heap-allocated data / Alberta, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Roman-Diez, Guillermo.

Configuration Mapping Algorithms to Reduce Energy and Time Reconfiguration Overheads in Reconfigurable Systems / Antonio Clemente, Juan; Perez Ramo, Elena; Resano, Javier; Mozos, Daniel; Catthoor, Francky.

Design and evaluation of a decentralised information service architecture for IEEE 802.21 networks / Buiati, Fabio; Garcia Villalba, Luis Javier; Ruperez Canas, Delfin; Corujo, Daniel; Aguiar, Rui L.

Integrating Sensory/Actuation Systems in Agricultural Vehicles / Emmi, Luis; Gonzalez-de-Soto, Mariano; Pajares, Gonzalo; Gonzalez-de-Santos, Pablo.

Modelling and Analyzing Parallel Applications in Highly Distributed Systems / Nunez, Alberto; Nunez, Manuel; Merayo, Mercedes G.; Nunez, Sergio.

A Multilevel Thresholding algorithm using electromagnetism optimization / Oliva, Diego; Cuevas, Erik; Pajares, Gonzalo; Zaldivar, Daniel; Osuna, Valentin.

On the fractional Newton and wave equation in one space dimension / Velasco, M. P.; Vazquez, L.

Open source verification in an anonymous volunteer network / Breuer, Peter T.; Pickin, Simon.

A performance/cost model for a CUDA drug discovery application on physical and public cloud infrastructures / Guerrero, Gines D.; Wallace, Richard M.; Vazquez-Poletti, Jose L.; Cecilia, Jose M.; Garcia, Jose M.; Mozos, Daniel; Perez-Sanchez, Horacio.

Reviewing Microgrids from a Multi-Agent Systems Perspective / Gomez-Sanz, Jorge J.; Garcia-Rodriguez, Sandra; Cuartero-Soler, Nuria; Hernandez-Callejo, Luis.

Rewriting and narrowing for constructor systems with call-time choice semantics / Lopez-Fraguas, Francisco J.; Martin-Martin, Enrique; Rodriguez-Hortala, Juan; Sanchez-Hernandez, Jaime.

Singular and plural functions for functional logic programming / Riesco, Adrian; Rodriguez-Hortala, Juan.

Some new bounds for binary multiple burst-correcting codes / Garcia Villalba, L. J.; Sandoval Orozco, A. L.; Blaum, M.

A Transformation-based implementation for CLP with qualification and proximity / Caballero, R.; Rodriguez-Artalejo, M.; Romero-Diaz, C. A.