Rebeca P. Díaz Redondo

202 papers A* 2A 1B 10C 7Misc 2Journal 133Unranked 42

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`	Continual Learning for non-stationary regression via Memory-Efficient Replay. CoRR Pablo García Santaclara, Bruno Fernández Castro, Rebeca P. Díaz Redondo, Martín Alonso-Gamarra
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	J	`jnl`	Continual Learning at the Edge: An Agnostic IIoT Architecture. CoRR Pablo García Santaclara, Bruno Fernández Castro, Rebeca P. Díaz Redondo, Carlos Calvo-Moa, Henar Mariño-Bodelón
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`	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`	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`	Overcoming catastrophic forgetting in tabular data classification: A pseudorehearsal-based approach. Eng. Appl. Artif. Intell. Pablo García Santaclara, Bruno Fernández Castro, Rebeca P. Díaz Redondo
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	J	`jnl`	Privacy-aware Berrut Approximated Coded Computing for Federated Learning. J. Netw. Comput. Appl. Xavier Martínez Luaña, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
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`	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`	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`	Generation of BIM data based on the automatic detection, identification and localization of lamps in buildings. CoRR Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez
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`	Overcoming Catastrophic Forgetting in Tabular Data Classification: A Pseudorehearsal-based approach. CoRR Pablo García Santaclara, Bruno Fernández Castro, Rebeca P. Díaz Redondo
2024	—	`conf`	Privacy-aware Berrut Approximated Coded Computing applied to Federated Learning. WIFS Xavier Martínez Luaña, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo
2024	J	`jnl`	Privacy-aware Berrut Approximated Coded Computing for Federated Learning. CoRR Xavier Martínez Luaña, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
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
2024	J	`jnl`	Unleashing the power of decentralized serverless IoT dataflow architecture for the Cloud-to-Edge Continuum: a performance comparison. Ann. des Télécommunications Juan José López Escobar, Rebeca P. Díaz Redondo, Felipe J. Gil-Castiñeira
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	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	Misc	`conf`	Decentralized Serverless IoT Dataflow Architecture for the Cloud-to-Edge Continuum. ICIN Juan José López López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo
2023	J	`jnl`	Deep Learning-based Sentiment Classification: A Comparative Survey. CoRR Mohammed Kayed, Rebeca P. Díaz Redondo, Alhassan Mabrouk
2023	J	`jnl`	Dental Age Estimation Using Deep Learning: A Comparative Survey. Comput. Essraa Gamal Mohamed, Rebeca P. Díaz Redondo, Abdelrahim Koura, Mohamed Sherif EL-Mofty, Mohammed Kayed
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`	Ensemble Federated Learning: An approach for collaborative pneumonia diagnosis. Appl. Soft Comput. Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohamed Abd Elaziz, Mohammed Kayed
2023	J	`jnl`	Ensemble Federated Learning: an approach for collaborative pneumonia diagnosis. CoRR Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohamed E. Abd Elaziz, Mohammed Kayed
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`	JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa. CoRR Juan José López Escobar, Felipe J. Gil-Castiñeira, 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`	Medical Image Classification Using Transfer Learning and Chaos Game Optimization on the Internet of Medical Things. CoRR Alhassan Mabrouk, Abdelghani Dahou, Mohamed E. Abd Elaziz, Rebeca P. Díaz Redondo, Mohammed Kayed
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`	Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision. CoRR Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez, Aitor Erkoreka
2023	J	`jnl`	Pneumonia Detection on chest X-ray images Using Ensemble of Deep Convolutional Neural Networks. CoRR Alhassan Mabrouk, Rebeca P. Díaz Redondo, Abdelghani Dahou, Mohamed E. Abd Elaziz, Mohammed Kayed
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`	Resource Allocation for Dataflow Applications in FANETs using Anypath Routing. CoRR Juan José López Escobar, Manuel Ricardo, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo
2023	J	`jnl`	Resource allocation for dataflow applications in FANETs using anypath routing. Internet Things Juan José López López Escobar, Manuel Ricardo, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo
2023	J	`jnl`	SEOpinion: Summarization and Exploration Opinion of E-Commerce Websites. CoRR Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed
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`	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`	Use of BIM Data as Input and Output for Improved Detection of Lighting Elements in Buildings. CoRR Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez
2022	J	`jnl`	In-depth analysis and open challenges of Mist Computing. J. Cloud Comput. Juan José López López Escobar, Rebeca P. Díaz Redondo, Felipe J. Gil-Castiñeira
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`	XuILVQ: A River Implementation of the Incremental Learning Vector Quantization for IoT. PE-WASUN Martín González Soto, Bruno Fernández Castro, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga
2021	—	`conf`	A Micro Learning Approach Based on a Telegram Bot: a Gender-Inclusive Language Experience. MECO Rebeca P. Díaz Redondo, Manuel Caeiro-Rodríguez, Soledad Torres-Guijarro, Iria Vázquez Silva, Mario Manso Vázquez
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`	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
2021	J	`jnl`	SEOpinion: Summarization and Exploration of Opinion from E-Commerce Websites. Sensors Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed
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`	Deep Learning-Based Sentiment Classification: A Comparative Survey. IEEE Access Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed
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	J	`jnl`	JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa. Sensors Juan José López López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo
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`	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`	Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision. Sensors Francisco Troncoso-Pastoriza, Pablo Eguía, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez, Aitor Erkoreka
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	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	—	`—`	Evaluación y análisis del "media policy-making" de la reforma socialista del sector audiovisual y la Ley General de la Comunicación Audiovisual (2004-2011). Rebeca P. Díaz Redondo
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
2017	B	`conf`	WebShawn, simulating wireless sensors networks from the web. WiMob Diego Alberto Godoy, Eduardo Omar Sosa, Rebeca P. Díaz Redondo, Hernan Bareiro
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	—	`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`	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	—	`conf`	Property-based collaborative filtering: A new paradigm for semantics-based, health-aware recommender systems. SMAP Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Rebeca P. Díaz Redondo
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
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`	Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks. IEEE Commun. Mag. Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo
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	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	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`	An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. APSEC Martín López Nores, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jorge García Duque
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
2002	—	`conf`	Surfing the Web on TV: the MHP approach. ICME (2) Alberto Gil-Solla, José Juan Pazos-Arias, Cándido López-García, José C. López-Ardao, Raúl Fernando Rodríguez-Rubio, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo
2001	A*	`conf`	Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. ICSE Rebeca P. Díaz Redondo, José Juan Pazos-Arias