Ana Belén Barragáns-Martínez

Orcid: 0000-0002-5011-989X

According to our database1, Ana Belén Barragáns-Martínez authored at least 35 papers between 2002 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
In-memory distributed software solution to improve the performance of recommender systems.
Softw. Pract. Exp., 2017

2016
SubTitleMe, subtitles in cinemas in mobile devices.
Univers. Access Inf. Soc., 2016

2015
Developing a recommender system in a consumer electronic device.
Expert Syst. Appl., 2015

2013
A Tagging Recommender Service for Mobile Terminals.
Proceedings of the Information and Communication Technologies in Tourism 2013, 2013

2012
Which App? A recommender system of applications in markets: Implementation of the service for monitoring users' interaction.
Expert Syst. Appl., 2012

Analysis of the BitTorrent Protocol Modified with Fountain Code.
Proceedings of the 2012 Seventh International Conference on P2P, 2012

Analysis of the BitTorrent Protocol Modified with Multicast.
Proceedings of the 2012 Seventh International Conference on P2P, 2012

2011
QR-Maps: An efficient tool for indoor user location based on QR-Codes and Google maps.
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

2010
A hybrid content-based and item-based collaborative filtering approach to recommend TV programs enhanced with singular value decomposition.
Inf. Sci., 2010

Exploiting Social Tagging in a Web 2.0 Recommender System.
IEEE Internet Comput., 2010

L4F: A P2P ITS for Recommending Additional Learning Contents by Means of Folksonomies.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

2009
What's on TV tonight? An efficient and effective personalized recommender system of TV programs.
IEEE Trans. Consumer Electron., 2009

2008
Composing requirements specifications from multiple prioritized sources.
Requir. Eng., 2008

On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Inf. Softw. Technol., 2008

Composing Multi-Perspective Software Requirements Specifications.
Int. J. Softw. Eng. Knowl. Eng., 2008

2006
An Agile Approach to Support Incremental Development of Requirements Specifications.
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.
Proceedings of the 14th international conference on World Wide Web, 2005

Tracing Integration Analysis in Component-Based Formal Specifications.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

AVATAR: A Multi-Agent TV Recommender System using MHP Applications.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Multi-valued Model Checking in Dense-Time.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Merging Requirements Views with Incompleteness and Inconsistency.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004
Incremental specification with SCTL/MUS-T: a case study.
J. Syst. Softw., 2004

AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
Proceedings of the Web Information Systems, 2004

A technological framework for TV-supported collaborative learning.
Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

A multi-agent open architecture for a TV recommender system: a case study using a Bayesian strategy.
Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

Technologies to Support Collaborative Learning over the Multimedia Home Platform.
Proceedings of the Advances in Web-Based Learning, 2004

Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
Proceedings of the Software Reuse: Methods, 2004

chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2002
ARIFS: an Environment for Incomplete and Formal Specifications.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Requirements Specifications Evolution in a Multi-Perspective Environment.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002


  Loading...