Ana Fernández Vilas

Article
Díaz Redondo, R.P., Caeiro Rodríguez, M., López Escobar, J.J., Fernández Vilas, A.
Integrating micro-learning content in traditional e-learning platforms
Multimedia Tools and Applications, 80, 2, 2021 | DOI

Article
Evans, L., Owda, M., Crockett, K., Fernandez Vilas, A.
Credibility assessment of financial stock tweets
Expert Systems with Applications, 168, , 2021 | DOI

Article
Jara, E.P., Mezher, A.M., Igartua, M.A., Díaz Redondo, R.P., Fernández-Vilas, A.
Qsmvm: Qos-aware and social-aware multimetric routing protocol for video-streaming services over manets
Sensors (Switzerland), 21, 3, 2021 | DOI

Article
Díaz Redondo, R.P., Caeiro Rodríguez, M., López Escobar, J.J., Fernández Vilas, A.
Integrating micro-learning content in traditional e-learning platforms
Multimedia Tools and Applications, 80, 2, 2021 | DOI

Article
Sanchez Lopez, S.L., Diaz Redondo, R.P., Fernandez Vilas, A.,
Can the Type of Content You Share on eLearning Forums Reveal What Kind of Student You Are?
Revista Iberoamericana de Tecnologias del Aprendizaje, 16, 3, 2021 | DOI

Conference Paper
Díaz Redondo, R.P., Fernández Vilas, A., Abadía Rodríguez, A.,
Inferring Energy Consumption Patterns in Public Buildings
PE-WASUN 2020 – Proceedings of the 17th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, , , 2020 | DOI

Article
Díaz Redondo, R.P., Fernández-Vilas, A., Dos Reis, G.F.,
Security aspects in smart meters: Analysis and prevention
Sensors (Switzerland), 20, 14, 2020 | DOI

Article
Fernandez Vilas, A., Diaz Redondo, R.P., Lorenzo Garcia, A.
The Irruption of Cryptocurrencies into Twitter Cashtags: A Classifying Solution
IEEE Access, 8, , 2020 | DOI

Article
Igartua, M.A., Mendoza, F.A., Redondo, R.P.D., Vicente, M.I.M., Forne, J., Campo, C., Fernandez-Vilas, A., De La Cruz Llopis, L.J., Garcia-Rubio, C., Lopez, A.M., Mezher, A.M., Diaz-Sanchez, D., Cerezo-Costas, H., Rebollo-Monedero, D., Arias-Cabarcos, P., Rico-Novella, F.J.
INRISCO: INcident monitoRing in Smart COmmunities
IEEE Access, 8, , 2020 | DOI

Conference Paper
El-Awadi, R., Fernandez-Vilas, A., Diaz Redondo, R.P.
Fog Computing Solution for Distributed Anomaly Detection in Smart Grids
International Conference on Wireless and Mobile Computing, Networking and Communications, 2019-October, , 2019 | DOI

Article
Fernández Vilas, A., Díaz Redondo, R.P., Ben Khalifa, M.
Analysis of crowds’ movement using Twitter
Computational Intelligence, 35, 2, 2019 | DOI

Article
Fernández Vilas, A., Díaz Redondo, R.P., Crockett, K., Owda, M., Evans, L.
Twitter permeability to financial events: an experiment towards a model for sensing irregularities
Multimedia Tools and Applications, 78, 7, 2019 | DOI

Article
Balado Sánchez, C., Díaz Redondo, R.P., Fernández Vilas, A., Sánchez Bermúdez, A.M.
Spectrophotometers for labs: A cost-efficient solution based on smartphones
Computer Applications in Engineering Education, 27, 2, 2019 | DOI

Article
Castro-Jul, F., Díaz-Redondo, R.P., Fernández-Vilas, A., Chabridon, S., Conan, D.
Fog architectures and sensor location certification in distributed event-based systems†
Sensors (Switzerland), 19, 1, 2019 | DOI

Article
Castro-Jul, F., Díaz-Redondo, R.P., Fernández-Vilas, A.,
Collaboratively assessing urban alerts in ad hoc participatory sensing
Computer Networks, 131, , 2018 | DOI

Article
Bori?, M., Díaz Redondo, R.P., Fernández Vilas, A.,
Space Occupancy through BLE Dynamic Broadcasting
Wireless Communications and Mobile Computing, 2018, , 2018 | DOI

Article
Cerezo-Costas, H., Fernández-Vilas, A., Martín-Vicente, M., P. Díaz-Redondo, R.
Discovering geo-dependent stories by combining density-based clustering and thread-based aggregation techniques
Expert Systems with Applications, 95, , 2018 | DOI

Conference Paper
Diaz Redondo, R.P., Fernandez Vilas, A.
Smart grids monitoring: A fog-computing strategy to detect anomalies
2018 IEEE 59th Annual International Scientific Conference on Power and Electrical Engineering of Riga Technical University, RTUCON 2018 – Proceedings, , , 2018 | DOI

Article
Sanchez Lopez, S.L., Diaz Redondo, R.P., Fernández Vilas, A.
Predicting students’ grade based on social and content interactions
International Journal of Engineering Education, 34, 3, 2018 | DOI

Conference Paper
Fernández-Vilas, A., Evans, L., Owda, M., Díaz Redondo, R.P., Crockett, K.
Experiment for analysing the impact of financial events on twitter
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10393 LNCS, , 2017 | DOI

Conference Paper
Castro-Jul, F., Conan, D., Chabridon, S., Díaz Redondo, R.P., Fernández Vilas, A., Taconet, C.
Combining fog architectures and distributed event-based systems for mobile sensor location certification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10586 LNCS, , 2017 | DOI

Conference Paper
Castro-Jul, F., Díaz-Redondo, R.P., Fernández-Vilas, A.,
Have you also seen that? Collaborative alert assessment in ad hoc participatory sensing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10070 LNCS, , 2016 | DOI

Article
Fernández-Vilas, A., Díaz-Redondo, R.P., Servia-Rodríguez, S.
IPTV parental control: A collaborative model for the Social Web
Information Systems Frontiers, 17, 5, 2015 | DOI

Article
Servia-Rodríguez, S., Noulas, A., Mascolo, C., Fernández-Vilas, A., Díaz-Redondo, R.P.
The evolution of your success lies at the centre of your co-authorship network
PLoS ONE, 10, 3, 2015 | DOI

Conference Paper
Servia-Rodríguez, S., Díaz-Redondo, R.P., Fernández-Vilas, A.
Are tweets biased by audience? An analysis from the view of topic diversity
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9021, , 2015 | DOI

Conference Paper
Fernandes Caíña, M., Diáz Redondo, R., Fernández Vilas, A.
Marble initiative – Monitoring the impact of events on customers opinion
KDIR 2014 – Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, , , 2014 | DOI

Article
Servia-Rodríguez, S., Díaz-Redondo, R.P., Fernández-Vilas, A., Blanco-Fernández, Y., Pazos-Arias, J.J.
A tie strength based model to socially-enhance applications and its enabling implementation: MySocialSphere
Expert Systems with Applications, 41, 5, 2014 | DOI

Article
Díaz Redondo, R.P., Fernández Vilas, A., Pazos Arias, J.J., Gil Solla, A.
Collaborative and role-play strategies in software engineering learning with web 2.0 tools
Computer Applications in Engineering Education, 22, 4, 2014 | DOI

Conference Paper
Servia-Rodríguez, S., Fernández-Vilas, A., Díaz-Redondo, R.P., Pazos-Arias, J.J.
Comparing tag clustering algorithms for mining Twitter users’ interests
Proceedings – SocialCom/PASSAT/BigData/EconCom/BioMedCom 2013, , , 2013 | DOI

Article
Servia-Rodriguez, S., Fernandez-Vilas, A., Diaz-Redondo, R.P., Pazos-Arias, J.J.
Inferring contexts from facebook interactions: A social publicity scenario
IEEE Transactions on Multimedia, 15, 6, 2013 | DOI

Conference Paper
Servia-Rodríguez, S., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J.
Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem
Communications in Computer and Information Science, 367 CCIS, , 2013 | DOI

Article
Díaz Redondo, R.P., Fernández Vilas, A., Pazos Arias, J.J., Ramos Cabrer, M., Gil Solla, A., García Duque, J.
Bringing content awareness to web-based IDTV advertising
IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, 42, 3, 2012 | DOI

Conference Paper
Fernandez-Vilas, A., Diaz-Redondo, R., Pazos-Arias, J., Ramos-Cabrer, M., Gil-Solla, A.
A social approach to parental monitoring over DVB-IPTV digest of technical papers
Digest of Technical Papers – IEEE International Conference on Consumer Electronics, , , 2012 | DOI

Article
López-Nores, M., Blanco-Fernández, Y., Pazos-Arias, J.J., Fernández-Vilas, A., Ramos-Cabrer, M.
Automatic provision of personalized e-commerce services in Digital TV scenarios with impermanent connectivity
Expert Systems with Applications, 38, 10, 2011 | DOI

Article
Díaz Redondo, R.P., Fernández Vilas, A., Rey-López, M., Pazos Arias, J.J., Gil Solla, A., Ramos Cabrer, M., García Duque, J.
TV Guide 2.0: Applying the Web 2.0 fundamentals to IDTV
Multimedia Tools and Applications, 53, 1, 2011 | DOI

Conference Paper
Paiva, S., Ramos-Cabrer, M., Gil-Solla, A., Fernandez-Vilas, A., Diaz-Redondo, R.
Precision: A guided-based system for semantic validation and personalized natural language generation of queries
Digest of Technical Papers – IEEE International Conference on Consumer Electronics, , , 2011 | DOI

Article
Arias, J.J.P., Fernández Vilas, A., Díaz Redondo, R.P., Gil Solla, A., Ramos Cabrer, M., García Duque, J.
Making the most of TV on the move: My newschannel
Information Sciences, 181, 4, 2011 | DOI

Article
López-Nores, M., Pazos-Arias, J.J., García-Duque, J., Blanco-Fernández, Y., Martín-Vicente, M.I., Fernández-Vilas, A., Ramos-Cabrer, M., Gil-Solla, A.
MiSPOT: Dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning
Knowledge and Information Systems, 22, 1, 2010 | DOI

Article
Blanco-Fernández, Y., Pazos-Arias, J.J., López-Nores, M., Gil-Solla, A., Ramos-Cabrer, M., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P.
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce
Expert Systems with Applications, 37, 1, 2010 | DOI

Conference Paper
Fernández Vilas, A., Díaz Redondo, R.P., Pazos Arias, J.J.
Bringing mobile TV to the mashup approach
EuroITV’10 – Proceedings of the 8th International Interactive TV and Video Conference, , , 2010 | DOI

Article
López-Nores, M., Pazos-Arias, J.J., García-Duque, J., Blanco-Fernández, Y., Gil-Solla, A., Ramos-Cabrer, M., Díaz-Redondo, R.P., Fernández-Vilas, A.
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks
Computer Communications, 33, 7, 2010 | DOI

Article
Rey-López, M., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J.
T-Learning 2.0: A personalised hybrid approach based on ontologies and folksonomies
Studies in Computational Intelligence, 273, , 2010 | DOI

Article
Rey-López, M., Fernández-Vilas, A., Díaz-Redondo, R.P., López-Nores, M., Pazos-Arias, J.J., Gil-Solla, A., Ramos-Cabrer, M., García-Duque, J.
Enhancing TV programmes with additional contents using MPEG-7 segmentation information
Expert Systems with Applications, 37, 2, 2010 | DOI

Article
López-Nores, M., García-Duque, J., Pazos-Arias, J.J., Blanco-Fernández, Y., Ramos-Cabrer, M., Gil-Solla, A., Díaz-Redondo, R.P., Fernández-Vilas, A.
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks
Journal of Network and Computer Applications, 32, 6, 2009 | DOI

Article
García-Duque, J., Pazos-Arias, J.J., López-Nores, M., Blanco-Fernández, Y., Fernández-Vilas, A., Díaz-Redondo, R.P., Ramos-Cabrer, M., Gil-Solla, A.
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis – Revision cycle
Requirements Engineering, 14, 3, 2009 | DOI

Article
LÓpez-Nores, M., Pazos-Arias, J.J., GarcÍa-Duque, J., Blanco-FernÁndez, Y., DÍaz-Redondo, R.P., FernÁndez-Vilas, A., Gil-Solla, A., Ramos-Cabrer, M.
Procedures and algorithms for continuous integration in an agile specification environment
International Journal of Software Engineering and Knowledge Engineering, 19, 1, 2009 | DOI

Article
López-Nores, M., Blanco-Fernández, Y., Pazos-Arias, J.J., García-Duque, J., Ramos-Cabrer, M., Gil-Solla, A., Díaz-Redondo, R.P., Fernández-Vilas, A.
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels
Multimedia Tools and Applications, 41, 3, 2009 | DOI

Article
Rey-López, M., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J., García-Duque, J., Gil-Solla, A., Ramos-Cabrer, M.
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study
Computer Standards and Interfaces, 31, 2, 2009 | DOI

Book Chapter
Díaz-Redondo, R.P., Fernández-Vilas, A., Ramos-Cabrer, M.
Context-aware personalization for services in the smart home: A semantic approach for OSGi services
Personalization of Interactive Multimedia Services: A Research and Development Perspective, , , 2009 | DOI

Article
López-Nores, M., Rey-López, M., Pazos-Arias, J.J., García-Duque, J., Blanco-Fernández, Y., Gil-Solla, A., Díaz-Redondo, R.P., Fernández-Vilas, A., Ramos-Cabrer, M.
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV
Expert Systems with Applications, 36, 3 PART 1, 2009 | DOI

Book Chapter
Rey-López, M., Fernández-Vilas, A., Díaz-Redondo, R.P.,
New trends for personalised T-learning
Personalization of Interactive Multimedia Services: A Research and Development Perspective, , , 2009 | DOI

Book Chapter
Fernández Vilas, J.A., Pazos Arias, J.P., Fernández Vilas, A.
Virtual web services: Extension architecture to alleviate open problems in web services technology
Managing Web Service Quality: Measuring Outcomes and Effectiveness, , , 2008 | DOI

Article
Rey-López, M., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J., López-Nores, M., García-Duque, J., Gil-Solla, A., Ramos-Cabrer, M.
T-MAESTRO and its authoring tool: Using adaptation to integrate entertainment into personalized t-learning
Multimedia Tools and Applications, 40, 3, 2008 | DOI

Article
Blanco-Fernández, Y., Pazos-Arias, J.J., Gil-Solla, A., Ramos-Cabrer, M., López-Nores, M., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P.
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study
Journal of Systems and Software, 81, 12, 2008 | DOI

Conference Paper
López-Nores, M., Pazos-Arias, J.J., García-Duque, J., Blanco-Fernández, Y., Fernández-Vilas, A.
A two-sided simulator for the assessment of coordination policies in mobile ad-hoc networks
2008 5th IEEE Consumer Communications and Networking Conference, CCNC 2008, , , 2008 | DOI

Article
Bianco-Fernández, Y., Pazos-Arias, J.J., Gil-Solla, A., Ramos-Cabrer, M., López-Nores, M., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P., Bermejo-Muñoz, J.
An MHP framework to provide intelligent personalized recommendations about digital TV contents
Software – Practice and Experience, 38, 9, 2008 | DOI

Article
Barragáns Martínez, A.B., Pazos Arias, J.J., Fernández Vilas, A., García Duque, J., López Nores, M., Díaz Redondo, R.P., Blanco Fernández, Y.
Composing requirements specifications from multiple prioritized sources
Requirements Engineering, 13, 3, 2008 | DOI

Article
Blanco-Fernández, Y., Pazos-Arias, J.J., Gil-Solla, A., Ramos-Cabrer, M., López-Nores, M., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P., Bermejo-Muñoz, J.
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems
Knowledge-Based Systems, 21, 4, 2008 | DOI

Article
Pazos-Arias, J.J., López-Nores, M., García-Duque, J., Díaz-Redondo, R.P., Blanco-Fernández, Y., Ramos-Cabrer, M., Gil-Solla, A., Fernández-Vilas, A.
Provision of distance learning services over Interactive Digital TV with MHP
Computers and Education, 50, 3, 2008 | DOI

Article
Barragáns Martínez, A.B., Pazos Arias, J.J., Fernández Vilas, A., García Duque, J., López Nores, M., Díaz Redondo, R.P., Blanco Fernández, Y.
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications
Information and Software Technology, 50, 4, 2008 | DOI

Conference Paper
Rey-López, M., Fernández-Vilas, A., Díaz-Redondo, R.P., Pazos-Arias, J.J.
Automatic live tagging of videos using chronicles
Proceedings of the 2008 Ambi-Sys Workshop on Ambient Media Delivery and Interactive Television, AMDIT 2008, , , 2008 | DOI

Conference Paper
Rey-López, M., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J., López-Nores, M.
Adaptive learning objects for t-learning [Objetos adaptativos de aprendizaje para t-learning]
IEEE Latin America Transactions, 5, 6, 2007 | DOI

Conference Paper
López-Nores, M., Pazos-Arias, J.J., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P.
KEPPAN: Towards autonomic communications in mobile ad-hoc networks
2007 4th Annual IEEE Consumer Communications and Networking Conference, CCNC 2007, , , 2007 | DOI

Article
Rey-López, M., Díaz-Redondo, R.P., Fernández-Vilas, A., Pazos-Arias, J.J.
Entercation: Engaging viewers in education through TV
Computers in Entertainment, 5, 2, 2007 | DOI

Article
Díaz Redondo, R.P., Fernández Vilas, A., Ramos Cabrer, M., Pazos Arias, J.J., López, M.R.
Enhancing residential gateways: OSGi service composition
IEEE Transactions on Consumer Electronics, 53, 1, 2007 | DOI

Conference Paper
Rey-López, M., Fernández-Vilas, A., Díaz-Redondo, R., Pazos-Arias, J.
Providing SCORM with adaptivity
Proceedings of the 15th International Conference on World Wide Web, , , 2006 | DOI

Article
Fernández Vilas, A., Díaz Redondo, R.P., Ramos Cabrer, M., Pazos Arias, J.J., Gil Solla, A., García Duque, J., López Nores, M., Blanco Fernández, Y.
MHP-OSGi convergence: A new model for open residential gateways
Software – Practice and Experience, 36, 13, 2006 | DOI

Article
García-Duque, J., López-Nores, M., Pazos-Arias, J.J., Fernández-Vilas, A., Díaz-Redondo, R.P., Gil-Solla, A., Ramos-Cabrer, M., Blanco-Fernández, Y.
Guidelines for the incremental identification of aspects in requirements specifications
Requirements Engineering, 11, 4, 2006 | DOI

Article
López-Nores, M., Pazos-Arias, J., García-Duque, J., Blanco-Fernández, Y., Ramos-Cabrer, M., Gil-Solla, A., Fernández-Vilas, A., Díaz-Redondo, R.
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning
Journal of Systems and Software, 79, 8, 2006 | DOI

Article
Pazos-Arias, J.J., López-Nores, M., García-Duque, J., Gil-Solla, A., Ramos-Cabrer, M., Blanco-Fernández, Y., Díaz-Redondo, R.P., Fernández-Vilas, A.
ATLAS: A framework to provide multiuser and distributed t-learning services over MHP
Software – Practice and Experience, 36, 8, 2006 | DOI

Article
García-Duque, J., López-Nores, M., Pazos-Arias, J.J., Fernández-Vilas, A., Díaz-Redondo, R.P., Gil-Solla, A., Blanco-Fernández, Y., Ramos-Cabrer, M.
A six-valued logic to reason about uncertainty and inconsistency in requirements specifications
Journal of Logic and Computation, 16, 2, 2006 | DOI

Conference Paper
Rey-López, M., Fernández-Vilas, A., Díaz-Redondo, R.P.,
A model for personalized learning through IDTV
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4018 LNCS, , 2006 | DOI

Conference Paper
López-Nores, M., Pazos-Arias, J.J., García-Duque, J., Barragáns-Martínez, B., Díaz-Redondo, R.P., Fernández-Vilas, A., Gil-Solla, A., Ramos-Cabrer, M.
Tracing integration analysis in component-based formal specifications
Lecture Notes in Computer Science, 3535, , 2005 | DOI

Article
Fernández Vilas, A., Pazos Arias, J.J., Gill Solla, A., Díaz Redondo, R.P., García Duque, J., Barragáns Martínez, A.B.
Incremental specification with SCTL/MUS-T: A case study
Journal of Systems and Software, 70, 01/02/2021 0:00, 2004 | DOI

Article
López-Nores, M., Blanco-Fernández, Y., Fernández-Vilas, A., Díaz-Redondo, R.P., Pazos-Arias, J.J., Gil-Solla, A., García-Duque, J., Barragáns-Martínez, B., Ramos-Cabrer, M.
Technologies to support collaborative learning over the multimedia home platform
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3143, , 2004 | DOI

Article
Blanco-Fernández, Y., Pazos-Arias, J.J., Gil-Solla, A., Ramos-Cabrer, M., Barragáns-Martínez, B., López-Nores, M., García-Duque, J., Fernández-Vilas, A., Díaz-Redondo, R.P.
AVATAR: An advanced multi-agent recommender system of personalized TV contents by semantic reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3306, , 2004 | DOI

Article
Díaz-Redondo, R.P., Pazos-Arias, J.J., Fernández-Vilas, A.
Reuse of formal verification efforts of incomplete models at the requirements specification stage
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2693, , 2003 | DOI

Article
López-Nores, M., Fernández-Vilas, A., Díaz-Redondo, R.P., Gil-Solla, A., Pazos-Arias, J.J., Ramos-Cabrer, M., García-Duque, J.
A mixed XML-JavaBeans approach to developing t-learning applications for the multimedia home platform
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2899, , 2003 | DOI

Conference Paper
Fernández Vilas, A., Pazos Arias, J.J., Díaz Redondo, R.P.
Extending timed automaton and real-time logic to many-valued reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2469, , 2002 | DOI

Conference Paper
Díaz Redondo, R.P., Pazos Arias, J.J., Fernández Vilas, A., Barragáns Martínez, B.
Approximate retrieval of incomplete and formal specifications applied to vertical reuse
Conference on Software Maintenance, , , 2002 | DOI

Conference Paper
Barragáns-Martínez, A.B., García-Duque, J., Pazos-Arias, J.J., Fernández-Vilas, A., Díaz-Redondo, R.P.
Requirements specifications evolution in a multi-perspective environment
Proceedings – IEEE Computer Society’s International Computer Software and Applications Conference, , , 2002 | DOI