 | 2012 |
|---|
| 92 |       | Yolanda Blanco-Fernández,
Martín López Nores,
José J. Pazos Arias,
Manuela I. Martín-Vicente:
Spreading influence values over weighted relationships among users of several social networks.
PerCom Workshops 2012: 149-154 |
| 91 |  | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Manuela I. Martín-Vicente:
Bulker - A Mediator System Grounded on Social Networks for Online Trading of Batches of Products.
WEBIST 2012: 552-557 |
| 90 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque:
The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence.
Computer Standards & Interfaces 34(1): 109-116 (2012) |
| 89 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla:
Property-based collaborative filtering for health-aware recommender systems.
Expert Syst. Appl. 39(8): 7451-7457 (2012) |
| 88 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Jorge García Duque:
Bringing Content Awareness to Web-Based IDTV Advertising.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(3): 324-333 (2012) |
| 2011 |
|---|
| 87 | | Yolanda Blanco-Fernández,
Martín López Nores,
José J. Pazos Arias,
Jorge García Duque:
An improvement for semantics-based recommender systems grounded on attaching temporal information to ontologies and user profiles.
Eng. Appl. of AI 24(8): 1385-1397 (2011) |
| 86 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
Automatic provision of personalized e-commerce services in Digital TV scenarios with impermanent connectivity.
Expert Syst. Appl. 38(10): 12691-12698 (2011) |
| 85 | | Yolanda Blanco-Fernández,
Martín López Nores,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
José J. Pazos Arias:
User-generated contents and reasoning-based personalization: Ingredients for a novel model of mobile TV.
Expert Syst. Appl. 38(5): 5289-5298 (2011) |
| 84 | | Yolanda Blanco-Fernández,
Martín López Nores,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
José J. Pazos Arias:
Exploring synergies between content-based filtering and Spreading Activation techniques in knowledge-based recommender systems.
Inf. Sci. 181(21): 4823-4846 (2011) |
| 83 | | José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
Making the most of TV on the move: My newschannel.
Inf. Sci. 181(4): 855-868 (2011) |
| 82 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Marta Rey-López,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
TVGuide2.0: applying the Web2.0 fundamentals to IDTV.
Multimedia Tools Appl. 53(1): 151-179 (2011) |
| 2010 |
|---|
| 81 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias:
Educateca: A Web 2.0 Approach to e-Learning with SCORM.
I3E 2010: 118-126 |
| 80 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque:
T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area.
ICALT 2010: 624-626 |
| 79 | | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias:
T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies.
Computational Intelligence for Technology Enhanced Learning 2010: 125-142 |
| 78 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks.
Computer Communications 33(7): 860-867 (2010) |
| 77 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Martín López Nores,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce.
Expert Syst. Appl. 37(1): 61-69 (2010) |
| 76 | | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Martín López Nores,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
Enhancing TV programmes with additional contents using MPEG-7 segmentation information.
Expert Syst. Appl. 37(2): 1124-1133 (2010) |
| 75 | | Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Jorge García Duque:
Context-aware personalization services for a residential gateway based on the OSGi platform.
Expert Syst. Appl. 37(9): 6538-6546 (2010) |
| 74 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Manuela I. Martín-Vicente,
Ana Fernández Vilas,
Manuel Ramos Cabrer,
Alberto Gil-Solla:
MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning.
Knowl. Inf. Syst. 22(1): 101-128 (2010) |
| 2009 |
|---|
| 73 | | Yolanda Blanco-Fernández,
Martín López Nores,
José J. Pazos Arias,
Manuela I. Martín-Vicente:
Automatic Generation of Mashups for Personalized Commerce in Digital TV by Semantic Reasoning.
EC-Web 2009: 132-143 |
| 72 | | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study.
Computer Standards & Interfaces 31(2): 309-318 (2009) |
| 71 | | Martín López Nores,
Marta Rey-López,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV.
Expert Syst. Appl. 36(3): 4192-4197 (2009) |
| 70 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.
International Journal of Software Engineering and Knowledge Engineering 19(1): 47-78 (2009) |
| 69 | | Martín López Nores,
Jorge García Duque,
José J. Pazos Arias,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks.
J. Network and Computer Applications 32(6): 1194-1209 (2009) |
| 68 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
Broadcasting and personalization of user-generated contents in DVB-H mobile networks.
Multimedia Syst. 15(3): 173-185 (2009) |
| 67 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels.
Multimedia Tools Appl. 41(3): 407-436 (2009) |
| 66 | | Jorge García Duque,
José J. Pazos Arias,
Martín López Nores,
Yolanda Blanco-Fernández,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Manuel Ramos Cabrer,
Alberto Gil-Solla:
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.
Requir. Eng. 14(3): 129-153 (2009) |
| 2008 |
|---|
| 65 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
Semantic Reasoning: A Path to New Possibilities of Personalization.
ESWC 2008: 720-735 |
| 64 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks.
EuroITV 2008: 193-203 |
| 63 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández:
A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System.
HEALTHINF (2) 2008: 167-172 |
| 62 | | Martín López Nores,
José J. Pazos Arias,
Yolanda Blanco-Fernández,
Jorge García Duque,
Ricardo Tubio-Pardavila,
Esther Casquero-Villacorta:
MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs.
ICALT 2008: 617-619 |
| 61 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata.
SIGMAP 2008: 332-335 |
| 60 | | José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Ana Fernández Vilas:
Provision of distance learning services over Interactive Digital TV with MHP.
Computers & Education 50(3): 927-949 (2008) |
| 59 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Jorge García Duque,
Alberto Gil-Solla:
Enhancing Residential Gateways: A Semantic OSGi Platform.
IEEE Intelligent Systems 23(1): 32-40 (2008) |
| 58 | | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Information & Software Technology 50(4): 296-321 (2008) |
| 57 | | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing Multi-Perspective Software Requirements Specifications.
International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (2008) |
| 56 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.
Journal of Systems and Software 81(12): 2371-2385 (2008) |
| 55 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.
Knowl.-Based Syst. 21(4): 305-320 (2008) |
| 54 | | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.
Multimedia Tools Appl. 40(3): 409-451 (2008) |
| 53 | | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing requirements specifications from multiple prioritized sources.
Requir. Eng. 13(3): 187-206 (2008) |
| 52 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
An MHP framework to provide intelligent personalized recommendations about digital TV contents.
Softw., Pract. Exper. 38(9): 925-960 (2008) |
| 2007 |
|---|
| 51 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
How to Overcome Stumbling Blocks of Traditional Personalization Paradigms.
MTSR 2007: 527-536 |
| 50 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Marta Rey-López,
Esther Casquero-Villacorta:
Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV.
SIGMAP 2007: 217-221 |
| 49 | | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias:
Entercation: engaging viewers in education through TV.
Computers in Entertainment 5(2): (2007) |
| 48 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
Avatar: Enhancing the Personalized Television by Semantic Inference.
IJPRAI 21(2): 397-421 (2007) |
| 2006 |
|---|
| 47 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
An Agile Approach to Support Incremental Development of Requirements Specifications.
ASWEC 2006: 9-18 |
| 46 | | Martín López Nores,
Jorge García Duque,
José J. Pazos Arias:
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
COORDINATION 2006: 164-178 |
| 45 | | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Jesús Bermejo-Muõz:
Extending SCORM to Create Adaptive Courses.
EC-TEL 2006: 679-684 |
| 44 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla:
A Core of Standards to Support T-learning.
ICALT 2006: 13-15 |
| 43 | | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias:
Providing SCORM with adaptivity.
WWW 2006: 981-982 |
| 42 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Bringing the Agile Philosophy to Formal Specification Settings.
International Journal of Software Engineering and Knowledge Engineering 16(6): 951-986 (2006) |
| 41 | | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
J. Log. Comput. 16(2): 227-255 (2006) |
| 40 | | Julio Fernández Vilas,
José J. Pazos Arias,
Ana Fernández Vilas:
Optimizing Web Services Performance Using Cache.
JACIII 10(5): 713-720 (2006) |
| 39 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
Journal of Systems and Software 79(8): 1141-1155 (2006) |
| 38 | | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández:
Guidelines for the incremental identification of aspects in requirements specifications.
Requir. Eng. 11(4): 239-263 (2006) |
| 37 | | Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Martín López Nores,
Yolanda Blanco-Fernández:
MHP-OSGi convergence: a new model for open residential gateways.
Softw., Pract. Exper. 36(13): 1421-1442 (2006) |
| 36 | | José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.
Softw., Pract. Exper. 36(8): 845-869 (2006) |
| 2005 |
|---|
| 35 | | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas:
Merging Requirements Views with Incompleteness and Inconsistency.
Australian Software Engineering Conference 2005: 58-67 |
| 34 | | Ana Fernández Vilas,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque,
Manuel Ramos Cabrer:
Multi-valued Model Checking in Dense-Time.
ECSQARU 2005: 638-649 |
| 33 | | Andrés Elexpuru Eguia,
Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
EEE 2005: 588-591 |
| 32 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: A Multi-Agent TV Recommender System using MHP Applications.
EEE 2005: 660-665 |
| 31 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Tracing Integration Analysis in Component-Based Formal Specifications.
FMOODS 2005: 147-162 |
| 30 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.
WWW (Special interest tracks and posters) 2005: 1078-1079 |
| 29 | | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 28 | | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Locating crosscutting concerns in the formal specification of distributed reactive systems.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 27 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.
International Journal of Software Engineering and Knowledge Engineering 15(4): 607-646 (2005) |
| 2004 |
|---|
| 26 | | Martín López Nores,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Jorge García Duque:
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
APSEC 2004: 38-45 |
| 25 | | Julio Fernández Vilas,
José J. Pazos Arias,
Ana Fernández Vilas:
High Availability with Clusters of Web Services.
APWeb 2004: 644-653 |
| 24 | | Ana Belén Barragáns-Martínez,
José J. Pazos Arias:
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.
ICSE 2004: 72-74 |
| 23 | | Rebeca P. Díaz Redondo,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
ICSR 2004: 1-10 |
| 22 | | Martín López Nores,
Yolanda Blanco-Fernández,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Technologies to Support Collaborative Learning over the Multimedia Home Platform.
ICWL 2004: 83-90 |
| 21 | | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque:
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
IFM 2004: 382-401 |
| 20 | | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
WISE 2004: 415-421 |
| 19 | | Ana Fernández Vilas,
José J. Pazos Arias,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
Incremental specification with SCTL/MUS-T: a case study.
Journal of Systems and Software 70(1-2): 189-208 (2004) |
| 2003 |
|---|
| 18 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas:
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
Component-Based Software Quality 2003: 326-351 |
| 17 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Ershov Memorial Conference 2003: 366-380 |
| 16 | | Alberto Gil-Solla,
José J. Pazos Arias,
Jorge García Duque,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.
ICWE 2003: 523-524 |
| 15 | | Martín López Nores,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Jorge García Duque:
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
MIPS 2003: 376-387 |
| 2002 |
|---|
| 14 | | Ana Belén Barragáns-Martínez,
Jorge García Duque,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Requirements Specifications Evolution in a Multi-Perspective Environment.
COMPSAC 2002: 39-46 |
| 13 | | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo,
Ana Belén Barragáns-Martínez:
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.
COMPSAC 2002: 659-666 |
| 12 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.
EUROMICRO 2002: 90-97 |
| 11 | | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo:
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.
FTRTFT 2002: 185-204 |
| 10 | | Alberto Gil-Solla,
José J. Pazos Arias,
Cándido López-García,
José C. López-Ardao,
Raúl Fernando Rodríguez Rubio,
Manuel Ramos Cabrer,
Rebeca P. Díaz Redondo:
Surfing the Web on TV: the MHP approach.
ICME (2) 2002: 285-288 |
| 9 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.
ICSM 2002: 618-627 |
| 8 | | J. C. López,
C. López,
Alberto Gil-Solla,
José J. Pazos Arias,
Manuel Ramos Cabrer,
R. F. Rodríguez:
A MHP Receiver over RT-Linux for Digital TV.
ICWI 2002: 624-627 |
| 7 | | J. C. López,
Alberto Gil-Solla,
José J. Pazos Arias,
C. López,
Manuel Ramos Cabrer,
R. F. Rodríguez:
Using XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
ICWI 2002: 685-688 |
| 6 | | Alberto Gil-Solla,
José J. Pazos Arias,
C. López,
Manuel Ramos Cabrer,
J. C. López,
R. F. Rodríguez:
Exploring T-Learning in the MHP Context.
ICWI 2002: 743-746 |
| 5 | | Jorge García Duque,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez:
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
RE 2002: 282-288 |
| 4 | | José J. Pazos Arias,
José Martín:
Uncertainty in Beliefs and Preferences: Conditions for Optimal Alternatives.
Ann. Math. Artif. Intell. 35(1-4): 3-10 (2002) |
| 3 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
ARIFS: an Environment for Incomplete and Formal Specifications.
Electr. Notes Theor. Comput. Sci. 66(4): 16-35 (2002) |
| 2001 |
|---|
| 2 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias:
Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.
ICSE 2001: 801-802 |
| 1 | | José J. Pazos Arias,
Jorge García Duque:
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
Formal Asp. Comput. 13(1): 50-91 (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page