default search action
Rebeca P. Díaz Redondo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j74]Juan José López Escobar, Rebeca P. Díaz Redondo, Felipe J. Gil-Castiñeira:
Unleashing the power of decentralized serverless IoT dataflow architecture for the Cloud-to-Edge Continuum: a performance comparison. Ann. des Télécommunications 79(3-4): 135-148 (2024) - [j73]Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Fernández Castro, Ana Fernández Vilas:
Decentralized and collaborative machine learning framework for IoT. Comput. Networks 239: 110137 (2024) - [c61]David Pérez-Castro, Ana Fernández Vilas, Manuel Fernández-Veiga, Rebeca P. Díaz Redondo:
Relaying Schemes and Rate-distance trade-off for Multihop QKD. MeditCom 2024: 483-488 - [i37]Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez:
Generation of BIM data based on the automatic detection, identification and localization of lamps in buildings. CoRR abs/2401.05390 (2024) - [i36]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Daniel Couto Cancela, Alejandro Torrado Pazos:
Interplay between Cryptocurrency Transactions and Online Financial Forums. CoRR abs/2401.10238 (2024) - [i35]Xavier Martínez Luaña, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga:
Privacy-aware Berrut Approximated Coded Computing for Federated Learning. CoRR abs/2405.01704 (2024) - [i34]Pablo García Santaclara, Bruno Fernández Castro, Rebeca P. Díaz Redondo:
Overcoming Catastrophic Forgetting in Tabular Data Classification: A Pseudorehearsal-based approach. CoRR abs/2407.09039 (2024) - 2023
- [j72]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohamed Abd Elaziz, Mohammed Kayed:
Ensemble Federated Learning: An approach for collaborative pneumonia diagnosis. Appl. Soft Comput. 144: 110500 (2023) - [j71]Manuel Fernández-Veiga, M. Estela Sousa Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Irregular repetition slotted Aloha with multiuser detection: A density evolution analysis. Comput. Networks 234: 109921 (2023) - [j70]Essraa Gamal Mohamed, Rebeca P. Díaz Redondo, Abdelrahim Koura, Mohamed Sherif EL-Mofty, Mohammed Kayed:
Dental Age Estimation Using Deep Learning: A Comparative Survey. Comput. 11(2): 18 (2023) - [j69]Juan José López López Escobar, Manuel Ricardo, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo:
Resource allocation for dataflow applications in FANETs using anypath routing. Internet Things 22: 100761 (2023) - [c60]David Soler, Carlos Dafonte, Francisco Javier Nóvoa, Manuel Fernández-Veiga, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Qerberos: A Protocol for Secure Distribution of QRNG Keys. CSR 2023: 36-41 - [c59]Juan José López López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo:
Decentralized Serverless IoT Dataflow Architecture for the Cloud-to-Edge Continuum. ICIN 2023: 42-49 - [i33]Carlos Beis-Penedo, Francisco Troncoso-Pastoriza, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Martín González Soto:
A Blockchain Solution for Collaborative Machine Learning over IoT. CoRR abs/2311.14136 (2023) - [i32]Pablo García Santaclara, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Prototype of deployment of Federated Learning with IoT devices. CoRR abs/2311.14401 (2023) - [i31]Zurisaddai de la Cruz Severiche Maury, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Low-Cost HEM with Arduino and Zigbee Technologies in the Energy Sector in Colombia. CoRR abs/2311.14767 (2023) - [i30]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Mateo Ramos Merino, Sonia Valladares, Soledad Torres-Guijarro, Manar Mohamed Hafez:
Anti-Sexism Alert System: Identification of Sexist Comments on Social Media Using AI Techniques. CoRR abs/2312.00053 (2023) - [i29]Rebeca P. Díaz Redondo, Manuel Caeiro Rodríguez, Juan José López Escobar, Ana Fernández Vilas:
Integrating micro-learning content in traditional e-learning platforms. CoRR abs/2312.06500 (2023) - [i28]Manuel Fernández-Veiga, M. Estela Sousa Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Irregular Repetition Slotted Aloha with Multipacket Detection: A Density Evolution Analysis. CoRR abs/2312.06516 (2023) - [i27]Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
KPIs-Based Clustering and Visualization of HPC jobs: a Feature Reduction Approach. CoRR abs/2312.06534 (2023) - [i26]Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers. CoRR abs/2312.06546 (2023) - [i25]Efraín Palacios Jara, Ahmad Mohamad Mezher, Mónica Aguilar-Igartua, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
QSMVM: QoS-aware and social-aware multimetric routing protocol for video-streaming services over MANETs. CoRR abs/2312.07414 (2023) - [i24]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohamed E. Abd Elaziz, Mohammed Kayed:
Ensemble Federated Learning: an approach for collaborative pneumonia diagnosis. CoRR abs/2312.07428 (2023) - [i23]Alhassan Mabrouk, Abdelghani Dahou, Mohamed E. Abd Elaziz, Rebeca P. Díaz Redondo, Mohammed Kayed:
Medical Image Classification Using Transfer Learning and Chaos Game Optimization on the Internet of Medical Things. CoRR abs/2312.07437 (2023) - [i22]Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó:
Classification of retail products: From probabilistic ranking to neural networks. CoRR abs/2312.07482 (2023) - [i21]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:
INRISCO: INcident monitoRing In Smart COmmunities. CoRR abs/2312.07787 (2023) - [i20]Eduardo A. Soto Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Impact of Computer-Based Assessments on the Science's Ranks of Secondary Students. CoRR abs/2312.07789 (2023) - [i19]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Abdelghani Dahou, Mohamed E. Abd Elaziz, Mohammed Kayed:
Pneumonia Detection on chest X-ray images Using Ensemble of Deep Convolutional Neural Networks. CoRR abs/2312.07965 (2023) - [i18]Rebeca P. Díaz Redondo, Carlos García-Rubio, Ana Fernández Vilas, Celeste Campo, Alicia Rodriguez-Carrion:
A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics. CoRR abs/2312.08092 (2023) - [i17]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Gabriel Fernández dos Reis:
Security aspects in Smart Meters: Analysis and Prevention. CoRR abs/2312.08101 (2023) - [i16]Carlos Balado Sánchez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Angel M. Sánchez Bermúdez:
Spectrophotometers for Labs: a Cost-efficient Solution based on Smartphones. CoRR abs/2312.08104 (2023) - [i15]Juan José López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo:
JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa. CoRR abs/2312.08387 (2023) - [i14]Juan José López Escobar, Manuel Ricardo, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo:
Resource Allocation for Dataflow Applications in FANETs using Anypath Routing. CoRR abs/2312.08389 (2023) - [i13]Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó:
Multi-criteria recommendation systems to foster online grocery. CoRR abs/2312.08393 (2023) - [i12]Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan:
Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems. CoRR abs/2312.09921 (2023) - [i11]Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Collaboratively assessing urban alerts in ad hoc participatory sensing. CoRR abs/2312.09957 (2023) - [i10]Héctor Cerezo-Costas, Ana Fernández Vilas, Manuela I. Martín-Vicente, Rebeca P. Díaz Redondo:
Discovering Geo-dependent Stories by Combining Density-based Clustering and Thread-based Aggregation techniques. CoRR abs/2312.11076 (2023) - [i9]Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez:
Use of BIM Data as Input and Output for Improved Detection of Lighting Elements in Buildings. CoRR abs/2312.11375 (2023) - [i8]Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez, Aitor Erkoreka:
Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision. CoRR abs/2312.11380 (2023) - [i7]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Keeley A. Crockett, Majdi Owda, Lewis Evans:
Twitter Permeability to financial events: an experiment towards a model for sensing irregularities. CoRR abs/2312.11530 (2023) - [i6]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Antón Lorenzo García:
The irruption of cryptocurrencies into Twitter cashtags: a classifying solution. CoRR abs/2312.11531 (2023) - [i5]Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Rodríguez-Castro, Ana Fernández Vilas:
Decentralised and collaborative machine learning framework for IoT. CoRR abs/2312.12190 (2023) - [i4]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed:
SEOpinion: Summarization and Exploration Opinion of E-Commerce Websites. CoRR abs/2312.14171 (2023) - [i3]Mohammed Kayed, Rebeca P. Díaz Redondo, Alhassan Mabrouk:
Deep Learning-based Sentiment Classification: A Comparative Survey. CoRR abs/2312.17253 (2023) - 2022
- [j68]Juan José López López Escobar, Rebeca P. Díaz Redondo, Felipe J. Gil-Castiñeira:
In-depth analysis and open challenges of Mist Computing. J. Cloud Comput. 11: 81 (2022) - [c58]Martín González Soto, Bruno Fernández Castro, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga:
XuILVQ: A River Implementation of the Incremental Learning Vector Quantization for IoT. PE-WASUN 2022: 1-8 - [c57]Pablo García Santaclara, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Prototype of deployment of Federated Learning with IoT devices. PE-WASUN 2022: 9-16 - 2021
- [j67]Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
KPIs-Based Clustering and Visualization of HPC Jobs: A Feature Reduction Approach. IEEE Access 9: 25522-25543 (2021) - [j66]Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Can the Type of Content You Share on eLearning Forums Reveal What Kind of Student You Are? Rev. Iberoam. de Tecnol. del Aprendiz. 16(3): 318-327 (2021) - [j65]Rebeca P. Díaz Redondo, Manuel Caeiro Rodríguez, Juan José López López Escobar, Ana Fernández Vilas:
Integrating micro-learning content in traditional e-learning platforms. Multim. Tools Appl. 80(2): 3121-3151 (2021) - [j64]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed:
SEOpinion: Summarization and Exploration of Opinion from E-Commerce Websites. Sensors 21(2): 636 (2021) - [j63]Efraín Palacios Jara, Ahmad Mohamad Mezher, Mónica Aguilar-Igartua, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
QSMVM: QoS-Aware and Social-Aware Multimetric Routing Protocol for Video-Streaming Services over MANETS. Sensors 21(3): 901 (2021) - [j62]Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó:
Multi-Criteria Recommendation Systems to Foster Online Grocery. Sensors 21(11): 3747 (2021) - [c56]Rebeca P. Díaz Redondo, Manuel Caeiro Rodríguez, Soledad Torres-Guijarro, Iria Vázquez Silva, Mario Manso Vázquez:
A Micro Learning Approach Based on a Telegram Bot: a Gender-Inclusive Language Experience. MECO 2021: 1-4 - 2020
- [j61]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Antón Lorenzo García:
The Irruption of Cryptocurrencies Into Twitter Cashtags: A Classifying Solution. IEEE Access 8: 32698-32713 (2020) - [j60]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:
INRISCO: INcident monitoRing in Smart COmmunities. IEEE Access 8: 72435-72460 (2020) - [j59]Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed:
Deep Learning-Based Sentiment Classification: A Comparative Survey. IEEE Access 8: 85616-85638 (2020) - [j58]Rebeca P. Díaz Redondo, Carlos García-Rubio, Ana Fernández Vilas, Celeste Campo, Alicia Rodriguez-Carrion:
A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics. Future Gener. Comput. Syst. 109: 83-94 (2020) - [j57]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Gabriel Fernández dos Reis:
Security Aspects in Smart Meters: Analysis and Prevention. Sensors 20(14): 3977 (2020) - [j56]Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers. Sensors 20(15): 4111 (2020) - [j55]Juan José López López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo:
JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa. Sensors 20(23): 6893 (2020) - [c55]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Estévez-Caldas:
Monitoring Electricity Consumption Based on Time Series Analysis. Intelligent Environments (Workshops) 2020: 321-330 - [c54]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Antonio Abadía Rodríguez:
Inferring Energy Consumption Patterns in Public Buildings. PE-WASUN 2020: 33-39
2010 – 2019
- 2019
- [j54]Carlos Balado Sánchez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Angel M. Sánchez Bermúdez:
Spectrophotometers for labs: A cost-efficient solution based on smartphones. Comput. Appl. Eng. Educ. 27(2): 371-379 (2019) - [j53]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Mohamed Ben Khalifa:
Analysis of crowds' movement using Twitter. Comput. Intell. 35(2): 448-472 (2019) - [j52]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Keeley A. Crockett, Majdi Sabe Owda, Lewis Evans:
Twitter permeability to financial events: an experiment towards a model for sensing irregularities. Multim. Tools Appl. 78(7): 9217-9245 (2019) - [j51]Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan:
Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems. Sensors 19(1): 104 (2019) - [j50]Francisco Troncoso-Pastoriza, Pablo Eguía, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez, Aitor Erkoreka:
Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision. Sensors 19(7): 1516 (2019) - [c53]Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Supervised Performance Anomaly Detection in HPC Data Centers. AMLTA 2019: 680-688 - [c52]Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Application of learning analytics techniques on blended learning environments for university students. LASI-SPAIN 2019: 9-21 - [c51]Radwa El-Awadi, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Fog Computing Solution for Distributed Anomaly Detection in Smart Grids. WiMob 2019: 348-353 - 2018
- [j49]Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Collaboratively assessing urban alerts in ad hoc participatory sensing. Comput. Networks 131: 129-143 (2018) - [j48]Héctor Cerezo-Costas, Ana Fernández Vilas, Manuela I. Martín-Vicente, Rebeca P. Díaz Redondo:
Discovering geo-dependent stories by combining density-based clustering and thread-based aggregation techniques. Expert Syst. Appl. 95: 32-42 (2018) - [j47]Kais Dai, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
The workforce analyzer: group discovery among LinkedIn public profiles. J. Ambient Intell. Humaniz. Comput. 9(6): 2025-2034 (2018) - [j46]Miran Boric, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Space Occupancy through BLE Dynamic Broadcasting. Wirel. Commun. Mob. Comput. 2018: 2182614:1-2182614:17 (2018) - [c50]Miran Boric, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Dynamic Content Distribution over BLE iBeacon Technology: Implementation Challenges. CoDIT 2018: 910-915 - [c49]Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Automatic Attendance Control System based on BLE Technology. ICETE (1) 2018: 455-461 - [i2]Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Analysing the Potential of BLE to Support Dynamic Broadcasting Scenarios. CoRR abs/1803.02309 (2018) - 2017
- [b1]Rebeca P. Díaz Redondo:
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). Autonomous University of Barcelona, Spain, 2017 - [j45]Daniel Rodríguez Domínguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Mohamed Ben Khalifa:
Sensing the city with Instagram: Clustering geolocated data for outlier detection. Expert Syst. Appl. 78: 319-333 (2017) - [j44]Mohamed Ben Khalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sandra Servia Rodríguez:
Identifying urban crowds using geo-located Social media data: a Twitter experiment in New York City. J. Intell. Inf. Syst. 48(2): 287-308 (2017) - [c48]Ana Fernández Vilas, Lewis Evans, Majdi Sabe Owda, Rebeca P. Díaz Redondo, Keeley A. Crockett:
Experiment for Analysing the Impact of Financial Events on Twitter. ICA3PP 2017: 407-419 - [c47]Miran Boric, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
BLE broadcasting impact in a real network environment. ICC 2017: 53:1-53:6 - [c46]Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Discovering knowledge from student interactions: clustering vs classification. TEEM 2017: 40:1-40:8 - [c45]Fátima Castro-Jul, Denis Conan, Sophie Chabridon, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Chantal Taconet:
Combining Fog Architectures and Distributed Event-Based Systems for Mobile Sensor Location Certification. UCAmI 2017: 27-33 - [c44]Diego Alberto Godoy, Eduardo Omar Sosa, Rebeca P. Díaz Redondo, Hernan Bareiro:
WebShawn, simulating wireless sensors networks from the web. WiMob 2017: 190-195 - 2016
- [c43]Sheila Lucero Sánchez López, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Is interpersonal participation relevant to pass? TEEM 2016: 319-325 - [c42]Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Have You Also Seen That? Collaborative Alert Assessment in Ad Hoc Participatory Sensing. UCAmI (2) 2016: 125-130 - 2015
- [j43]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Sandra Servia Rodríguez:
IPTV parental control: A collaborative model for the Social Web. Inf. Syst. Frontiers 17(5): 1161-1176 (2015) - [c41]Celia González Nespereira, Esraa Elhariri, Nashwa El-Bendary, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Machine Learning Based Classification Approach for Predicting Students Performance in Blended Learning. AISI 2015: 47-56 - [c40]Mohamed Ben Kalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Why are these people there? An analysis based on Twitter. IISA 2015: 1-6 - [c39]Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Are Tweets Biased by Audience? An Analysis from the View of Topic Diversity. SBP 2015: 193-202 - [c38]Celia González Nespereira, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Am I failing this course?: risk prediction using e-learning data. TEEM 2015: 271-276 - [i1]Kais Dai, Celia González Nespereira, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Scraping and Clustering Techniques for the Characterization of Linkedin Profiles. CoRR abs/1505.00989 (2015) - 2014
- [j42]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla:
Collaborative and role-play strategies in software engineering learning with web 2.0 tools. Comput. Appl. Eng. Educ. 22(4): 658-668 (2014) - [j41]Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Yolanda Blanco-Fernández, José Juan Pazos-Arias:
A tie strength based model to socially-enhance applications and its enabling implementation: mySocialSphere. Expert Syst. Appl. 41(5): 2582-2594 (2014) - [c37]M. Fernandes Caíña, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Marble Initiative - Monitoring the Impact of Events on Customers Opinion. KDIR 2014: 403-410 - [c36]Mohamed Ben Kalifa, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Rafael López Serrano, Sandra Servia Rodríguez:
Is There a Crowd? Experiences in Using Density-Based Clustering and Outlier Detection. MIKE 2014: 155-163 - [c35]Celia González Nespereira, Kais Dai, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Is the LMS access frequency a sign of students' success in face-to-face higher education? TEEM 2014: 283-290 - 2013
- [j40]Jorge Simões, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
A social gamification framework for a K-6 learning platform. Comput. Hum. Behav. 29(2): 345-353 (2013) - [j39]Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Inferring Contexts From Facebook Interactions: A Social Publicity Scenario. IEEE Trans. Multim. 15(6): 1296-1303 (2013) - [c34]Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Comparing Tag Clustering Algorithms for Mining Twitter Users' Interests. SocialCom 2013: 679-684 - 2012
- [j38]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque:
Bringing Content Awareness to Web-Based IDTV Advertising. IEEE Trans. Syst. Man Cybern. Part C 42(3): 324-333 (2012) - [c33]Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias:
Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem. CLOSER (Selected Papers) 2012: 71-85 - [c32]Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias:
Using Facebook Activity to Infer Social Ties. CLOSER 2012: 325-333 - [c31]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla:
A social approach to parental monitoring over DVB-IPTV digest of technical papers. ICCE 2012: 729-730 - [c30]Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case. ISAmI 2012: 75-83 - [c29]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Sandra Servia Rodríguez:
A Social P2P Approach for Personal Knowledge Management in the Cloud. OTM Workshops 2012: 585-594 - [p3]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
SCORM and Social Recommendation: A Web 2.0 Approach to E-learning. Recommender Systems for the Social Web 2012: 195-207 - [p2]José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Conclusiones and Open Trends. Recommender Systems for the Social Web 2012: 211-222 - [e1]José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Recommender Systems for the Social Web. Intelligent Systems Reference Library 32, Springer 2012, ISBN 978-3-642-25693-6 [contents] - 2011
- [j37]Rebeca P. Díaz Redondo, Ana Fernández Vilas, María José Rodríguez Malmierca, José Juan Pazos-Arias, Silvia Bastos Molares:
Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro. Rev. Iberoam. de Tecnol. del Aprendiz. 6(1): 10-18 (2011) - [j36]José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
Making the most of TV on the move: My newschannel. Inf. Sci. 181(4): 855-868 (2011) - [j35]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:
TVGuide2.0: applying the Web2.0 fundamentals to IDTV. Multim. Tools Appl. 53(1): 151-179 (2011) - 2010
- [j34]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:
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. Comput. Commun. 33(7): 860-867 (2010) - [j33]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:
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce. Expert Syst. Appl. 37(1): 61-69 (2010) - [j32]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:
Enhancing TV programmes with additional contents using MPEG-7 segmentation information. Expert Syst. Appl. 37(2): 1124-1133 (2010) - [j31]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque:
Context-aware personalization services for a residential gateway based on the OSGi platform. Expert Syst. Appl. 37(9): 6538-6546 (2010) - [c28]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Bringing mobile tv to the mashup approach. EuroITV 2010: 75-82 - [c27]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias:
Educateca: A Web 2.0 Approach to e-Learning with SCORM. I3E 2010: 118-126 - [c26]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Rebeca P. Díaz Redondo:
Property-based collaborative filtering: A new paradigm for semantics-based, health-aware recommender systems. SMAP 2010: 98-103 - [p1]Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias:
T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies. Computational Intelligence for Technology Enhanced Learning 2010: 125-142
2000 – 2009
- 2009
- [j30]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:
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study. Comput. Stand. Interfaces 31(2): 309-318 (2009) - [j29]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:
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV. Expert Syst. Appl. 36(3): 4192-4197 (2009) - [j28]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:
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment. Int. J. Softw. Eng. Knowl. Eng. 19(1): 47-78 (2009) - [j27]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:
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks. J. Netw. Comput. Appl. 32(6): 1194-1209 (2009) - [j26]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:
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels. Multim. Tools Appl. 41(3): 407-436 (2009) - [j25]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:
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. Requir. Eng. 14(3): 129-153 (2009) - 2008
- [j24]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:
Provision of distance learning services over Interactive Digital TV with MHP. Comput. Educ. 50(3): 927-949 (2008) - [j23]Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo:
Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks. IEEE Commun. Mag. 46(12): 108-111 (2008) - [j22]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla:
Enhancing Residential Gateways: A Semantic OSGi Platform. IEEE Intell. Syst. 23(1): 32-40 (2008) - [j21]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:
Composing Multi-Perspective Software Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 18(1): 119-153 (2008) - [j20]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:
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Inf. Softw. Technol. 50(4): 296-321 (2008) - [j19]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:
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study. J. Syst. Softw. 81(12): 2371-2385 (2008) - [j18]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:
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems. Knowl. Based Syst. 21(4): 305-320 (2008) - [j17]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:
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning. Multim. Tools Appl. 40(3): 409-451 (2008) - [j16]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:
Composing requirements specifications from multiple prioritized sources. Requir. Eng. 13(3): 187-206 (2008) - [j15]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:
An MHP framework to provide intelligent personalized recommendations about digital TV contents. Softw. Pract. Exp. 38(9): 925-960 (2008) - [c25]Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Automatic live tagging of videos using chronicles. AMBI-SYS 2008: 6 - 2007
- [j14]Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias:
Entercation: engaging viewers in education through TV. Comput. Entertain. 5(2): 7 (2007) - [j13]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:
Avatar: Enhancing the Personalized Television by Semantic Inference. Int. J. Pattern Recognit. Artif. Intell. 21(2): 397-421 (2007) - [j12]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias:
Exploiting OSGi capabilities from MHP applications. J. Virtual Real. Broadcast. 4 (2007) - [j11]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias:
Enhancing Residential Gateways: OSGi Service Composition. IEEE Trans. Consumer Electron. 53(1): 87-95 (2007) - [j10]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque:
Providing Web Services over DVB-H: Mobile Virtual Web Services. IEEE Trans. Consumer Electron. 53(2): 644-652 (2007) - [c24]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks. CCNC 2007: 430-434 - 2006
- [j9]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:
Bringing the Agile Philosophy to Formal Specification Settings. Int. J. Softw. Eng. Knowl. Eng. 16(6): 951-986 (2006) - [j8]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:
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning. J. Syst. Softw. 79(8): 1141-1155 (2006) - [j7]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:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. J. Log. Comput. 16(2): 227-255 (2006) - [j6]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:
Guidelines for the incremental identification of aspects in requirements specifications. Requir. Eng. 11(4): 239-263 (2006) - [j5]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:
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. Softw. Pract. Exp. 36(8): 845-869 (2006) - [j4]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:
MHP-OSGi convergence: a new model for open residential gateways. Softw. Pract. Exp. 36(13): 1421-1442 (2006) - [j3]Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque:
Controlling the smart home from TV. IEEE Trans. Consumer Electron. 52(2): 421-429 (2006) - [c23]Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
A Model for Personalized Learning Through IDTV. AH 2006: 457-461 - [c22]Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jesús Bermejo Muñoz:
Extending SCORM to Create Adaptive Courses. EC-TEL 2006: 679-684 - [c21]Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Providing SCORM with adaptivity. WWW 2006: 981-982 - 2005
- [j2]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. Int. J. Softw. Eng. Knowl. Eng. 15(4): 607-646 (2005) - [c20]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:
Multi-valued Model Checking in Dense-Time. ECSQARU 2005: 638-649 - [c19]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:
Tracing Integration Analysis in Component-Based Formal Specifications. FMOODS 2005: 147-162 - [c18]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:
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs. WWW (Special interest tracks and posters) 2005: 1078-1079 - 2004
- [j1]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:
Incremental specification with SCTL/MUS-T: a case study. J. Syst. Softw. 70(1-2): 189-208 (2004) - [c17]Martín López Nores, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jorge García Duque:
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. APSEC 2004: 38-45 - [c16]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:
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. ICSR 2004: 1-10 - [c15]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:
Technologies to Support Collaborative Learning over the Multimedia Home Platform. ICWL 2004: 83-90 - [c14]Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque:
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. IFM 2004: 382-401 - [c13]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:
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. WISE 2004: 415-421 - 2003
- [c12]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas:
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. Component-Based Software Quality 2003: 326-351 - [c11]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. Ershov Memorial Conference 2003: 366-380 - [c10]Alberto Gil-Solla, José Juan Pazos-Arias, Jorge García Duque, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer:
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV. ICWE 2003: 523-524 - [c9]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:
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform. MIPS 2003: 376-387 - 2002
- [c8]Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Requirements Specifications Evolution in a Multi-Perspective Environment. COMPSAC 2002: 39-46 - [c7]Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez:
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. COMPSAC 2002: 659-666 - [c6]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. EUROMICRO 2002: 90-97 - [c5]Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo:
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT 2002: 185-204 - [c4]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:
Surfing the Web on TV: the MHP approach. ICME (2) 2002: 285-288 - [c3]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse. ICSM 2002: 618-627 - [c2]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez:
ARIFS: an Environment for Incomplete and Formal Specifications. Formal Methods and Component Interaction @ ICALP 2002: 16-35 - 2001
- [c1]Rebeca P. Díaz Redondo, José Juan Pazos-Arias:
Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. ICSE 2001: 801-802
Coauthor Index
aka: Juan José López López Escobar
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint