Gil Solla, Alberto

Personal Information:
Position:	Catedrático de Universidad
Email:	This email address is being protected from spambots. You need JavaScript enabled to view it.
Phone:	(+34) 986813776
Fax:	(+34) 986812116
Location:	Room B-103
Personal page:	http://gssi.det.uvigo.es/~agil/
Recent publications
An automatic feedback educational platform: assessment and therapeutic intervention for writing learning in children with special educational needs. Serpa Andrade, L., Pazos Arias, J. J., Gil Solla, A., Blanco Fernández, Y. & López Nores, M. (2024). Expert Systems with Applications, To appear.   Automatically Assembling a Custom-built Training Corpus for Improving the Learning of in-Domain Word/Document Embeddings. Blanco Fernández, Y., Gil Solla, A., Pazos Arias, J. J. & Quisi Peralta, D. (2023). Informatica (SCIE MATHEMATICS, APPLIED Q1 2022), 34(3).   A Crowdsourcing Recommendation Model for Image Annotations in Cultural Heritage Platforms. Maged Kamel, M., Gil Solla, A., Guerrero Vásquez, L. F., Blanco Fernández, Y., Pazos Arias, J. J. & López Nores, M. (2023). Applied Sciences (SCIE ENGINEERING, MULTIDISCIPLINARY Q2 2022), 13(19).   A Dashboard to Enable New Opportunities for Rural Development by Overcoming the Dominant Segmentation of European Pilgrimage Routes. López Nores, M., Pazos Arias, J. J., Gil Solla, A., Martínez Portela, R., Arcay Mallo, S. & Estévez Gómez, R (2023). In Proceedings of 11th World Conference on Information Systems and Technologies (WorldCIST 2023). Pisa (Italy).   Personalized trips in the rural surroundings of European pilgrimage routes. López Nores, M., Arcay Mallo, S., Martínez Portela, R., Carreño Villar, R., Pazos Arias, J. J., Gil Solla, A. et al (2022). In Proceedings of 4th International Conference on Smart and Sustainable Planning for Cities and Regions (SSPCR 2022). Bolzano (Italy).   Tasks Recommendation in Crowdsourcing based on Workers' Implicit Profiles and Performance History Kamel, M., Gil Solla, A. & Ramos Cabrer, M (2020). In 9th International Conference on Software and Information Engineering (ICSIE). Cairo (Egypt).   Experiences from turning Linux into an instructional Operating System. Ramos Cabrer, M., Pazos Arias, J. J., López Nores, M., Gil Solla, A. & Blanco Fernández, Y. (2020). Computer Applications in Engineering Education, 28(5), 1128-1136.   Distracting Users as per their Knowledge: Combining Linked Open Data and Word Embeddings to Enhance History Learning. Blanco Fernández, Y., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M., Daif, A. & López Nores, M. (2020). Expert Systems with Applications, 143.   Assessing Children's Perceptions of Live Interactions with Avatars: Preparations for Use in ASD therapy in a Multi-Ethnic Context. Guerrero Vásquez, L. F., Robles Bykbaev, V. E., López Nores, M., Bravo Torres, J. F., Jara Quito, H. J., Tapia Vintimilla, M. A. et al. (2020). IEEE Access, 8, 168456-168469.   On Data Protection Regulations, Big Data and Sledgehammers in Higher Education. García Vélez, R. A., López Nores, M., González Fernández, G., Robles Bykbaev, V. E., Wallace, M., Pazos Arias, J. J. et al. (2019). Applied Sciences, 9(15).   Experiences from placing Stack Overflow at the core of an intermediate Programming course. López Nores, M., Blanco Fernández, Y., Bravo Torres, J. F., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M. (2019). Computer Applications in Engineering Education, 27(3), 698-707.   A Mobile App to Learn About Cultural and Historical Associations in a Closed Loop with Humanities Experts. Daif, A., Tarek Dahroug, A., López Nores, M., González-Soutelo, S., Bassani, M., Antonio, A. et al. (2019). Applied Sciences, 9(1).   Sporadic Cloud-based Mobile Augmentation on the top of a Virtualization Layer: A Case Study of Collaborative Downloads in VANETs. Ordoñez Morales, E. F., López Nores, M., Blanco Fernández, Y., Reinoso Morales, E. P., Bravo Torres, J. F., Pazos Arias, J. J. et al. (2019). Journal of Advanced Transportation, .   Intersection Intelligence: Supporting Urban Platooning with Virtual Traffic Lights over Virtualized Intersection-Based Routing. Saiáns Vázquez, J. V., Ordoñez Morales, E. F., López Nores, M., Blanco Fernández, Y., Bravo Torres, J. F., Pazos Arias, J. J. et al. (2018). Sensors, 18(11).   Deep Guessing: Generating Meaningful Personalized Quizzes on Historical Topics by Introducing Wikicategories in Doc2Vec Varela Brea, B., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2018). In 13th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP), pages 43-47. Zaragoza, Spain : IEEE.   Turning Linux into an Instructional Operating System Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., López Nores, M. & Blanco Fernández, Y (2018). In Proceedings of 3rd Canadian International Conference on Advances in Education, Teaching & Technology. Toronto, Canada : ICRD.   Developing quiz games linked to networks of semantic connections among cultural venues Daif, A., Dahroug, A., López Nores, M., Gil Solla, A., Ramos Cabrer, M., Pazos Arias, J. J. et al (2017). In 11th International Conference on Metadata and Semantics Research (MTSR). Tallinn, Estonia : Springer.   A semantics-based exploratory game to enrich school classes with relevant historical facts Bravo Quezada, O. G., López Nores, M., García Nogueiras, I., Perdíz Gradín, D., Blanco Fernández, Y., Pazos Arias, J. J. et al (2016). In IEEE (editor), 11th International Workshop on Semantic and Social Media Adaptation and Personalization. Thessaloniki, Greece : IEEE.   Optimising Reactive Routing over Virtual Nodes in VANETs. Bravo Torres, J. F., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Ramos Cabrer, M. & Gil Solla, A. (2016). IEEE Transactions on Vehicular Technology, 65(4), 2274 - 2294.   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). In 3rd International Conference on Control, Decision and Information Technologies (CoDIT). Saint Julian's, Malta : IEEE.   Proactive discovery and management of ride-sharing opportunities in smart Vehicular Ad-hoc NETworks. Bravo Torres, J. F., Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., Ramos Cabrer, M. & Gil Solla, A. (2016). Information Technology & Control (ITC), 45(2), 121-135.   Reenact: harnessing technology to enjoy learning history. Gil Solla, A., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & Ramos Cabrer, M. (2015). Journal of Media & Mass Communication, 1(2), 57-60.   Reenact: harnessing technology to enjoy learning history Gil Solla, A., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & Ramos Cabrer, M (2015). In 7th International Conference on Information and Multimedia Technology (ICIMT 2015). Barcelona, Spain.   GSSP – A Generic Semantic Search Platform: Evolve from a Traditional to a Semantic Search System. Paiva, S., Ramos Cabrer, M. & Gil Solla, A (2015). . Improving Organizational Effectiveness with Enterprise Information Systems. IGI Global.   An Improved Virtualization Layer to Support Distribution of Multimedia Contents in Pervasive Social Applications. Bravo Torres, J. F., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Ramos Cabrer, M. & Gil Solla, A. (2015). Journal of Network and Computer Applications, 51, 1-17.   Collaborative and role-play strategies in software engineering learning with Web 2.0 tools. Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & Gil Solla, A. (2014). Computer Applications in Engineering Education, 22(4), 658-668.   A Semantic Approach to Improve Neighborhood Formation in Collaborative Recommender Systems. Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Pazos Arias, J. J., Blanco Fernández, Y. & López Nores, M. (2014). Expert Systems With Applications, 41(17), 7776-7788.   Connection Sharing on top of a Virtualization Layer to Support Vehicular Cloud Computing Bravo Torres, J. F., López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2014). In 3rd International Conference on Connected Vehicles and Expo (ICCVE). Vienna, Austria : IEEE.   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.   Precision: A Semantic Search Guided-Based System. Paiva, S., Ramos Cabrer, M. & Gil Solla, A (2014). In Miranda, F. (editor), Systems Theory: Perspectives, Applications and Developments. Nova Publishers.   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). In 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). In 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). In 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). In 5th International Conference on Computer-Supported Education (CSEDU). INSTICC.   TV-Anytime: paving the way for personalized TV Gil Solla, A. & Sotelo Bovino, R. G. (2013). Springer.   Property-Based Collaborative Filtering for Health-Aware Recommender Systems. López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & Gil Solla, A. (2012). Expert Systems with Applications, 39(8), 7451-7457.   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.   Semantics-Driven Recommendation of Coupons Through Digital TV: Exploiting Synergies with Social Networks Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & Servia Rodríguez, S (2012). In International Conference on Consumer Electronics (ICCE). Las Vegas (USA) : IEEE.   A Social Approach to Parental Monitoring Over DVB-IPTV Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M. & Gil Solla, A (2012). In International Conference on Consumer Electronics (ICCE). Las Vegas (USA) : IEEE.   TV-Anytime: hacia una TV personalizada Gil Solla, A. & Sotelo Bovino, R. G. (2012). Andavira.   Semantic Inference of User's Reputation and Expertise to Improve Collaborative Recommendations. Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M. (2012). Expert Systems with Applications, 39(9), 8248-8258.   GSSP–A Generic Semantic Search Platform Paiva, S., Ramos Cabrer, M. & Gil Solla, A (2012). In 4th Conference of ENTERprise Information Systems – aligning technology, organizations and people (CENTERIS 2012), pages 388-396. Vilamoura (Portugal) : Elsevier.   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). In Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P. (editors), Recommender Systems for the Social Web. Springer.   Exploring Synergies between Content-based Filtering and Spreading Activation Techniques in Knowledge-based Recommender Systems. Blanco Fernández, Y., López Nores, M., Gil Solla, A., Ramos Cabrer, M. & Pazos Arias, J. J. (2011). Information Sciences, 181(21), 4823-4846.   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.   User-Generated Contents and Reasoning-based Personalization: Ingredients for a Novel Model of Mobile TV. Blanco Fernández, Y., López Nores, M., Gil Solla, A., Ramos Cabrer, M. & Pazos Arias, J. J. (2011). Expert Systems with Applications, 38(5), 5289-5298.   La Recomendación para Grupos aplicada a los Contenidos Audiovisuales: Agentes recomendadores para familias y grupos de amigos Sotelo Bovino, R. G., Gil Solla, A. & Ramos Cabrer, M. (2011). Editorial Académica Española.   Predicción de Audiencias de Televisión basada en Sistemas Recomendadores Sotelo, R. & Gil Solla, A (2011). In VI Congreso Iberoamericano de Telemática (CITA 2011).   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.   Improving Collaborative Recommendation of Coupons Through Digital TV by Semantic Inference of Users' Reputation. Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M. (2011). IEEE Transactions on Consumer Electronics, 57(1), 178-186.   Improving e-Commerce Collaborative Recommendations by Semantic Inference of Neighbors' Practical Expertise Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M (2011). In 6th International Workshop on Semantic Media Adaptation and Personalization.   Precision: A Guided-Based System for Semantic Validation and Personalized Natural Language Generation of Queries Paiva, S., Ramos Cabrer, M., Gil Solla, A., Fernández Vilas, A. & Díaz Redondo, R. P (2011). In International Conference on Consumer Electronics..   Prediction of TV-Station Ratings Based on Content Recommenders Sotelo, R., Blanco Fernández, Y., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2011). In 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). In International Conference on Consumer Electronics.   Improving Collaborative Recommendation of Coupons Through Digital TV by Semantic Inference of Users' Reputation Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M (2011). In International Conference on Consumer Electronics.   Utilizando Sistemas Recomendadores para Predecir Ratings en TV. Sotelo, R. & Gil Solla, A. (2011). Informática na Eduçasão: Teoría & prática, 14(1), 11-27.   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.   Exploiting Digital TV Userss Preferences in a Tourism Recommender System based on Semantic Reasoning. Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M. (2010). IEEE Transactions on Consumer Electronics, 56(2), 1-9.   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.   Personalized Multimedia Touristic Services for hybrid broadcast/broadband mobile receivers. Gil Solla, A., Fraile, F., De Fez, I., Ramos Cabrer, M. & Carlos Guerri, J. (2010). IEEE Transactions on Consumer Electronics, 56(1), 211-219.   A Semantic Approach to avoiding fake neighborhoods in collaborative recommendation of coupons through Digital TV. Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M. (2010). IEEE Transactions on Consumer Electronics, 56(1), 54-62.   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.   Outomatic query generation in guided systems: natural language generation from graphically built query Paiva, S., Ramos Cabrer, M. & Gil Solla, A (2010). In Proceedings of the 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2010), pages 165-170.   Semantic Query Validation in Guided-Based Systems: assuring the construction of queries that make sense Paiva, S., Ramos Cabrer, M. & Gil Solla, A (2010). In Proceedings of the 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2010), pages 9-14.   Exploiting Digital TV Users' Preferences in a Tourism Recommender System based on Semantic Reasoning Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2010). In IEEE International Conference on Consumer Electronics (ICCE).   Exploiting MPEG-4 Capabilities for Personalized Advertising in Digital TV. López Nores, M., Blanco Fernández, Y., Gil Solla, A., Ramos Cabrer, M. & Pazos Arias, J. J (2010). . The Handbook of MPEG Applications: Standards in Practice. Wiley.   Personalized Multimedia Touristic Services for hybrid broadcast/broadband mobile receivers Gil Solla, A., Fraile, F., Ramos Cabrer, M., De Fez, I. & Carlos Guerri, J (2010). In IEEE International Conference on Consumer Electronics (ICCE).   A Semantic Approach to Avoiding Fake Neighborhoods in Collaborative Recommendation of Coupons through Digital TV Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M (2010). In IEEE International Conference on Consumer Electronics (ICCE).   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.   Broadcasting and Personalization of User-Generated Contents in DVB-H Mobile Networks. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M. (2009). Multimedia Systems Journal, 15(3), 173-185.   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.   TV Program Recommendation for Groups based on Muldimensional TV-Anytime Classifications. Sotelo, R., Blanco Fernández, Y., López Nores, M., Gil Solla, A. & Pazos Arias, J. J. (2009). IEEE Transactions on Consumer Electronics, 55(1), 248-256.   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.   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). In 27th International Conference on Consumer Electronics (ICCE).   TV Program Recommendation for Groups based on Multidimensional TV-Anytime Classifications Sotelo, R., Blanco Fernández, Y., López Nores, M., Gil Solla, A. & Pazos Arias, J. J (2009). In 27th International Conference on Consumer Electronics (ICCE).   TVGuide2.0: Applying the Web2.0 Fundamentals to IDTV Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2009). In 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.   Avoiding Fake Neighborhoods in e-Commerce Collaborative Recommender Systems: A Semantic Approach Martín Vicente, M. I., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. & López Nores, M (2009). In 4th International Workshop on Semantic Media Adaptation and Personalization (SMAP 2009).   Semantic Reasoning and Mashups: An Innovative Approach to Personalized E-Commerce in Digital TV Blanco Fernández, Y., López Nores, M., Gil Solla, A., Martín Vicente, M. I., Pazos Arias, J. J. & Ramos Cabrer, M (2009). In 4th International Workshop on Semantic Media Adaptation and Personalization (SMAP 2009).   Semantic Web technologies in the service of personalization tools. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2009). . Handbook of research on social dimensions of semantic techno.   Personalizing e-Commerce by Semantics-enhanced Strategies and Time-aware Recommendations Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2008). In 3rd International Workshop on Semantic Media Adaptation and Personalization (SMAP 2008).   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.   ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2008). In 6th European Interactive TV Conference (EuroITV), pages 193-203. Salzburg, Austria : Springer.   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.   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). In 3rd International Conference on Signal Processing and Multimedia Applications (SIGMAP).   Providing Entertainment by Content-based Filtering and Semantic Reasoning in Intelligent Recommender Systems. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M. (2008). IEEE Transactions on Consumer Electronics, 54(2), 727-735.   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.   t-MAESTRO: Personalized Learning for IDTV Díaz Redondo, R. P., Fernández Vilas, A., Rey López, M., Pazos Arias, J. J., Gil Solla, A. & Blanco Fernández, Y (2008). In 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.   A TV-Anytime Metadata Approach to TV Program Recommendation for Groups Gil Solla, A., Tubío Pardavila, R., Sotelo, R., Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J. et al (2008). In 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.   Providing Entertainment by Content-Based Filtering and Reasoning in Intelligent Recommender Systems Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2008). In IEEE International Conference on Consumer Electronics (ICCE).   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.   Introducing Smart Packaging in Residential Networks to Prevent Medicine Misuse Gil Solla, A., Tubio, R., Sotelo, R., Blanco Fernández, Y., López Nores, M., Pazos Arias, J. J. et al (2008). In 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.   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.   Semantic Reasoning: A Path To New Possibilities of Personalization López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2008). In 5th European Semantic Web Conference (ESWC), pages 720-735. Springer.   A Semantics-based Approach Beyond Traditional Personalization Paradigms. Blanco Fernández, Y., Gil Solla, A. & Ramos Cabrer, M (2008). . Personalization of Interactive Multimedia Services: A Resear.   How to Overcome Stumbling Blocks of Traditional Personalization Paradigms. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2008). . Metadata and Semantics. 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). In 2nd IEEE International Workshop on Semantic Media Adaptation and Personalization (SMAP). London, UK : IEEE Computer Society Press.   Overcoming Weaknesses of Current Personalization Techniques by Semantic Web Technologies Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2007). In 2nd International Conference on Metadata and Semantics Research (MTSR). Special Session on Metadata and Semantics for Pervasive Computing. Corfu, Greece.   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.   A Hybrid Strategy to Personalize the Digital Television by Semantic Inference. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2007). In Lekakos, G., Chorianopoulos, K. & Doukidis, G. (editors), Interactive Digital Television: Technologies and Applications. IGI Global.   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). In IEEE International Conference on Consumer Electronics (ICCE). 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). In 6th IEEE International Conference on Advanced Learning Technologies (ICALT), pages 13-15. IEEE Computer Society.   Bringing Together Content-Based Methods, Collaborative Filtering and Semantic Inference to Improve Personalized TV Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & López Nores, M (2006). In 4th European Conference on Interactive TV (EuroITV), pages 174-182. Athens, Greece.   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.   AVATAR: An Improved Solution for Personalized TV based on Semantic Inference. Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A. & Ramos Cabrer, M. (2006). IEEE Transactions on Consumer Electronics, 52(1), 223-231.   AVATAR: An Improved Solution for Personalized TV based on Semantic Inference Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A. & Ramos Cabrer, M (2006). In IEEE International Conference on Consumer Electronics (ICCE), pages 145-146.   AVATAR: A Flexible Approach to Improve the Personalized TV by Semantic Inference Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2005). In 1st Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces (WPRSIUI), pages 76-85. Reading, U.K..   AVATAR: Un Sistema de Recomendación Personalizada de Contenidos Televisivos Basado en Información Semántica Ramos Cabrer, M., Blanco Fernández, Y. & Gil Solla, A (2005). In Pazos Arias, J. (editor), V Jornadas de Ingeniería Telemática (JITEL 2005), pages 685-692. Vigo, Spain.   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.   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). In 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, pages 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). In 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, pages 147-162.   AVATAR: An Approach based on Semantic Reasoning to Recommend Personalized TV Programs. Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Fernández Vilas, A., Díaz Redondo, R. P. et al (2005). In 14th International World Wide Web Conference (WWW). Poster session, pages 1078-1079. Chiba, Japan : ACM Press.   AVATAR: Modeling Users by Dynamic Ontologies in a TV Recommender System based on Semantic Reasoning Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 173-182.   AVATAR: A Multi-Agent TV Recommender System Using MHP Applications Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). In IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), pages 660-665. IEEE Computer Society 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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 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). In IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), pages 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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 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). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 235-236. Aalborg, Denmark.   A Multi-Agent Open Architecture for a TV Recommender System: A Case Study using a Bayesian Strategy Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B. & López Nores, M (2004). In 6th IEEE International Symposium on Multimedia Software Engineering (MSE), pages 178-185. Miami, FL, USA : IEEE Computer Society Press.   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). In 6th IEEE International Symposium on Multimedia Software Engineering (MSE), pages 72-79.   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). In 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, pages 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). In 4th Workshop on Personalization in Future TV (TV), pages 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). In 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, pages 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). In 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, pages 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). In 4th International Conference on Integrated Formal Methods (IFM 2004), pages 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). In 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, pages 376-387. Springer Verlag.   Experiencias sobre una Implementación Libre y Abierta del Estándar MHP para TV Digital Interactiva Gil Solla, A., Pazos Arias, J. J., López Nores, M. & Blanco Fernández, Y (2003). In IV Jornadas de Ingeniería Telemática, pages 431-438. Las Palmas de Gran Canaria, Spain.   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). In Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), pages 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). In International Conference on Web Engineering (ICWE), pages 523-524. Oviedo, Spain : Springer.   Using XML in the standardization of digital TV with MHP (Multimedia Home Platform) Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). In IADIS International Conference WWW/Internet (IADIS), pages 685-688. Lisboa, Portugal.   A MHP receiver over RT-Linux for Digital TV Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). In IADIS International Conference WWW/Internet (IADIS), pages 624-627. Lisboa, Portugal.   Exploring T-Learning in the MHP Context Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). In IADIS International Conference WWW/Internet (IADIS), pages 743-746. Lisboa, Portugal.   Surfing the WEB on TV: the MHP Approach Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F., Ramos Cabrer, M. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press.   Realities and Possibilities of XML in the Standardization of Digital TV with MHP (Multimedia Home Platform). Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Revista online, 3(4), 32-37.   Realidades y Posibilidades de XML en la Normalización de la TV Digital con MHP (Multimedia Home Platform). Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M. (2002). Novática, (158), 31-35.   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). In 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). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 453-456. Zadar, Croatia : IEEE Computer Society Press.   Experiences from Implementing a MHP Receiver López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 441-446. Zadar, Croatia : IEEE Computer Society Press.   Internet-TV Convergence in DVB-MHP Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 447-453. Zadar, Croatia : IEEE Computer Society Press.   Integration of Behavioral and Data Requirements in Specification and Verification with Temporal Logic Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Sousa Vieira, E., Casquero Villacorta, E., Falcón Docampo, A. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.   Automatic system verification by means of formal methods Gil Solla, A., Fernández Vilas, A. & Pazos Arias, J. J (2000). In Proc of ICSSEA. Paris, France.   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). In VIII Jornadas de Concurrencia, pages 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). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.   Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales. Gil Solla, A. (2000). Phd Thesis, 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). In 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). In 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). In 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). In V Jornadas de Concurrencia, pages 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). In Proc of Telematics for future Education and Training. Oulu, Finland.   Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.   Especificación y Transformación de Protocolos con LOTOS Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.   [View Less]