Almendros Jiménez, Jesús Manuel Autor
Preface
- Gleditsch, NP
JOURNAL OF PEACE RESEARCH - 01/1998
10.1177/0022343398035001001 Ver en origen
- CiteScore: 6,8 (2022)
- SJR: 2,444 (2022)
- SNIP: 2,576 (2022)
Bases for the development of LAST: A formal method for business software requirements specification
- Almendros-Jiménez, J.M.
- González-Jiménez, L.
Information and Software Technology - 15/02/2002
- Cuartil JCR: Q3 (2002)
- Cuartil SJR: Q3
- Factor Impacto JCR: 0,375 (2022)
- Impacto Normalizado por Categoría: 0,039 (2002)
- CiteScore: 8,6 (2020)
- SJR: 0,398 (2002)
- SNIP: 0,934 (2002)
- Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
- Scopus
- ORCID
- Web of Science
Erratum: Bases for the development of LAST - A formal method for business software requirements specification (Information and Software Technology (2002) 44 (65-75) PII: S0950584901002099)
- Almendros-Jimenez, JM
- Gonzalez-Jimenez, L
Information and Software Technology - 15/04/2002
10.1016/s0950-5849(02)00052-6 Ver en origen
- Cuartil JCR: Q3 (2002)
- Cuartil SJR: Q3
- Factor Impacto JCR: 0,375 (2022)
- CiteScore: 8,6 (2020)
- SJR: 0,398 (2002)
- SNIP: 0,934 (2002)
- Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
- Scopus
- ORCID
- Web of Science
A safe relational calculus for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
Electronic Notes in Theoretical Computer Science - 1/11/2003
- Cuartil SJR: Q3
- CiteScore: 1,2 (2020)
- SJR: 0,328 (2003)
- SNIP: 0,568 (2003)
- Categorías SJR: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
- Scopus
- ORCID
A method based on UML use cases for GUI design
- Almendros Jiménez, Jesús Manuel
- Iribarne, Luis
JISBD 2004 - Jornadas de Ingeniería del Software y Bases de Datos - 2004
Magic sets for the XPath language
- Almendros-Jiménez J.
- Becerra-Terón A.
- Enciso-Baños F.
Journal of Universal Computer Science - 1/12/2006
- Cuartil JCR: Q4 (2006)
- Cuartil SJR: Q2
- Factor Impacto JCR: 0,338 (2022)
- Impacto Normalizado por Categoría: 0,481 (2006)
- CiteScore: 1,5 (2018)
- SJR: 0,306 (2006)
- SNIP: 0,842 (2006)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages
- López-Fraguas, F.J.
- Almendros, J.
- Corchuelo, R.
- Fernández, A.J.
- Hermenegildo, M.
- Levy, J.
- Lucio, P.
- Moreno, G.
- Orejas, F.
- Pimentel, E.
- Puebla, G.
- Alpuente, M.
- Dahl, V.
- Gulías, V.
- Herrera, F.
- Lucas, S.
- Merseguer, J.
- Muñoz, S.
- Peña, R.
- Pita, I.
- Vidal, G.
Journal of Universal Computer Science - 1/12/2006
- Cuartil SJR: Q2
- CiteScore: 1,5 (2018)
- SJR: 0,306 (2006)
- SNIP: 0,842 (2006)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Describing use-case relationships with sequence diagrams
- Almendros-Jiménez, J.M.
- Iribarne, L.
Computer Journal - 1/1/2007
- Cuartil JCR: Q2 (2007)
- Cuartil SJR: Q1
- Factor Impacto JCR: 0,88 (2022)
- Impacto Normalizado por Categoría: 0,493 (2007)
- CiteScore: 2,6 (2020)
- SJR: 0,723 (2007)
- SNIP: 1,633 (2007)
- Categorías SJR: Computer Science (miscellaneous) (Q1)
- Scopus
- ORCID
- Web of Science
A performance comparison of distance-based query algorithms using R-trees in spatial databases
- Corral A.
- Almendros-Jiménez J.
Information Sciences - 1/6/2007
- Cuartil JCR: Q1 (2007)
- Cuartil SJR: Q1
- Factor Impacto JCR: 2,147 (2022)
- Impacto Normalizado por Categoría: 0,812 (2007)
- CiteScore: 12,1 (2020)
- SJR: 1,207 (2007)
- SNIP: 2,256 (2007)
- Categorías SJR: Artificial Intelligence (Q1); Computer Science Applications (Q1); Control and Systems Engineering (Q1); Information Systems and Management (Q1); Software (Q1); Theoretical Computer Science (Q1)
- Scopus
- ORCID
- Web of Science
Querying XML documents in logic programming
- Almendros-Jiménez J.
- Becerra-Terón A.
- Enciso-Baños F.
Theory and Practice of Logic Programming - 1/01/2008
- Cuartil JCR: Q2 (2008)
- Cuartil SJR: Q1
- Factor Impacto JCR: 1,049 (2022)
- Impacto Normalizado por Categoría: 0,99 (2008)
- CiteScore: 3,5 (2020)
- SJR: 0,794 (2008)
- SNIP: 1,707 (2008)
- Categorías SJR: Hardware and Architecture (Q1); Artificial Intelligence (Q2); Computational Theory and Mathematics (Q2); Software (Q2); Theoretical Computer Science (Q2)
- Scopus
- ORCID
- Web of Science
Algebraic semantics for functional logic programming with polymorphic order-sorted types
- Almendros-Jiménez, J.M.
- Gavilanes-Franco, A.
- Gil-Luezas, A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/1996
- CiteScore: 1,8 (2020)
- Scopus
- ORCID
Lazy narrowing with parametric order sorted types
- Almendros-Jiménez, J.M.
- Gil-Luezas, A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/1997
- CiteScore: 1,8 (2020)
- Scopus
- ORCID
Improving computations in a typed functional logic language
- Almendros-Jiménez, J.M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/1998
- CiteScore: 1,8 (2020)
- Scopus
- ORCID
Programación lógico-funcional con tipos paramétricos y géneros ordenados
- Jesús Manuel Almendros Jiménez
- Antonio Javier Gavilanes Franco
- Ana Gil Luezas
1999
- Dialnet
A computational model for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
- Sánchez-Hernández J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2001
- CiteScore: 1,8 (2020)
- SJR: 0,399 (2001)
- SNIP: 0,773 (2001)
- Scopus
- ORCID
A framework for goal-directed bottom-up evaluation of functional logic programs
- Almendros-Jiménez J.
- Becerra-Terón A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2001
- Impacto Normalizado por Categoría: 0,047 (2001)
- CiteScore: 1,8 (2020)
- SJR: 0,399 (2001)
- SNIP: 0,773 (2001)
- Scopus
- ORCID
- Web of Science
INDALOG: A Declarative Deductive Database Language
- Jesús Manuel Almendros Jiménez
- Antonio Becerra Terón
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 - 2001
- Dialnet
A relational algebra for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/12/2003
- Impacto Normalizado por Categoría: 0,056 (2003)
- CiteScore: 1,8 (2020)
- SJR: 0,41 (2003)
- SNIP: 0,882 (2003)
- Scopus
- ORCID
- Web of Science
Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
- Antonio Becerra Terón
- Jesús Manuel Almendros Jiménez
2003
- Dialnet
Automatic partial inversion of inductively sequential functions
- Almendros-Jiménez, J.M.
- Vidal, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/12/2007
- CiteScore: 1,8 (2020)
- SJR: 0,293 (2007)
- SNIP: 0,522 (2007)
- Scopus
- ORCID
- Web of Science
Improving computations in a typed functional logic language
- Almendros-Jimenez, JM
- Haeberer, AM
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY - 1999
The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design
- Almendros Jiménez, J.M.
- González Jiménez, L.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC - 1/1/2000
- Impacto Normalizado por Categoría: 0,164 (2000)
- Categorías SJR: Software
- Scopus
- ORCID
- Web of Science
Constraint logic programming over sets of spatial objects
- Almendros-Jiménez, J.M.
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05 - 1/12/2005
- Categorías SJR: Engineering (miscellaneous)
- Scopus
- ORCID
Designing GUI components from UML use cases
- Almendros-Jiménez, J.M.
- Iribarne, L.
Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 - 9/12/2005
- Categorías SJR: Engineering (miscellaneous)
- Scopus
- ORCID
- Web of Science
Solving constraints on sets of spatial objects
- Almendros-Jiménez, J.M.
- Corral, A.
Lecture Notes in Computer Science - 1/9/2005
- Cuartil SJR: Q2
- CiteScore: 1,8 (2020)
- SJR: 0,334 (2005)
- SNIP: 0,787 (2005)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
Describing use cases with activity charts
- Almendros-Jiménez, J.M.
- Iribarne, L.
Lecture Notes in Computer Science - 30/9/2005
- Cuartil SJR: Q2
- Impacto Normalizado por Categoría: 0,388 (2005)
- CiteScore: 1,8 (2020)
- SJR: 0,334 (2005)
- SNIP: 0,787 (2005)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
A query language for OWL based on logic programming
- Almendros-Jiménez, J.M.
Preliminary Proceedings - Automated Specification and Verification of Web Systems, WWV 2009: 5th International Workshop - 1/12/2009
- Categorías SJR: Artificial Intelligence; Computer Networks and Communications
- Scopus
- ORCID
An ontology-based modeling of an ocean satellite image retrieval system
- Almendros-Jiménez J.
- Piedra J.
- Cantón M.
International Geoscience and Remote Sensing Symposium (IGARSS) - 25/07/2010
- Impacto Normalizado por Categoría: 1,955 (2010)
- Categorías SJR: Computer Science Applications; Earth and Planetary Sciences (miscellaneous)
- Scopus
- ORCID
- Web of Science
XQuery optimization based on program slicing
- Almendros-Jiménez, J.M.
- Silva, J.
- Tamarit, S.
International Conference on Information and Knowledge Management, Proceedings - 13/12/2011
- Categorías SJR: Business, Management and Accounting (miscellaneous); Decision Sciences (miscellaneous)
- Scopus
- ORCID
A prolog library for OWL RL
- Almendros-Jiménez, J.M.
ACM International Conference Proceeding Series - 10/5/2011
- Categorías SJR: Artificial Intelligence; Computer Networks and Communications; Computer Vision and Pattern Recognition; Human-Computer Interaction; Software
- Scopus
- ORCID
Este autor no tiene patentes.
A Relational Algebra for Functional Logic Deductive Databases
- Jesús Manuel Almendros-Jiménez
- Antonio Becerra-Terón
Perspectives of System Informatics - 2004
- ORCID
Database query languages and functional logic programming
- Almendros-Jiménez J.
- Becerra-Terón A.
New Generation Computing - 29/06/2006
- Cuartil JCR: Q2 (2006)
- Cuartil SJR: Q3
- Factor Impacto JCR: 0,694 (2022)
- CiteScore: 2,1 (2020)
- SJR: 0,27 (2006)
- SNIP: 0,897 (2006)
- Categorías SJR: Computer Networks and Communications (Q3); Hardware and Architecture (Q3); Software (Q3); Theoretical Computer Science (Q3)
- Scopus
- ORCID
- Web of Science
User Interaction and Interface Design with UML
- Almendros-Jimenez, J.M.
- Iribarne, L.
Human Computer Interaction - 1/12/2007
10.4018/978-1-87828-991-9.ch030
- Scopus
- ORCID
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
- Almendros-Jimenez J.
- Becerra-Teron A.
- Moreno G.
- Riaza J.
2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - 1/06/2019
10.1109/fuzz-ieee.2019.8858958
- CiteScore: 1,8 (2020)
- SJR: 0,271 (2019)
- SNIP: 0,525 (2019)
- Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
Declarative Debugging of XML Queries
- Almendros-Jiménez J.M.
- Becerra-Terón A.
Practical Aspects of Declarative Languages - 1/01/2021
- CiteScore: 1,8 (2020)
- SJR: 0,249 (2020)
- SNIP: 0,628 (2020)
- Scopus
- ORCID
A Web Tool for XQuery Debugging
- Jesús M. Almendros-Jiménez
- Antonio Becerra-Terón
Lecture Notes in Computer Science - 11/05/2021
- CiteScore: 1,8 (2020)
- SJR: 0,249 (2020)
- SNIP: 0,628 (2020)
- Scopus
- ORCID
Índice h
Scopus: 14
Web of Science: 11
Índice i10
Scopus: 19
Web of Science: 14
Grupos de investigación
-
Grupo de sistemas de información
Rol: Responsable
Perfiles de autor
-
ORCID
-
Web of Science ResearcherID
-
Scopus Author ID
-
Dialnet id
-
Google Scholar Id
Otros identificadores
-
URI Datos BNE
Proyectos de investigación en la UAL
-
Acrónimo P20_00809Desde: 5 de octubre de 2021Hasta: 31 de diciembre de 2022Financiado por: JUNTAImporte de financiación: 90.700,00 EURRol: Investigador
-
Acrónimo 001511Desde: 1 de enero de 2020Hasta: 30 de junio de 2021Financiado por: Consejería de Economía, Conocimiento, Empresas y UniversidadImporte de financiación: 49.900,00 EURInvestigador Principal (IP)Rol: Investigador Principal
-
Acrónimo UAL18-TIC-A002-B1Desde: 1 de octubre de 2019Hasta: 30 de septiembre de 2020Financiado por: Universidad de AlmeríaImporte de financiación: 7.500,00 EURInvestigador Principal (IP)Rol: Investigador principal
-
Acrónimo TIN2013-44742-C04-04-RDesde: 1 de enero de 2014Hasta: 31 de diciembre de 2016Financiado por: Ministerio de Economía y CompetitividadImporte de financiación: 23.464,32 EURInvestigador Principal (IP)Rol: Investigador principal
-
Acrónimo TIN2011-15400-EDesde: 26 de octubre de 2011Hasta: 25 de octubre de 2013Financiado por: MECImporte de financiación: 2.500,00 EURRol: Investigador
-
Acrónimo P10-TIC-6114Desde: 6 de julio de 2011Hasta: 6 de julio de 2015Financiado por: JUNTAImporte de financiación: 235.260,75 EURRol: Investigador
-
Acrónimo TRA2009_0309Desde: 1 de junio de 2010Hasta: 31 de marzo de 2013Financiado por: MECImporte de financiación: 30.734,00 EURRol: Investigador
-
Acrónimo TIN2008-06622-C03-03Desde: 1 de enero de 2009Hasta: 31 de diciembre de 2012Financiado por: MECImporte de financiación: 93.170,00 EURInvestigador Principal (IP)Rol: Responsable
-
Acrónimo TIC2002-03968Desde: 1 de diciembre de 2002Hasta: 31 de mayo de 2006Financiado por: MECImporte de financiación: 53.820,00 EURInvestigador Principal (IP)Rol: Responsable