José Pazos-Arias
0000-0002-0424-5481
UPS
1330
Coauthors
217
Documentos
20
H-index Scopus
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 1999 | 1 |
| 2001 | 2 |
| 2002 | 8 |
| 2003 | 4 |
| 2004 | 10 |
| 2005 | 10 |
| 2006 | 12 |
| 2007 | 10 |
| 2008 | 25 |
| 2009 | 19 |
| 2010 | 16 |
| 2011 | 12 |
| 2012 | 13 |
| 2013 | 9 |
| 2014 | 7 |
| 2015 | 20 |
| 2016 | 9 |
| 2017 | 6 |
| 2018 | 6 |
| 2019 | 7 |
| 2020 | 6 |
| 2021 | 3 |
| 2022 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 87 |
| Software | 38 |
| Inteligencia artificial | 31 |
| Ingeniería de software | 30 |
| Comunicación | 27 |
| Tecnología educativa | 23 |
| Red informática | 12 |
| Red social | 11 |
| Computación en la nube | 11 |
| Aprendizaje automático | 10 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 76 |
| Funcionamiento de bibliotecas y archivos | 51 |
| Métodos informáticos especiales | 48 |
| Comunicaciones | 33 |
| Escuelas y sus actividades; educación especial | 22 |
| Interacción social | 21 |
| Programación informática, programas, datos, seguridad | 20 |
| Publicidad y relaciones públicas | 19 |
| Física aplicada | 16 |
| Dirección general | 14 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 216 |
| Google Scholar | 13 |
| RRAAE | 2 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Martín López-Nores | 157 |
| Blanco-FernÁndez Y. | 101 |
| Solla A.G. | 91 |
| GarcÍa-Duque J. | 89 |
| Redondo R.P.D. | 83 |
| Vilas F. | 81 |
| Ramos-Cabrer M. | 77 |
| Jack Fernando Bravo-Torres | 23 |
| Vladimir Robles-Bykbaev | 21 |
| Rey-López M. | 13 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process
Conference ObjectAbstract: The possibility of verifying systems during any phase of the software development process is one ofPalabras claves:Autores:José Pazos-Arias, Redondo R.P.D.Fuentes:scopusSCTL-MUS: A formal methodology for software development of distributed systems. A case study
ArticleAbstract: This paper introduces an iterative model for the software development process of distributed systemsPalabras claves:Formal description techniques, Formal verification, Functional requirements, Incremental specification, Temporal logic, UnspecificationAutores:GarcÍa-Duque J., José Pazos-AriasFuentes:scopusProceedings - 2011 6th International Workshop on Semantic Media Adaptation and Personalization, SMAP 2011: Preface
OtherAbstract:Palabras claves:Autores:José Pazos-Arias, Martín López-NoresFuentes:scopusχ-SCTL/MUS: A formal methodology to evolve multi-perspective software requirements specifications
Conference ObjectAbstract: The objective of this thesis is to extend the formal methodology of refinement of requirements speciPalabras claves:inconsistency, Multi-Perspective Environment, Requirements Refinement, Specification Evolution, Unspecification, ViewpointsAutores:José Pazos-Arias, MartÍnez A.B.B.Fuentes:scopusCloud-based personalization of new advertising and e-commerce models for video consumption
ArticleAbstract: Over the last few years, we have witnessed a generalization of the consumption of video contents thrPalabras claves:Advertising, CLOUD COMPUTING, E-Commerce, personalization, video consumptionAutores:Blanco-FernÁndez Y., José Pazos-Arias, Martín López-NoresFuentes:scopus