García Duque, Jorge

Información Personal:
Puesto:	Titular de Universidad
Correo electrónico:	Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.
Teléfono:	(+34) 986813470
Fax:	(+34) 986812116
Localización:	Despacho B-202
Página personal:	http://gssi.det.uvigo.es/~jgd/
Últimas publicaciones
A Simplified Mobile Advertising Model to Study Advertising Spreading through Personal Social Networks and Branded Apps. Garcia Davalos, A. & García Duque, J. (2023). Journal of Promotion Management, 29(8), 1104-1137.   Brand relationships in wireless mobile environments: The mediating role of apps. García Davalos, A. & García Duque, J. (2023). International Journal of Consumer Studies (SSCI BUSINESS Q1 2022), 47(4), 1335.   A hybrid system based on robotic assistants and mobile applications to support in speech therapy for children with disabilities and communication disorders. Ochoa-Guaraca, M., Pulla-Sánchez, D., Robles Bykbaev, V. E., López Nores, M., Carpio-Moreta, M. & García Duque, J. (2017). Campus Virtuales, 6(1), 77-87.   Robotic assistant for support in speech therapy for children with cerebral palsy Robles Bykbaev, V. E., Ochoa Guaraca, M., Carpio Moreta, M., Pulla Sánchez, D., Serpa Andrade, L., López Nores, M. et al (2016). En IEEE International Autumn Meeting on Power, Electronics and Computing (ROPEC). Ixtapa, México.   An ontology-based expert system to generate therapy plans for children with disabilities and communication disorders Robles Bykbaev, V. E., López Nores, M., Guamán-Murrillo, W., Pazos Arias, J. J., García Duque, J. & Quisi-Peralta, D (2016). En IEEE Ecuador Technical Chapters Meeting. IEEE.   A robotic assistant to support the development of communication skills of children with disabilities Robles Bykbaev, V. E., López Nores, M., Pazos Arias, J. J., García Duque, J., Ochoa-Guaraca, M., Carpio-Moreta, M. et al (2016). En 11º Congreso Colombiano de Computación. IEEE.   An ecosystem based on ontologies and robotic assistants to support the development of social communication skills in children with autism Robles Bykbaev, V. E., López Nores, M., León Wong, V. C., García Duque, J., Pazos Arias, J. J., Naranjo Cabrera, E. et al (2016). En 8th International Conference on e-Health, páginas 83-90. IADIS Press.   Evaluation of an expert system for the generation of speech and language therapy plans. Robles Bykbaev, V. E., López Nores, M., García Duque, J., Pazos Arias, J. J. & Arévalo Lucero, D. (2016). JMIR Medical Informatics, 4(3).   SPELTA-Miner: An expert system based on data mining and multilabel classification to design therapy plans for communication disorders Robles Bykbaev, V. E., López Nores, M., García Duque, J., Gil Solla, A. & Quisi-Peralta, D (2016). En 3rd International Conference on Control, Decision and Information Technologies (CoDIT). Saint Julian's, Malta : IEEE.   Ramses: A Robotic Assistant and A Mobile Support Environment for Speech and Language Therapy. Robles Bykbaev, V. E., López Nores, M., García Duque, J., Pazos Arias, J. J., Flores-Tapia, T. & Ordóñez-Arce, C. (2015). International Journal of Computational Linguistics Research, 6(3), 67-76.   An ecosystem of intelligent ICT tools for speech-language therapy based on a formal knowledge model Robles Bykbaev, V. E., López Nores, M., Pazos Arias, J. J., Quisi-Peralta, D. & García Duque, J (2015). En 15th World Congress on Health and Biomedical Informatics (MEDINFO). São Paulo, Brazil : MEDLINE.   SPELTRA: A Robotic Assistant for Speech-and-Language Therapy Robles Bykbaev, V. E., Nores, Ochoa Zambrano, J., García Duque, J. & Pazos Arias, J. J (2015). En 17th International Conference on Human-Computer Interaction (HCI International). http://2015.hci.international : Springer.   A proposal of an ecosystem based on intelligent ICT tools to support the diagnosis and intervention of patients with communication disorders. Robles Bykbaev, V. E., López Nores, M., García Duque, J., Pazos Arias, J. J., Arévalo-Lucero, D. & Ingavélez-Guerra, P. (2015). Ingenius, 14, 44-52.   A multilayer mobile ecosystem to support the assessment and treatment of patients with communication disorders Robles Bykbaev, V. E., López Nores, M., Pazos Arias, J. J. & García Duque, J (2015). En 7th International Conference on E-Health (EH, co-located with MCCSIS). Gran Canaria, Spain.   RAMSES: A Robotic Assistant and a Mobile Support Environment for Speech and Language Therapy Robles Bykbaev, V. E., López Nores, M., Pazos Arias, J. J. & García Duque, J (2015). En 5th International Conference on Innovative Computing Technology (INTECH). Vigo, Spain : IEEE.   Modelling domain knowledge of Speech and Language Therapy with an OWL ontology and OpenEHR archetypes Robles Bykbaev, V. E., López Nores, M., Pazos Arias, J. J. & García Duque, J (2015). En 8th International Conference on Health Informatics (HEALTHINF). Lisbon, Portugal : INSTICC.   REENACT: A Step Forward in Immersive Learning about Human History by Augmented Reality, Role Playing and Social Networking. Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & García Duque, J. (2014). Expert Systems With Applications, 41(10), 4811-4828.   Leveraging Short-Lived Social Networks in Museums to Engage People in History Learning López Nores, M., Blanco Fernández, Y., Gil Solla, A., Ramos Cabrer, M., García Duque, J. & Pazos Arias, J. J (2013). En 8th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2013). Bayonne, France : IEEE Computer Society Press.   REENACT: Future Media Internet Technologies for Immersive Learning about Historical Battles and Wars López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J., Ramos Cabrer, M., Gil Solla, A. et al (2013). En eChallenges e-2013. Dublin, Ireland : IIMC International Information Management Corporation.   REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J. & Ramos Cabrer, M (2013). En 10th International Conference on Signal Processing and Multimedia Applications (SIGMAP). Reykjavik, Iceland : INSTICC.   REENACT: Learning about Historical Battles and Wars through Augmented Reality and Role Playing - An EXPERIMEDIA Experiment López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J., Ramos Cabrer, M. et al (2013). En 5th International Conference on Computer-Supported Education (CSEDU). INSTICC.   Bringing content-awareness to Web-based IDTV advertising. Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J. (2012). IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 42(3), 324-333.   A Virtualization Layer for Mobile Consumer Devices to Support Demanding Communication Services in Vehicular Ad-hoc Networks Bravo Torres, J. F., López Nores, M., Blanco Fernández, Y., Servia Rodríguez, S. & García Duque, J (2012). En International Conference on Consumer Electronics (ICCE) --- Special Merit Award for Outstanding Paper. Las Vegas, USA : IEEE.   The iCabiNET System: Harnessing Electronic Health Record Standards from Domestic and Mobile Devices to Support Better Medication Adherence. López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & García Duque, J. (2012). Computer Standards & Interfaces, 34(1), 109-116.   SCORM and Social Recommendation: a Web 2.0 Approach to E-learning. Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & García Duque, J (2012). En Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P. (editores), Recommender Systems for the Social Web. Springer.   An Improvement for Semantics-based Recommender Systems Grounded on Attaching Temporal Information to Ontologies and User Profiles.. Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J. & García Duque, J. (2011). Engineering Applications of Artificial Intelligence. Selected as Best Engineering Applications of Artifical Intelligence paper for 2011-2013 in the category "application oriented papers", 24(8), 1385-1397.   Enhancing recommender systems with access to electronic health records and groups of interest in social networks López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J. & Martín Vicente, M. I (2011). En 7th International Conference on Signal-Image Technology and Internet-Based Systems (SITIS 2011).   Making the most of TV on the move: My newschannel. Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Ramos Cabrer, M. & García Duque, J. (2011). Information Sciences, 181(4), 855-868.   TVGuide2.0: Applying the Web2.0 fundamentals to IDTV. Díaz Redondo, R. P., Fernández Vilas, A., Rey López, M., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. et al. (2011). Multimedia Tools and Applications, 53(1), 151-179.   TripFromTV+: Exploiting Social Networks to Arrange Cut-Price Touristic Packages Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., García Duque, J. & Martín Vicente, M. I (2011). En International Conference on Consumer Electronics.   Property-Based Collaborative Filtering for Health-Aware Recommender Systems López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J. & Gil Solla, A (2011). En International Conference on Consumer Electronics.   TripFromTV+: Targeting Personalized Tourism to Interactive Digital TV Viewers by Social Networking and Semantic Reasoning. Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., García Duque, J. & Martín Vicente, M. I. (2011). IEEE Transactions on Consumer Electronics, 57(2), 953-961.   Context-aware personalization services for a residential gateway based on the OSGi platform. Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J. (2010). Expert Systems with Applications, 37(9), 6538-6546.   T-learning in Telecommunication Engineering: The value of Interactive Digital TV in the European Higher Education Area López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & García Duque, J (2010). En 10th IEEE International Conference on Advanced Learning Technologies (ICALT). IEEE Computer Society.   The iCabiNET System: Building Standard Medication Records from the Networked Home López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & García Duque, J (2010). En 3rd International Symposium on Intelligent and Interactive Multimedia: Systems and Services (KES-IIMSS).   Exploring Synergies between Digital TV Recommender Systems and Electronic Health Records López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & García Duque, J (2010). En 8th European Conference on Interactive TV and Video. ACM Press.   Application-Level Assessment of Approaches to Coordinate Node Mobility in Wireless Sensor and Actor Networks. López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Gil Solla, A., Ramos Cabrer, M. et al. (2010). Computer Communications, 33(7), 860-867.   Enhancing TV Programmes with Additional Contents Using MPEG-7 Segmentation Information. Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Gil Solla, A. et al. (2010). Expert Systems with Applications, 37(2), 1124-1133.   MiSPOT: Dynamic Product Placement for Digital TV through MPEG-4 Processing and Semantic Reasoning. 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. et al. (2010). Knowledge and Information Systems, 22(1), 101-128.   Incentivized Provision of Metadata, Semantic Reasoning and Time-driven Filtering: Making a Puzzle of Personalized e-Commerce. Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A., Ramos Cabrer, M., García Duque, J. et al. (2010). Expert Systems with Applications, 37(1), 61-69.   An AmI-enabled OSGi platform based on socio-semantic technologies. Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J (2010). . Smart Home Systems. InTech Education and Publishing.   KEPPAN: Knowledge Exploitation for Proactively-Planned Ad-hoc Networks. López Nores, M., García Duque, J., Pazos Arias, J. J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2009). Journal of Network and Computer Applications, 32(6), 1194-1209.   Spontaneous Interaction with Audiovisual Contents for Personalized E-commerce over Digital TV. López Nores, M., Rey López, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Gil Solla, A. et al. (2009). Expert Systems with Applications, 36(3p1), 4192-4197.   T-Learning Prospects in Higher Education López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., García Duque, J., Díaz Redondo, R. P. & Fernández Vilas, A (2009). En Learning in Digital Worlds (CAL). Brighton, United Kingdom.   What's on TV Tonight? An Efficient and Effective Personalized Recommender System of TV Programs. Barragáns Martínez, A. B., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & López Nores, M. (2009). IEEE Transactions on Consumer Electronics, 55(1), 286-294.   Receiver-Side Semantic Reasoning for Digital TV Personalization in the Absence of Return Channels. López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J., Ramos Cabrer, M., Gil Solla, A. et al. (2009). Multimedia Tools and Applications, 41(3), 407-436.   Procedures and Algorithms for Continuous Integration in an Agile Specification Environment. 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. et al. (2009). International Journal of Software Engineering and Knowledge Engineering, 19(1), 47-78.   An extension to the ADL SCORM standard to support adaptivity: the t-learning case-study. Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., García Duque, J., Gil Solla, A. et al. (2009). Computer Standards & Interfaces, 31(2), 309-318.   Entering Information about Medication Intake in Standard Electronic Health Records from the Networked Home López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Ramos Cabrer, M (2009). En 27th International Conference on Consumer Electronics (ICCE).   Mashing up TV and the Web in the Mobile World Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J (2009). En 27th International Conference on Consumer Electronics (ICCE).   Sponsored Advertising for IDTV: A Personalized and Content-Aware Approach Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Ramos Cabrer, M. & García Duque, J (2009). En 27th International Conference on Consumer Electronics (ICCE).   What's on TV Tonight? An Efficient and Effective Personalized Recommender System of TV Programs Barragáns Martínez, A. B., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & López Nores, M (2009). En 27th International Conference on Consumer Electronics (ICCE).   Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. 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. et al. (2009). Requirements Engineering, 14(3), 129-153.   Qualitative Assessment of Approaches to Coordinate Activities of Mobile Hosts in Ad-hoc Networks. López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Díaz Redondo, R. P. (2008). IEEE Communications Magazine, 46(12), 108-111.   T-MAESTRO and its Authoring Tool: Using Adaptation to Integrate Entertainment into Personalized T-learning. 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. et al. (2008). Multimedia Tools and Applications, 40(3), 409-451.   Exploiting Synergies between Semantic Reasoning and Personalization Strategies in Intelligent Recommender Systems: A Case Study. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Journal of Systems and Software, 81(12), 2371-2385.   Composing Requirements Specifications from Multiple Prioritized Sources. 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. et al. (2008). Requirements Engineering, 13(3), 187-206.   An MHP Framework to Provide Intelligent Personalized Recommendations about Digital TV contents. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Software, Practice and Experience, 38(9), 925-960.   MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-learning Linked to TV Programs López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., García Duque, J., Tubío Pardavila, R. & Casquero Villacorta, E (2008). En 8th IEEE International Conference on Advanced Learning Technologies (ICALT). Santandar, Spain : IEEE Computer Society Press.   On the Need for Incentives to Support Personalization Systems López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Gil Solla, A. & Ramos Cabrer, M (2008). En 3rd International Conference on Signal Processing and Multimedia Applications (SIGMAP).   A Flexible Semantic Inference Methodology to Reason about User Preferences in Knowledge-based Recommender Systems. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Knowledge-Based Systems, 21(4), 305-320.   Introducing Smart Packaging in Residential Networks to Prevent Medicine Misuse López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Ramos Cabrer, M (2008). En 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). Algarve, Portugal : IEEE Computer Society Press.   myTV 2.0: Semantic Reasoning and Web 2.0 for Mobile TV Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M. & García Duque, J (2008). En 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.   On the Interplay between Inconsistency and Incompleteness in Multi-Perspective Requirements Specifications. 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. et al. (2008). Information and Software Technology, 50(4), 296-321.   Composing Multi-Perspective Software Requirements Specifications. 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. et al. (2008). International Journal of Software Engineering and Knowledge Engineering, 18(1), 119-153.   A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond López Nores, M., Pazos Arias, J. J., García Duque, J. & Blanco Fernández, Y (2008). En International Conference on Health Informatics (HEALTHINF). Funchal, Madeira.   A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-hoc Networks López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Fernández Vilas, A (2008). En 5th IEEE Consumer Communications and Networking Conference (CCNC). Las Vegas, USA : IEEE Computer Society.   Enhancing residential gateways: a Semantic OSGi platform. Díaz Redondo, R. P., Fernández Vilas, A., Ramos Cabrer, M., Pazos Arias, J. J., García Duque, J. & Gil Solla, A. (2008). IEEE Intelligent Systems, 23(1), 32-40.   Monitoring Medicine Intake in the Networked Home: The iCabiNET Solution López Nores, M., Pazos Arias, J. J., García Duque, J. & Blanco Fernández, Y (2008). En 2nd International Conference on Pervasive Computing Technologies for Healthcare (Pervasive Health). Tampere, Finland : IEEE Computer Society.   Provision of Distance Learning Services over Interactive Digital TV with MHP. Pazos Arias, J. J., López Nores, M., García Duque, J., Díaz Redondo, R. P., Blanco Fernández, Y., Ramos Cabrer, M. et al. (2008). Computers & Education, 50(3), 927-949.   The MiSPOT System: Personalized Publicity and Marketing over Interactive Digital TV. López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., García Duque, J., Tubío Pardavila, R. & Rey López, M (2008). . E-Business and Telecommunications - Selected papers from ICETE 2007. Springer.   Downsizing Semantic Reasoning to Fixed and Mobile DTV Receivers López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J., Gil Solla, A. & Ramos Cabrer, M (2007). En 2nd IEEE International Workshop on Semantic Media Adaptation and Personalization (SMAP). London, UK : IEEE Computer Society Press.   Metodología para la Especificación Formal de Sistemas de Comunicaciones según el Paradigma del Desarrollo Ágil López Nores, M., Pazos Arias, J. J., García Duque, J. & Blanco Fernández, Y (2007). En VI Jornadas de Ingeniería Telemática (JITEL). Malaga, Spain.   Spontaneous and Personalized Advertising through MPEG-7 Markup and Semantic Reasoning López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Rey López, M. & Casquero Villacorta, E (2007). En 2nd International Conference on Signal Processing and Multimedia Applications (SIGMAP). Barcelona, Spain.   Providing Web Services over DVB-H: Mobile Virtual Web Services. Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652.   AVATAR: Enhancing the Personalized Television by Semantic Inference. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2007). International Journal of Pattern Recognition and Artificial Intelligence. Special issue on Personalization Techniques for Recommender Systems and Intelligent User Interfaces, 21(2), 397-422.   Non-Invasive and Personalized Advertising through MPEG-4 Processing and Semantic Reasoning López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2007). En IEEE International Conference on Consumer Electronics (ICCE). Las Vegas, USA.   KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks. López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2007). En 4th IEEE Consumer Communications and Networking Conference (CCNC). Special Track on Autonomic Communications. Las Vegas, USA.   Bringing the Agile Philosophy to Formal Specification Settings. 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. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986.   MHP-OSGi Convergence: A New Model for Open Residential Gateways. Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.   Guidelines for the Incremental Identification of Aspects in Requirements Specifications. García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.   Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning. López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155.   ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP. Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869.   A Core of Standards to Support T-learning López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2006). En 6th IEEE International Conference on Advanced Learning Technologies (ICALT), páginas 13-15. IEEE Computer Society.   Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements López Nores, M., García Duque, J. & Pazos Arias, J. J (2006). En 8th International Conference on Coordination Models and Languages (COORDINATION) - Lecture Notes in Computer Science, páginas 164-178. Bolonia, Italy : Springer Verlag.   Controlling the Smart Home from TV. Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429.   Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning López Nores, M., Pereira Paz, D., Pazos Arias, J. J., García Duque, J. & Casquero Villacorta, E (2006). En 25th Conference on Computer Communications (INFOCOM). Poster session.   A Six-Valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Journal of Logic and Computation, 16(2), 227-255.   An Agile Approach to Support Incremental Development of Requirements Specifications López Nores, M., Pazos Arias, J. J., García Duque, J. & Barragáns Martínez, A. B (2006). En 17th IEEE Australian Software Engineering Conference (ASWEC), páginas 9-18. Sidney, Australia : IEEE Computer Society.   Formal Reasoning under Uncertainty to Improve Service Provision in Mobile Ad-hoc Networks López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2006). En 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Merin, Czech Republic.   ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification Stage. Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645.   Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study. Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.   Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems. Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.   Multi-valued Model Checking in Dense-Time Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag.   Tracing Integration Analysis in Component-Based Formal Specifications López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). En 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, páginas 147-162.   Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press.   Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press.   Bringing Standards into T-learning López Nores, M., Pazos Arias, J. J., Díaz Redondo, R. P., Blanco Fernández, Y., García Duque, J., Rey López, M. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 79-86.   Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Barragáns Martínez, A. B., García Duque, J. et al (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 588-591. Hong Kong : IEEE Computer Society Press.   On the Specification of Interaction Patterns for Collaborative T-learning Services López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233.   Solutions for Personalized T-learning López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark.   A Technological Framework for TV-supported Collaborative Learning López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al (2004). En 6th IEEE International Symposium on Multimedia Software Engineering (MSE), páginas 72-79.   An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts López Nores, M., Díaz Redondo, R. P., Pazos Arias, J. J. & García Duque, J (2004). En 11th Asia-Pacific Software Engineering Conference (APSEC), páginas 38-45. Busan, Korea : IEEE Computer Society Press.   AVATAR: An Advanced Multi-Agent Recommender System of Personalized TV Contents by Semantic Reasoning Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B., López Nores, M. et al (2004). En 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, páginas 415-421. Brisbane, Australia : Springer Verlag.   AVATAR: Advanced Telematic Search of Audiovisual Contents by Semantic Reasoning Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., García Duque, J., Díaz Redondo, R. P. et al (2004). En 4th Workshop on Personalization in Future TV (TV), páginas 246-251. Eindhoven, The Netherlands.   Technologies to Support Collaborative Learning over the Multimedia Home Platform López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). En 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, páginas 83-90. Springer Verlag.   Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). En 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, páginas 1-10.   A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., Gil Solla, A. & García Duque, J (2004). En 4th International Conference on Integrated Formal Methods (IFM 2004), páginas 382-401. Springer Verlag.   Incremental Specification with SCTL/MUS-T: A Case Study. Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B. (2004). Journal of Systems and Software, 70(1-2), 189-208.   A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). En 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, páginas 376-387. Springer Verlag.   Improving the Consistency Checking Process by Reusing Formal Verification Knowledge Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). En Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), páginas 366-380. Akademgorodok, Novosibirsk, Russia.   The MHP (Multimedia Home Platform) Framework for Web Access through Digital TV Gil Solla, A., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Ramos Cabrer, M (2003). En International Conference on Web Engineering (ICWE), páginas 523-524. Oviedo, Spain : Springer.   An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology García Duque, J., Pazos Arias, J. J. & Barragáns Martínez, A. B (2002). En 10th Joint International Requirements Engineering Conference (RE), páginas 282-288. Essen, Germany : IEEE Computer Society Press.   Requirements Specifications Evolution in a Multi-Perspective Environment Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). En 26th Annual International Computer Software and Applications Conference (COMPSAC), páginas 39-44. Oxford, U.K. : IEEE Computer Society Press.   Sistemas Operativos para un Receptor Digital de Televisión Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). En X Jornadas de Concurrencia. Jaca, Spain.   DVB-MHP transport Stream Generator Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 453-456. Zadar, Croatia : IEEE Computer Society Press.   Different Degrees of Satisfaction to Aid Defect Testing García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). En 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.   Reasoning over Inconsistent Viewpoints: How levels of Agreement can Evolve? García Duque, J. & Pazos Arias, J. J (2001). En 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.   SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Pazos Arias, J. J. & García Duque, J. (2001). Formal Aspects of Computing, 13, 50-91.   An Example for Reusing Verification Knowledge by Using Formal Techniques Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). En 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.   Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). En VIII Jornadas de Concurrencia, páginas 125-138. Cuenca, Spain.   Verificación de requisitos de tiempo críticos sobre sistemas incompletos Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). En VIII Jornadas de Concurrencia, páginas 277-290. Cuenca, Spain.   Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal. García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.   Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). En VII Jornadas de Concurrencia. Gandía, Spain.   Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). En VII Jornadas de Concurrencia. Gandía, Spain.   LCTS: Una Lógica Temporal Causal para la Especificación y Verificación de Requisitos Funcionales de un Sistema Distribuido Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1998). En VI Jornadas de Concurrencia.. Pamplona, Spain.   Una Lógica Temporal Causal para la Especificación de Requisitos Funcionales de un Sistema Distribuido Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1997). En V Jornadas de Concurrencia, páginas 321-332. Vigo, Spain.   XLIRA: An Environment for Telematic Application Development Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). En Proc of Telematics for future Education and Training. Oulu, Finland.   [Ver Menos]