Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. - Francisco Durán 001; Antonio Moreno-Delgado; José M. Álvarez-Palomo (FASE, 2016)

Digital Avatars: Promoting Independent Living for Older Adults. - Manuel F. Bertoa; Nathalie Moreno; Alejandro Pérez-Vereda; David Bandera; José M. Álvarez-Palomo; Carlos Canal (Wirel. Commun. Mob. Comput., 2020)