|
Search the dblp DataBase
Ana Fernández Vilas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo
A Model for Personalized Learning Through IDTV. [Citation Graph (0, 0)][DBLP] AH, 2006, pp:457-461 [Conf]
- Julio Fernández Vilas, José J. Pazos Arias, Ana Fernández Vilas
High Availability with Clusters of Web Services. [Citation Graph (0, 0)][DBLP] APWeb, 2004, pp:644-653 [Conf]
- Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas
Merging Requirements Views with Incompleteness and Inconsistency. [Citation Graph (0, 0)][DBLP] Australian Software Engineering Conference, 2005, pp:58-67 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Component-Based Software Quality, 2003, pp:326-351 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:39-46 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:659-666 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ECSQARU, 2005, pp:638-649 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EC-TEL, 2006, pp:679-684 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:366-380 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EUROMICRO, 2002, pp:90-97 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FMOODS, 2005, pp:147-162 [Conf]
- Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. [Citation Graph (0, 0)][DBLP] FTRTFT, 2002, pp:185-204 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSM, 2002, pp:618-627 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSR, 2004, pp:1-10 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICWE, 2003, pp:523-524 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICWL, 2004, pp:83-90 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:382-401 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MIPS, 2003, pp:376-387 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WISE, 2004, pp:415-421 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WWW (Special interest tracks and posters), 2005, pp:1078-1079 [Conf]
- Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias
Providing SCORM with adaptivity. [Citation Graph (0, 0)][DBLP] WWW, 2006, pp:981-982 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:4, pp:607-646 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:6, pp:951-986 [Journal]
- Julio Fernández Vilas, José J. Pazos Arias, Ana Fernández Vilas
Optimizing Web Services Performance Using Cache. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:5, pp:713-720 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2004, v:70, n:1-2, pp:189-208 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2006, v:79, n:8, pp:1141-1155 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2006, v:16, n:2, pp:227-255 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Requir. Eng., 2006, v:11, n:4, pp:239-263 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 2006, v:36, n:8, pp:845-869 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 2006, v:36, n:13, pp:1421-1442 [Journal]
- Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias
Entercation: engaging viewers in education through TV. [Citation Graph (0, 0)][DBLP] Computers in Entertainment, 2007, v:5, n:2, pp:- [Journal]
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.307secs
|