default search action
Jorge García Duque
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c39]Alexander García Dávalos, Jorge García Duque:
User Profile Modelling Based on Mobile Phone Sensing and Call Logs. ICITS 2020: 243-254
2010 – 2019
- 2016
- [c38]Vladimir Robles-Bykbaev, Diego Quisi-Peralta, Martín López Nores, Alberto Gil-Solla, Jorge García Duque:
SPELTA-Miner: An expert system based on data mining and multilabel classification to design therapy plans for communication disorders. CoDIT 2016: 280-285 - 2015
- [c37]Vladimir Robles-Bykbaev, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Juan Ochoa-Zambrano:
Modelling Domain Knowledge of Speech and Language Therapy with an OWL Ontology and OpenEHR Archetypes . HEALTHINF 2015: 585-591 - [c36]Vladimir Robles-Bykbaev, Martín López Nores, Juan Ochoa-Zambrano, Jorge García Duque, José Juan Pazos-Arias:
SPELTRA: A Robotic Assistant for Speech-and-Language Therapy. HCI (9) 2015: 525-534 - [c35]Vladimir Robles-Bykbaev, Martín López Nores, José Juan Pazos-Arias, Diego Quisi-Peralta, Jorge García Duque:
An Ecosystem of Intelligent ICT Tools for Speech-Language Therapy Based on a Formal Knowledge Model. MedInfo 2015: 50-54 - 2014
- [j43]Yolanda Blanco-Fernández, Martín López Nores, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
REENACT: A step forward in immersive learning about Human History by augmented reality, role playing and social networking. Expert Syst. Appl. 41(10): 4811-4828 (2014) - 2013
- [c34]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer, Manolis Wallace:
REENACT: Learning about Historical Battles and Wars through Augmented Reality and Role Playing - An EXPERIMEDIA Experiment. CSEDU 2013: 160-165 - [c33]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer:
REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events - An EXPERIMEDIA Experiment. SIGMAP 2013: 111-118 - [c32]Martín López Nores, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque, José Juan Pazos-Arias:
Leveraging Short-Lived Social Networks in Museums to Engage People in History Learning. SMAP 2013: 83-88 - 2012
- [j42]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque:
The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence. Comput. Stand. Interfaces 34(1): 109-116 (2012) - [j41]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque:
Bringing Content Awareness to Web-Based IDTV Advertising. IEEE Trans. Syst. Man Cybern. Part C 42(3): 324-333 (2012) - [c31]Jack Fernando Bravo-Torres, Martín López Nores, Yolanda Blanco-Fernández, Sandra Servia Rodríguez, Jorge García Duque:
A virtualization layer for mobile consumer devices to support demanding communication services in vehicular ad-hoc networks. ICCE 2012: 225-226 - [p1]Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
SCORM and Social Recommendation: A Web 2.0 Approach to E-learning. Recommender Systems for the Social Web 2012: 195-207 - 2011
- [j40]Yolanda Blanco-Fernández, Martín López Nores, José Juan 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. Artif. Intell. 24(8): 1385-1397 (2011) - [j39]José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
Making the most of TV on the move: My newschannel. Inf. Sci. 181(4): 855-868 (2011) - [j38]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Marta Rey-López, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
TVGuide2.0: applying the Web2.0 fundamentals to IDTV. Multim. Tools Appl. 53(1): 151-179 (2011) - [j37]Yolanda Blanco-Fernández, Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Manuela I. Martín-Vicente:
TripFromTV+: targeting personalized tourism to interactive digital TV viewers by social networking and semantic reasoning. IEEE Trans. Consumer Electron. 57(2): 953-961 (2011) - [c30]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Manuela I. Martín-Vicente:
Enhancing Recommender Systems with Access to Electronic Health Records and Groups of Interest in Social Networks. SITIS 2011: 105-110 - 2010
- [j36]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. Comput. Commun. 33(7): 860-867 (2010) - [j35]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Martín López Nores, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce. Expert Syst. Appl. 37(1): 61-69 (2010) - [j34]Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Jorge García Duque:
Enhancing TV programmes with additional contents using MPEG-7 segmentation information. Expert Syst. Appl. 37(2): 1124-1133 (2010) - [j33]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Manuel Ramos Cabrer, Alberto Gil-Solla, Jorge García Duque:
Context-aware personalization services for a residential gateway based on the OSGi platform. Expert Syst. Appl. 37(9): 6538-6546 (2010) - [j32]Martín López Nores, José Juan 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) - [c29]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque:
Exploring synergies between digital tv recommender systems and electronic health records. EuroITV 2010: 127-136 - [c28]Martín López Nores, Yolanda Blanco-Fernández, José Juan 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
2000 – 2009
- 2009
- [j31]Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer:
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study. Comput. Stand. Interfaces 31(2): 309-318 (2009) - [j30]Martín López Nores, Marta Rey-López, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer:
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV. Expert Syst. Appl. 36(3): 4192-4197 (2009) - [j29]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer:
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment. Int. J. Softw. Eng. Knowl. Eng. 19(1): 47-78 (2009) - [j28]Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks. J. Netw. Comput. Appl. 32(6): 1194-1209 (2009) - [j27]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Manuel Ramos Cabrer, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels. Multim. Tools Appl. 41(3): 407-436 (2009) - [j26]Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla:
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. Requir. Eng. 14(3): 129-153 (2009) - [j25]Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores:
What's on TV tonight? An efficient and effective personalized recommender system of TV programs. IEEE Trans. Consumer Electron. 55(1): 286-294 (2009) - 2008
- [j24]José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas:
Provision of distance learning services over Interactive Digital TV with MHP. Comput. Educ. 50(3): 927-949 (2008) - [j23]Martín López Nores, Jorge García Duque, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo:
Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks. IEEE Commun. Mag. 46(12): 108-111 (2008) - [j22]Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla:
Enhancing Residential Gateways: A Semantic OSGi Platform. IEEE Intell. Syst. 23(1): 32-40 (2008) - [j21]Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández:
Composing Multi-Perspective Software Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 18(1): 119-153 (2008) - [j20]Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández:
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Inf. Softw. Technol. 50(4): 296-321 (2008) - [j19]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study. J. Syst. Softw. 81(12): 2371-2385 (2008) - [j18]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz:
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems. Knowl. Based Syst. 21(4): 305-320 (2008) - [j17]Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer:
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning. Multim. Tools Appl. 40(3): 409-451 (2008) - [j16]Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández:
Composing requirements specifications from multiple prioritized sources. Requir. Eng. 13(3): 187-206 (2008) - [j15]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz:
An MHP framework to provide intelligent personalized recommendations about digital TV contents. Softw. Pract. Exp. 38(9): 925-960 (2008) - [c27]Martín López Nores, José Juan 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 - [c26]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Ana Fernández Vilas:
A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks. CCNC 2008: 618-619 - [c25]Martín López Nores, José Juan 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 - [c24]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández:
Monitoring medicine intake in the networked home: The iCabiNET solution. PervasiveHealth 2008: 116-117 - [c23]Martín López Nores, José Juan 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 - 2007
- [j14]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Jesús Bermejo Muñoz:
Avatar: Enhancing the Personalized Television by Semantic Inference. Int. J. Pattern Recognit. Artif. Intell. 21(2): 397-421 (2007) - [j13]Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque:
Providing Web Services over DVB-H: Mobile Virtual Web Services. IEEE Trans. Consumer Electron. 53(2): 644-652 (2007) - [c22]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks. CCNC 2007: 430-434 - [c21]Martín López Nores, José Juan Pazos-Arias, Yolanda Blanco-Fernández, Jorge García Duque, Ricardo Tubio-Pardavila, Marta Rey-López:
The MiSPOT System: Personalized Publicity and Marketing over Interactive Digital TV. ICETE (Selected Papers) 2007: 315-327 - [c20]Martín López Nores, José Juan 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 - [c19]Martín López Nores, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer:
Downsizing Semantic Reasoning to Fixed and Mobile DTV Receivers. SMAP 2007: 153-158 - 2006
- [j12]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer:
Bringing the Agile Philosophy to Formal Specification Settings. Int. J. Softw. Eng. Knowl. Eng. 16(6): 951-986 (2006) - [j11]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Yolanda Blanco-Fernández, Manuel Ramos Cabrer, Alberto Gil-Solla, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning. J. Syst. Softw. 79(8): 1141-1155 (2006) - [j10]Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. J. Log. Comput. 16(2): 227-255 (2006) - [j9]Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández:
Guidelines for the incremental identification of aspects in requirements specifications. Requir. Eng. 11(4): 239-263 (2006) - [j8]José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas:
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. Softw. Pract. Exp. 36(8): 845-869 (2006) - [j7]Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Martín López Nores, Yolanda Blanco-Fernández:
MHP-OSGi convergence: a new model for open residential gateways. Softw. Pract. Exp. 36(13): 1421-1442 (2006) - [j6]Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Jorge García Duque:
Controlling the smart home from TV. IEEE Trans. Consumer Electron. 52(2): 421-429 (2006) - [c18]Martín López Nores, José Juan 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 - [c17]Martín López Nores, Jorge García Duque, José Juan Pazos-Arias:
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. COORDINATION 2006: 164-178 - [c16]Martín López Nores, José Juan 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 - 2005
- [j5]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. Int. J. Softw. Eng. Knowl. Eng. 15(4): 607-646 (2005) - [j4]José Juan Pazos-Arias, Jorge García Duque, Martín López Nores:
Locating crosscutting concerns in the formal specification of distributed reactive systems. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j3]José Juan 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 Softw. Eng. Notes 30(4): 1-5 (2005) - [c15]Ana Fernández Vilas, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque, Manuel Ramos Cabrer:
Multi-valued Model Checking in Dense-Time. ECSQARU 2005: 638-649 - [c14]Andrés Elexpuru Eguia, Martín López Nores, Yolanda Blanco-Fernández, José Juan 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 - [c13]Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer:
Tracing Integration Analysis in Component-Based Formal Specifications. FMOODS 2005: 147-162 - [c12]José Juan Pazos-Arias, Jorge García Duque, Martín López Nores:
Locating crosscutting concerns in the formal specification of distributed reactive systems. MACS@ICSE 2005: 6:1-6:5 - 2004
- [j2]Ana Fernández Vilas, José Juan Pazos-Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez:
Incremental specification with SCTL/MUS-T: a case study. J. Syst. Softw. 70(1-2): 189-208 (2004) - [c11]Martín López Nores, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jorge García Duque:
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. APSEC 2004: 38-45 - [c10]Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer:
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. ICSR 2004: 1-10 - [c9]Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer:
Technologies to Support Collaborative Learning over the Multimedia Home Platform. ICWL 2004: 83-90 - [c8]Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque:
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. IFM 2004: 382-401 - [c7]Martín López Nores, Andrés Elexpuru Eguia, Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Jorge García Duque, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer:
A technological framework for TV-supported collaborative learning. ISMSE 2004: 72-79 - [c6]Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Belén Barragáns-Martínez, Martín López Nores, Jorge García Duque, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. WISE 2004: 415-421 - 2003
- [c5]Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. Ershov Memorial Conference 2003: 366-380 - [c4]Alberto Gil-Solla, José Juan Pazos-Arias, Jorge García Duque, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer:
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV. ICWE 2003: 523-524 - [c3]Martín López Nores, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, José Juan Pazos-Arias, Manuel Ramos Cabrer, Jorge García Duque:
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform. MIPS 2003: 376-387 - 2002
- [c2]Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo:
Requirements Specifications Evolution in a Multi-Perspective Environment. COMPSAC 2002: 39-46 - [c1]Jorge García Duque, José Juan 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 - 2001
- [j1]José Juan Pazos-Arias, Jorge García Duque:
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects Comput. 13(1): 50-91 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint