Ana Fernández Vilas

199 papers A* 1A 1B 9C 9Misc 1Journal 131Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CO-DEFEND: Continuous decentralized federated learning for secure DoH-based threat detection. Comput. Networks Diego Cajaraville-Aboy, Marta Moure-Garrido, Carlos Beis-Penedo, Carlos García-Rubio, Rebeca P. Díaz Redondo, Celeste Campo, Ana Fernández Vilas, Manuel Fernández-Veiga
2026	J	`jnl`	Decentralized Orchestration Architecture for Fluid Computing: A Secure Distributed AI Use Case. CoRR Diego Cajaraville-Aboy, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Pablo Picallo-López
2026	J	`jnl`	HLF-FSL: A decentralized federated split learning solution for IoT on hyperledger fabric. Array Carlos Beis-Penedo, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Francisco Troncoso-Pastoriza
2025	J	`jnl`	A blockchain solution for decentralized training in machine learning for IoT. Comput. Commun. Carlos Beis-Penedo, Francisco Troncoso-Pastoriza, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Martín González Soto
2025	J	`jnl`	Byzantine-Robust Aggregation for Securing Decentralized Federated Learning. IEEE Access Diego Cajaraville-Aboy, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
2025	J	`jnl`	CO-DEFEND: Continuous Decentralized Federated Learning for Secure DoH-Based Threat Detection. CoRR Diego Cajaraville-Aboy, Marta Moure-Garrido, Carlos Beis-Penedo, Carlos García-Rubio, Rebeca P. Díaz Redondo, Celeste Campo, Ana Fernández Vilas, Manuel Fernández-Veiga
2025	A	`conf`	Decentralized Orchestration Framework for Distributed AI Deployments across Fluid Computing Environments. MSWiM Diego Cajaraville-Aboy, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
2025	J	`jnl`	Experimental Analysis of Efficiency of the Messaging Layer Security for Multiple Delivery Services. CoRR David Soler, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2025	J	`jnl`	Federated Anonymous Blocklisting across Service Providers and its Application to Group Messaging. CoRR David Soler, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2025	J	`jnl`	From Physical to Logical: Graph-State-Based Connectivity in Quantum Networks. CoRR Mateo M. Blanco, Manuel Fernández-Veiga, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2025	J	`jnl`	HLF-FSL. A Decentralized Federated Split Learning Solution for IoT on Hyperledger Fabric. CoRR Carlos Beis-Penedo, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Francisco Troncoso-Pastoriza
2025	J	`jnl`	Hybrid Quantum Security for IPsec. CoRR Javier Blanco-Romero, Pedro Otero-García, Daniel Sobral-Blanco, Florina Almenárez Mendoza, Ana Fernández Vilas, Manuel Fernández-Veiga
2025	J	`jnl`	IC4Net: Decentralized Communication for Continual Multi-Agent Learning. IEEE Access Martín González Soto, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo, Bruno Fernández Castro, Ana Fernández Vilas
2025	J	`jnl`	Introducing Post-Quantum algorithms in Open RAN interfaces. CoRR Pedro Otero-García, Ana Fernández Vilas, Manuel Fernández-Veiga
2025	J	`jnl`	Network-wide Quantum Key Distribution with Onion Routing Relay (Conference Version). CoRR Pedro Otero-García, David Pérez-Castro, Manuel Fernández-Veiga, Ana Fernández Vilas
2025	J	`jnl`	Network-wide Quantum Key Distribution with Onion Routing Relay. CoRR Pedro Otero-García, David Pérez-Castro, Manuel Fernández-Veiga, Ana Fernández Vilas
2025	C	`conf`	Onion Routing Key Distribution for QKDN. ISCC Pedro Otero-García, Javier Blanco-Romero, Ana Fernández Vilas, Daniel Sobral-Blanco, Manuel Fernández-Veiga, Florina Almenárez Mendoza
2025	J	`jnl`	Onion Routing Key Distribution for QKDN. CoRR Pedro Otero-García, Javier Blanco-Romero, Ana Fernández Vilas, Daniel Sobral-Blanco, Manuel Fernández-Veiga, Florina Almenárez Mendoza
2025	J	`jnl`	Privacy-aware Berrut Approximated Coded Computing applied to general distributed learning. CoRR Xavier Martínez Luaña, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2025	C	`conf`	QKD-KEM: Hybrid QKD Integration into TLS with OpenSSL Providers. ISCC Javier Blanco-Romero, Pedro Otero-García, Daniel Sobral-Blanco, Florina Almenárez Mendoza, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2025	J	`jnl`	QKD-KEM: Hybrid QKD Integration into TLS with OpenSSL Providers. CoRR Javier Blanco-Romero, Pedro Otero-García, Daniel Sobral-Blanco, Florina Almenáres Mendoza, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2025	J	`jnl`	Realistic Urban Traffic Generator Using Decentralized Federated Learning for the SUMO Simulator. IEEE Open J. Commun. Soc. Alberto Bazán Guillén, Carlos Beis-Penedo, Diego Cajaraville-Aboy, Pablo A. Barbecho Bautista, Rebeca P. Díaz Redondo, Luis J. de la Cruz Llopis, Ana Fernández Vilas, Mónica Aguilar-Igartua, Manuel Fernández-Veiga
2025	J	`jnl`	Realistic Urban Traffic Generator using Decentralized Federated Learning for the SUMO simulator. CoRR Alberto Bazán Guillén, Carlos Beis-Penedo, Diego Cajaraville-Aboy, Pablo A. Barbecho Bautista, Rebeca P. Díaz Redondo, Luis J. de la Cruz Llopis, Ana Fernández Vilas, Mónica Aguilar-Igartua, Manuel Fernández-Veiga
2025	J	`jnl`	Simulating a Quantum Switch With Concurrent Demands. Concurr. Comput. Pract. Exp. Juan Fernández-Herrerín-Álvarez, Francisco J. González-Castaño, Ana Fernández Vilas
2025	J	`jnl`	Simulation of entanglement based quantum networks for performance characterization. CoRR David Pérez-Castro, Juan Fernández-Herrerín, Ana Fernández Vilas, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo
2025	J	`jnl`	Towards efficient compression and communication for prototype-based decentralized learning. Appl. Soft Comput. Pablo Fernández-Piñeiro, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Martín González Soto
2025	J	`jnl`	Verifiable Split Learning via zk-SNARKs. CoRR Rana Alaa, Darío González-Ferreiro, Carlos Beis-Penedo, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2024	J	`jnl`	A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs. CoRR David Soler, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2024	J	`jnl`	A privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs. Comput. Networks David Soler, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2024	J	`jnl`	Attribute-Based Authentication in Secure Group Messaging for Distributed Environments. CoRR David Soler, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2024	J	`jnl`	Byzantine-Robust Aggregation for Securing Decentralized Federated Learning. CoRR Diego Cajaraville-Aboy, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
2024	J	`jnl`	Decentralized and collaborative machine learning framework for IoT. Comput. Networks Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Fernández Castro, Ana Fernández Vilas
2024	J	`jnl`	Interplay between Cryptocurrency Transactions and Online Financial Forums. CoRR Ana Fernández Vilas, Rebeca P. Díaz Redondo, Daniel Couto Cancela, Alejandro Torrado Pazos
2024	J	`jnl`	QKDNetSim+: Improvement of the Quantum Network Simulator for NS-3. CoRR David Soler, Iván Cillero, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2024	J	`jnl`	QKDNetSim+: Improvement of the quantum network simulator for NS-3. SoftwareX David Soler, Iván Cillero, Carlos Dafonte, Manuel Fernández-Veiga, Ana Fernández Vilas, Francisco Javier Nóvoa
2024	—	`conf`	Relaying Schemes and Rate-distance trade-off for Multihop QKD. MeditCom David Pérez-Castro, Ana Fernández Vilas, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo
2024	J	`jnl`	Simulation of fidelity in entanglement-based networks with repeater chains. CoRR David Pérez-Castro, Ana Fernández Vilas, Manuel Fernández-Veiga, Mateo Blanco Rodríguez, Rebeca P. Díaz Redondo
2024	J	`jnl`	Towards efficient compression and communication for prototype-based decentralized learning. CoRR Pablo Fernández-Piñeiro, Manuel Ferández-Veiga, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Martín González Soto
2023	J	`jnl`	A Blockchain Solution for Collaborative Machine Learning over IoT. CoRR Carlos Beis-Penedo, Francisco Troncoso-Pastoriza, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Martín González Soto
2023	—	`conf`	A Review on Cryptocurrency Transaction Methods for Money Laundering. FEMIB Hugo Almeida, Pedro Pinto, Ana Fernández Vilas
2023	J	`jnl`	A Review on Cryptocurrency Transaction Methods for Money Laundering. CoRR Hugo Almeida, Pedro Pinto, Ana Fernández Vilas
2023	J	`jnl`	A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics. CoRR Rebeca P. Díaz Redondo, Carlos García-Rubio, Ana Fernández Vilas, Celeste Campo, Alicia Rodriguez-Carrion
2023	J	`jnl`	Anti-Sexism Alert System: Identification of Sexist Comments on Social Media Using AI Techniques. CoRR Rebeca P. Díaz Redondo, Ana Fernández Vilas, Mateo Ramos Merino, Sonia Valladares, Soledad Torres-Guijarro, Manar Mohamed Hafez
2023	J	`jnl`	Classification of retail products: From probabilistic ranking to neural networks. CoRR Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó
2023	J	`jnl`	Collaboratively assessing urban alerts in ad hoc participatory sensing. CoRR Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2023	J	`jnl`	Decentralised and collaborative machine learning framework for IoT. CoRR Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Rodríguez-Castro, Ana Fernández Vilas
2023	J	`jnl`	Discovering Geo-dependent Stories by Combining Density-based Clustering and Thread-based Aggregation techniques. CoRR Héctor Cerezo-Costas, Ana Fernández Vilas, Manuela I. Martín-Vicente, Rebeca P. Díaz Redondo
2023	J	`jnl`	Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems. CoRR Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan
2023	J	`jnl`	INRISCO: INcident monitoRing In Smart COmmunities. CoRR Mónica Aguilar-Igartua, Florina Almenáres, Rebeca P. Díaz Redondo, Manuela I. Martín-Vicente, Jordi Forné, Celeste Campo, Ana Fernández Vilas, Luis J. de la Cruz Llopis, Carlos García-Rubio, Andrés Marín, Ahmad Mohamad Mezher, Daniel Díaz Sánchez, Héctor Cerezo-Costas, David Rebollo-Monedero, Patricia Arias, Francisco Rico-Novella
2023	J	`jnl`	Impact of Computer-Based Assessments on the Science's Ranks of Secondary Students. CoRR Eduardo A. Soto Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	Integrating micro-learning content in traditional e-learning platforms. CoRR Rebeca P. Díaz Redondo, Manuel Caeiro-Rodríguez, Juan José López Escobar, Ana Fernández Vilas
2023	J	`jnl`	Irregular Repetition Slotted Aloha with Multipacket Detection: A Density Evolution Analysis. CoRR Manuel Fernández-Veiga, M. Estrella Sousa-Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	Irregular repetition slotted Aloha with multiuser detection: A density evolution analysis. Comput. Networks Manuel Fernández-Veiga, M. Estrella Sousa-Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	KPIs-Based Clustering and Visualization of HPC jobs: a Feature Reduction Approach. CoRR Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2023	J	`jnl`	Low-Cost HEM with Arduino and Zigbee Technologies in the Energy Sector in Colombia. CoRR Zurisaddai de la Cruz Severiche Maury, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	Multi-criteria recommendation systems to foster online grocery. CoRR Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó
2023	J	`jnl`	Prototype of deployment of Federated Learning with IoT devices. CoRR Pablo García Santaclara, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	QSMVM: QoS-aware and social-aware multimetric routing protocol for video-streaming services over MANETs. CoRR Efraín Palacios Jara, Ahmad Mohamad Mezher, Mónica Aguilar-Igartua, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2023	Misc	`conf`	Qerberos: A Protocol for Secure Distribution of QRNG Keys. CSR David Soler, Carlos Dafonte, Francisco Javier Nóvoa, Manuel Fernández-Veiga, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2023	J	`jnl`	Scheduling and Communication Schemes for Decentralized Federated Learning. CoRR Bahaa-Eldin Ali Abdelghany, Ana Fernández Vilas, Manuel Fernández-Veiga, Nashwa El-Bendary, Ammar M. Hassan, Walid M. Abdelmoez
2023	J	`jnl`	Security aspects in Smart Meters: Analysis and Prevention. CoRR Rebeca P. Díaz Redondo, Ana Fernández Vilas, Gabriel Fernández dos Reis
2023	J	`jnl`	Spectrophotometers for Labs: a Cost-efficient Solution based on Smartphones. CoRR Carlos Balado Sánchez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Angel M. Sánchez Bermúdez
2023	J	`jnl`	The irruption of cryptocurrencies into Twitter cashtags: a classifying solution. CoRR Ana Fernández Vilas, Rebeca P. Díaz Redondo, Antón Lorenzo García
2023	J	`jnl`	Towards Adaptive RF Fingerprint-based Authentication of IIoT devices. CoRR Emmanuel Lomba, Ricardo Severino, Ana Fernández Vilas
2023	J	`jnl`	Twitter Permeability to financial events: an experiment towards a model for sensing irregularities. CoRR Ana Fernández Vilas, Rebeca P. Díaz Redondo, Keeley A. Crockett, Majdi Owda, Lewis Evans
2023	J	`jnl`	Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers. CoRR Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2023	J	`jnl`	Using Decentralized Aggregation for Federated Learning with Differential Privacy. CoRR Hadeel Abd El-Kareem Abd El-Moaty Saleh, Ana Fernández Vilas, Manuel Fernández-Veiga, Yasser El-Sonbaty
2022	—	`conf`	Prototype of deployment of Federated Learning with IoT devices. PE-WASUN Pablo García Santaclara, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2022	—	`conf`	Scheduling and Communication Schemes for Decentralized Federated Learning. ICCTA Bahaa-Elden A. Abdelghany, Manuel Fernández-Veiga, Ana Fernández Vilas, Ammar M. Hassan, Walid M. Abdelmoez, Nashwa El-Bendary
2022	—	`conf`	Using Decentralized Aggregation for Federated Learning with Differential Privacy. PE-WASUN Hadeel Abd El-Kareem Abd El-Moaty Saleh, Ana Fernández Vilas, Manuel Fernández-Veiga, Yasser El-Sonbaty, Nashwa El-Bendary
2022	C	`conf`	Work In Progress: Towards Adaptive RF Fingerprint-based Authentication of IIoT devices. ETFA Emmanuel Lomba, Ricardo Severino, Ana Fernández Vilas
2021	J	`jnl`	Can the Type of Content You Share on eLearning Forums Reveal What Kind of Student You Are? Rev. Iberoam. de Tecnol. del Aprendiz. Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2021	J	`jnl`	Credibility assessment of financial stock tweets. Expert Syst. Appl. Lewis Evans, Majdi Owda, Keeley A. Crockett, Ana Fernández Vilas
2021	J	`jnl`	Integrating micro-learning content in traditional e-learning platforms. Multim. Tools Appl. Rebeca P. Díaz Redondo, Manuel Caeiro-Rodríguez, Juan José López López Escobar, Ana Fernández Vilas
2021	J	`jnl`	KPIs-Based Clustering and Visualization of HPC Jobs: A Feature Reduction Approach. IEEE Access Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2021	J	`jnl`	Multi-Criteria Recommendation Systems to Foster Online Grocery. Sensors Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó
2021	J	`jnl`	QSMVM: QoS-Aware and Social-Aware Multimetric Routing Protocol for Video-Streaming Services over MANETS. Sensors Efraín Palacios Jara, Ahmad Mohamad Mezher, Mónica Aguilar-Igartua, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2020	J	`jnl`	A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics. Future Gener. Comput. Syst. Rebeca P. Díaz Redondo, Carlos García-Rubio, Ana Fernández Vilas, Celeste Campo, Alicia Rodriguez-Carrion
2020	J	`jnl`	INRISCO: INcident monitoRing in Smart COmmunities. IEEE Access Mónica Aguilar-Igartua, Florina Almenárez Mendoza, Rebeca P. Díaz Redondo, Manuela I. Martín-Vicente, Jordi Forné, Celeste Campo, Ana Fernández Vilas, Luis J. de la Cruz Llopis, Carlos García-Rubio, Andrés Marín López, Ahmad Mohamad Mezher, Daniel Díaz Sánchez, Héctor Cerezo-Costas, David Rebollo-Monedero, Patricia Arias Cabarcos, Francisco Rico-Novella
2020	—	`conf`	Inferring Energy Consumption Patterns in Public Buildings. PE-WASUN Rebeca P. Díaz Redondo, Ana Fernández Vilas, Antonio Abadía Rodríguez
2020	B	`conf`	Monitoring Electricity Consumption Based on Time Series Analysis. Intelligent Environments (Workshops) Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Estévez-Caldas
2020	J	`jnl`	Security Aspects in Smart Meters: Analysis and Prevention. Sensors Rebeca P. Díaz Redondo, Ana Fernández Vilas, Gabriel Fernández dos Reis
2020	J	`jnl`	The Irruption of Cryptocurrencies Into Twitter Cashtags: A Classifying Solution. IEEE Access Ana Fernández Vilas, Rebeca P. Díaz Redondo, Antón Lorenzo García
2020	J	`jnl`	Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers. Sensors Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2019	J	`jnl`	A methodology for the resolution of cashtag collisions on Twitter - A natural language processing & data fusion approach. Expert Syst. Appl. Lewis Evans, Majdi Owda, Keeley A. Crockett, Ana Fernández Vilas
2019	J	`jnl`	Analysis of crowds' movement using Twitter. Comput. Intell. Ana Fernández Vilas, Rebeca P. Díaz Redondo, Mohamed Ben Khalifa
2019	—	`conf`	Application of learning analytics techniques on blended learning environments for university students. LASI Spain Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2019	J	`jnl`	Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems. Sensors Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan
2019	B	`conf`	Fog Computing Solution for Distributed Anomaly Detection in Smart Grids. WiMob Radwa El-Awadi, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2019	J	`jnl`	Spectrophotometers for labs: A cost-efficient solution based on smartphones. Comput. Appl. Eng. Educ. Carlos Balado Sánchez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Angel M. Sánchez Bermúdez
2019	—	`conf`	Supervised Performance Anomaly Detection in HPC Data Centers. AMLTA Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2019	J	`jnl`	Twitter permeability to financial events: an experiment towards a model for sensing irregularities. Multim. Tools Appl. Ana Fernández Vilas, Rebeca P. Díaz Redondo, Keeley A. Crockett, Majdi Sabe Owda, Lewis Evans
2018	J	`jnl`	Analysing the Potential of BLE to Support Dynamic Broadcasting Scenarios. CoRR Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2018	—	`conf`	Automatic Attendance Control System based on BLE Technology. ICETE (1) Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2018	—	`conf`	Big Data Fusion Model for Heterogeneous Financial Market Data (FinDf). IntelliSys (1) Lewis Evans, Majdi Sabe Owda, Keeley A. Crockett, Ana Fernández Vilas
2018	J	`jnl`	Collaboratively assessing urban alerts in ad hoc participatory sensing. Comput. Networks Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2018	J	`jnl`	Discovering geo-dependent stories by combining density-based clustering and thread-based aggregation techniques. Expert Syst. Appl. Héctor Cerezo-Costas, Ana Fernández Vilas, Manuela I. Martín-Vicente, Rebeca P. Díaz Redondo
2018	C	`conf`	Dynamic Content Distribution over BLE iBeacon Technology: Implementation Challenges. CoDIT Miran Boric, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2018	J	`jnl`	Space Occupancy through BLE Dynamic Broadcasting. Wirel. Commun. Mob. Comput. Miran Boric, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2018	J	`jnl`	The workforce analyzer: group discovery among LinkedIn public profiles. J. Ambient Intell. Humaniz. Comput. Kais Dai, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2017	—	`conf`	BLE broadcasting impact in a real network environment. ICC Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2017	—	`conf`	Combining Fog Architectures and Distributed Event-Based Systems for Mobile Sensor Location Certification. UCAmI Fátima Castro-Jul, Denis Conan, Sophie Chabridon, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Chantal Taconet
2017	—	`conf`	Discovering knowledge from student interactions: clustering vs classification. TEEM Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2017	C	`conf`	Experiment for Analysing the Impact of Financial Events on Twitter. ICA3PP Ana Fernández Vilas, Lewis Evans, Majdi Sabe Owda, Rebeca P. Díaz Redondo, Keeley A. Crockett
2017	J	`jnl`	Identifying urban crowds using geo-located Social media data: a Twitter experiment in New York City. J. Intell. Inf. Syst. Mohamed Ben Khalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sandra Servia Rodríguez
2017	J	`jnl`	Sensing the city with Instagram: Clustering geolocated data for outlier detection. Expert Syst. Appl. Daniel Rodríguez Domínguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Mohamed Ben Khalifa
2016	—	`conf`	Have You Also Seen That? Collaborative Alert Assessment in Ad Hoc Participatory Sensing. UCAmI (2) Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2016	—	`conf`	Is interpersonal participation relevant to pass? TEEM Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2015	—	`conf`	Am I failing this course?: risk prediction using e-learning data. TEEM Celia González Nespereira, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2015	—	`conf`	Are Tweets Biased by Audience? An Analysis from the View of Topic Diversity. SBP Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2015	J	`jnl`	IPTV parental control: A collaborative model for the Social Web. Inf. Syst. Frontiers Ana Fernández Vilas, Rebeca P. Díaz Redondo, Sandra Servia Rodríguez
2015	—	`conf`	Machine Learning Based Classification Approach for Predicting Students Performance in Blended Learning. AISI Celia González Nespereira, Esraa Elhariri, Nashwa El-Bendary, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2015	J	`jnl`	Scraping and Clustering Techniques for the Characterization of Linkedin Profiles. CoRR Kais Dai, Celia González Nespereira, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2015	—	`conf`	Why are these people there? An analysis based on Twitter. IISA Mohamed Ben Kalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2014	J	`jnl`	A tie strength based model to socially-enhance applications and its enabling implementation: mySocialSphere. Expert Syst. Appl. Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Yolanda Blanco-Fernández, José Juan Pazos-Arias
2014	J	`jnl`	Collaborative and role-play strategies in software engineering learning with web 2.0 tools. Comput. Appl. Eng. Educ. Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla
2014	—	`conf`	Is There a Crowd? Experiences in Using Density-Based Clustering and Outlier Detection. MIKE Mohamed Ben Kalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Rafael López Serrano, Sandra Servia Rodríguez
2014	—	`conf`	Is the LMS access frequency a sign of students' success in face-to-face higher education? TEEM Celia González Nespereira, Kais Dai, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2014	—	`conf`	Marble Initiative - Monitoring the Impact of Events on Customers Opinion. KDIR M. Fernandes Caíña, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2013	J	`jnl`	A social gamification framework for a K-6 learning platform. Comput. Hum. Behav. Jorge Simões, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2013	—	`conf`	Comparing Tag Clustering Algorithms for Mining Twitter Users' Interests. SocialCom Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2013	J	`jnl`	Inferring Contexts From Facebook Interactions: A Social Publicity Scenario. IEEE Trans. Multim. Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2012	—	`conf`	A Social P2P Approach for Personal Knowledge Management in the Cloud. OTM Workshops Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Sandra Servia Rodríguez
2012	C	`conf`	A social approach to parental monitoring over DVB-IPTV digest of technical papers. ICCE Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla
2012	J	`jnl`	Bringing Content Awareness to Web-Based IDTV Advertising. IEEE Trans. Syst. Man Cybern. Part C Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque
2012	—	`ch.`	Conclusiones and Open Trends. Recommender Systems for the Social Web José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2012	—	`conf`	Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case. ISAmI Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2012	—	`conf`	Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem. CLOSER (Selected Papers) Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias
2012	J	`jnl`	NF-SAVO: Neuro-Fuzzy system for Arabic Video OCR CoRR Mohamed Ben Halima, Hichem Karray, Adel M. Alimi, Ana Fernández Vilas
2012	—	`book`	Recommender Systems for the Social Web Recommender Systems for the Social Web José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2012	—	`ch.`	SCORM and Social Recommendation: A Web 2.0 Approach to E-learning. Recommender Systems for the Social Web Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2012	C	`conf`	Using Facebook Activity to Infer Social Ties. CLOSER Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias
2011	J	`jnl`	Automatic provision of personalized e-commerce services in Digital TV scenarios with impermanent connectivity. Expert Syst. Appl. Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Ana Fernández Vilas, Manuel Ramos Cabrer
2011	J	`jnl`	Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro. Rev. Iberoam. de Tecnol. del Aprendiz. Rebeca P. Díaz Redondo, Ana Fernández Vilas, María José Rodríguez Malmierca, José Juan Pazos-Arias, Silvia Bastos Molares
2011	J	`jnl`	Making the most of TV on the move: My newschannel. Inf. Sci. José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2011	J	`jnl`	TVGuide2.0: applying the Web2.0 fundamentals to IDTV. Multim. Tools Appl. Rebeca P. Díaz Redondo, Ana Fernández Vilas, Marta Rey-López, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2010	J	`jnl`	Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. Comput. Commun. Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2010	—	`conf`	Bringing mobile tv to the mashup approach. EuroITV Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2010	J	`jnl`	Context-aware personalization services for a residential gateway based on the OSGi platform. Expert Syst. Appl. Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque
2010	—	`conf`	Educateca: A Web 2.0 Approach to e-Learning with SCORM. I3E Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias
2010	J	`jnl`	Enhancing TV programmes with additional contents using MPEG-7 segmentation information. Expert Syst. Appl. Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque
2010	J	`jnl`	Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce. Expert Syst. Appl. Yolanda Blanco-Fernández, José Juan Pazos-Arias, Martín López Nores, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2010	J	`jnl`	MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning. Knowl. Inf. Syst. Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Manuela I. Martín-Vicente, Ana Fernández Vilas, Manuel Ramos Cabrer, Alberto Gil-Solla
2010	—	`ch.`	T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies. Computational Intelligence for Technology Enhanced Learning Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias
2009	J	`jnl`	An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study. Comput. Stand. Interfaces Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2009	J	`jnl`	KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks. J. Netw. Comput. Appl. Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2009	J	`jnl`	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. Requir. Eng. Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla
2009	J	`jnl`	Procedures and Algorithms for Continuous Integration in an Agile Specification Environment. Int. J. Softw. Eng. Knowl. Eng. Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2009	J	`jnl`	Receiver-side semantic reasoning for digital TV personalization in the absence of return channels. Multim. Tools Appl. Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2009	J	`jnl`	Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV. Expert Syst. Appl. Martín López Nores, Marta Rey-López, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer
2009	J	`jnl`	What's on TV tonight? An efficient and effective personalized recommender system of TV programs. IEEE Trans. Consumer Electron. Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores
2008	—	`conf`	A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks. CCNC Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Ana Fernández Vilas
2008	J	`jnl`	A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems. Knowl. Based Syst. Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2008	J	`jnl`	An MHP framework to provide intelligent personalized recommendations about digital TV contents. Softw. Pract. Exp. Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2008	—	`conf`	Automatic live tagging of videos using chronicles. AMBI-SYS Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2008	J	`jnl`	Composing Multi-Perspective Software Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008	J	`jnl`	Composing requirements specifications from multiple prioritized sources. Requir. Eng. Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008	J	`jnl`	Enhancing Residential Gateways: A Semantic OSGi Platform. IEEE Intell. Syst. Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla
2008	J	`jnl`	Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study. J. Syst. Softw. Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2008	J	`jnl`	On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Inf. Softw. Technol. Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández
2008	J	`jnl`	Provision of distance learning services over Interactive Digital TV with MHP. Comput. Educ. José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas
2008	J	`jnl`	T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning. Multim. Tools Appl. Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer
2007	J	`jnl`	Avatar: Enhancing the Personalized Television by Semantic Inference. Int. J. Pattern Recognit. Artif. Intell. Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz
2007	J	`jnl`	Enhancing Residential Gateways: OSGi Service Composition. IEEE Trans. Consumer Electron. Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias
2007	J	`jnl`	Exploiting OSGi capabilities from MHP applications. J. Virtual Real. Broadcast. Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias
2007	—	`conf`	KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks. CCNC Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2007	J	`jnl`	Providing Web Services over DVB-H: Mobile Virtual Web Services. IEEE Trans. Consumer Electron. Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque
2006	—	`conf`	A Model for Personalized Learning Through IDTV. AH Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2006	J	`jnl`	A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. J. Log. Comput. Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer
2006	J	`jnl`	ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. Softw. Pract. Exp. José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas
2006	J	`jnl`	Bringing the Agile Philosophy to Formal Specification Settings. Int. J. Softw. Eng. Knowl. Eng. Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2006	J	`jnl`	Controlling the smart home from TV. IEEE Trans. Consumer Electron. Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque
2006	B	`conf`	Extending SCORM to Create Adaptive Courses. EC-TEL Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jesús Bermejo Muñoz
2006	J	`jnl`	Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning. J. Syst. Softw. Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2006	J	`jnl`	Guidelines for the incremental identification of aspects in requirements specifications. Requir. Eng. Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández
2006	J	`jnl`	MHP-OSGi convergence: a new model for open residential gateways. Softw. Pract. Exp. Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Martín López Nores, Yolanda Blanco-Fernández
2006	J	`jnl`	Optimizing Web Services Performance Using Cache. J. Adv. Comput. Intell. Intell. Informatics Julio Fernández Vilas, José Juan Pazos-Arias, Ana Fernández Vilas
2006	A*	`conf`	Providing SCORM with adaptivity. WWW Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias
2005	—	`conf`	AVATAR: an approach based on semantic reasoning to recommend personalized TV programs. WWW (Special interest tracks and posters) Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, Ana Belén Barragáns-Martínez
2005	J	`jnl`	Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. Int. J. Softw. Eng. Knowl. Eng. Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla
2005	—	`conf`	Merging Requirements Views with Incompleteness and Inconsistency. Australian Software Engineering Conference Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas
2005	C	`conf`	Multi-valued Model Checking in Dense-Time. ECSQARU Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer
2005	—	`conf`	Tracing Integration Analysis in Component-Based Formal Specifications. FMOODS Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
2004	B	`conf`	A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. IFM Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque
2004	B	`conf`	AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. WISE Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Belén Barragáns-Martínez, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo
2004	C	`conf`	High Availability with Clusters of Web Services. APWeb Julio Fernández Vilas, José Juan Pazos-Arias, Ana Fernández Vilas
2004	J	`jnl`	Incremental specification with SCTL/MUS-T: a case study. J. Syst. Softw. Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez
2004	B	`conf`	Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. ICSR Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer
2004	—	`conf`	Technologies to Support Collaborative Learning over the Multimedia Home Platform. ICWL Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer
2003	—	`conf`	A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform. MIPS Martín López Nores, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, José Juan Pazos-Arias, Manuel Ramos Cabrer, Jorge García Duque
2003	—	`conf`	Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. Ershov Memorial Conference Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla
2003	—	`conf`	Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. Component-Based Software Quality Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas
2003	B	`conf`	The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV. ICWE Alberto Gil-Solla, José Juan Pazos-Arias, Jorge García Duque, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer
2002	—	`conf`	ARIFS: an Environment for Incomplete and Formal Specifications. Formal Methods and Component Interaction @ ICALP Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez
2002	—	`conf`	Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. EUROMICRO Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez
2002	—	`conf`	Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse. ICSM Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez
2002	—	`conf`	Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo
2002	B	`conf`	Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. COMPSAC Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez
2002	B	`conf`	Requirements Specifications Evolution in a Multi-Perspective Environment. COMPSAC Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo