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)
A framework for goal-directed bottom-up evaluation of functional logic programs
- Almendros-Jiménez J.
- Becerra-Terón A.
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS - 1/1/2001
- Impacto Normalizado por Categoría: 0,047 (2001)
- CiteScore: 2,4 (2024)
- SJR: 0,399 (2001)
- SNIP: 0,785 (2001)
- ORCID
- Scopus
- Web of Science
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/2/2002
- Cuartil JCR: Q3 (2002)
- Cuartil SJR: Q3
- Factor Impacto JCR: 0,375 (2022)
- Impacto Normalizado por Categoría: 0,039 (2002)
- CiteScore: 10,8 (2024)
- SJR: 0,398 (2002)
- SNIP: 0,86 (2002)
- Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
- ORCID
- Scopus
- Web of Science
Bases for the development of LAST:: a formal method for business software requirements specification (vol 44, pg 65, 2002)
- Almendros-Jimenez, JM
- Gonzalez-Jimenez, L
INFORMATION AND SOFTWARE TECHNOLOGY - 15/4/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: 10,8 (2024)
- SJR: 0,398 (2002)
- SNIP: 0,86 (2002)
- Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
- ORCID
- Scopus
- Web of Science
A relational algebra for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
PERSPECTIVES OF SYSTEM INFORMATICS - 1/12/2003
- Impacto Normalizado por Categoría: 0,056 (2003)
- CiteScore: 2,4 (2024)
- SJR: 0,41 (2003)
- SNIP: 0,887 (2003)
- ORCID
- Scopus
- Web of Science
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
Solving constraints on sets of spatial objects
- Almendros-Jiménez, J.M.
- Corral, A.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS - 1/9/2005
- Cuartil SJR: Q2
- CiteScore: 2,4 (2024)
- SJR: 0,334 (2005)
- SNIP: 0,809 (2005)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- ORCID
- Web of Science
- Scopus
Describing use cases with activity charts
- Almendros-Jiménez, J.M.
- Iribarne, L.
METAINFORMATICS - 30/9/2005
- Cuartil SJR: Q2
- Impacto Normalizado por Categoría: 0,388 (2005)
- CiteScore: 2,4 (2024)
- SJR: 0,334 (2005)
- SNIP: 0,809 (2005)
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- ORCID
- Web of Science
- Scopus
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: 7,4 (2024)
- SJR: 0,27 (2006)
- SNIP: 0,878 (2006)
- Categorías SJR: Computer Networks and Communications (Q3); Hardware and Architecture (Q3); Software (Q3); Theoretical Computer Science (Q3)
- ORCID
- Scopus
- Web of Science
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)
- ORCID
- Web of Science
- Scopus
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
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
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
User interaction and interface design with UML
- Almendros-Jimenez, J.M.
- Iribarne, L.
Visual Languages for Interactive Computing Definitions and Formalizations - 1/12/2007
10.4018/978-1-59904-534-4.ch016
- ORCID
- Scopus
A rule based implementation of XQuery
- Jesús Manuel Almendros Jiménez
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 - 2009
- Dialnet
XQuery in the Functional-Logic Language Toy
- Almendros-Jiménez J.
- Caballero R.
- García-Ruiz Y.
- Sáenz-Pérez F.
FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING - 1/1/2011
- Impacto Normalizado por Categoría: 0,154 (2011)
- CiteScore: 2,4 (2024)
- SJR: 0,338 (2011)
- SNIP: 0,778 (2011)
- ORCID
- Web of Science
- Dialnet
- Scopus
Sistema de análisis y recuperación de imágenes de satélite basado en objetos y ontologías aplicado a las estructuras oceánicas mesoescalares
- Eva María Vidal Fernández
- Manuel Cantón Garbín
- José Antonio Piedra Fernández
- Jesús Manuel Almendros Jiménez
18/03/2016
- ORCID
- Dialnet
Extraction of knowledge rules for the retrieval of mesoscale oceanic structures in ocean satellite images
- Vidal-Fernández E.
- Almendros-Jiménez J.
- Piedra J.
- Cantón M.
Hybrid Soft Computing for Image Segmentation - 1/1/2016
Programación lógica difusa para la gestión flexible de documentos XML. (Fuzzy Logic Programming for the Flexible Management of XML Documents)
- Alejandro Luna Tedesqui
- Ginés Damián Moreno Valverde
- Jesús Manuel Almendros Jiménez
2016
- Dialnet
Model and Data Engineering
- Ladjel Bellatreche
- Óscar Pastor
- Jesús M. Almendros Jiménez
- Yamine Aït-Ameur
Lecture Notes in Computer Science - 2016
- Cuartil SJR: Q2
- Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- ORCID
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: 2,4 (2024)
- ORCID
- Scopus
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: 2,4 (2024)
- ORCID
- Scopus
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: 2,4 (2024)
- Scopus
- Web of Science
- ORCID
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.
SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS - 1/1/2000
- Impacto Normalizado por Categoría: 0,164 (2000)
- CiteScore: 1,6 (2024)
- Categorías SJR: Software
- ORCID
- Scopus
- Web of Science
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: 2,4 (2024)
- SJR: 0,399 (2001)
- SNIP: 0,785 (2001)
- ORCID
- Scopus
A safe relational calculus for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
Electronic Notes in Theoretical Computer Science - 1/1/2003
- Cuartil SJR: Q3
- CiteScore: 2 (2021)
- SJR: 0,328 (2003)
- SNIP: 0,603 (2003)
- Categorías SJR: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
- Scopus
- ORCID
Constraint logic programming over sets of spatial objects
- Almendros-Jiménez, J.M.
Wcflp 05 Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming - 1/1/2005
- Categorías SJR: Engineering (miscellaneous)
- ORCID
- Scopus
Designing GUI components from UML use cases
- Almendros-Jiménez, J.M.
- Iribarne, L.
12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS - 9/12/2005
- Categorías SJR: Engineering (miscellaneous)
- ORCID
- Web of Science
- Scopus
Automatic partial inversion of inductively sequential functions
- Almendros-Jiménez, J.M.
- Vidal, G.
IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - 1/12/2007
- CiteScore: 2,4 (2024)
- SJR: 0,293 (2007)
- SNIP: 0,654 (2007)
- ORCID
- Scopus
- Web of Science
An Eclipse GMF Tool for Modelling User Interaction
- Almendros-Jiménez J.
- Iribarne L.
- Asensio J.
- Padilla N.
- Vicente-Chicote C.
VISIONING AND ENGINEERING THE KNOWLEDGE SOCIETY: A WEB SCIENCE PERSPECTIVE, PROCEEDINGS - 6/11/2009
- CiteScore: 2,4 (2024)
- SJR: 0,302 (2009)
- SNIP: 0,691 (2009)
- ORCID
- Scopus
- Web of Science
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
Índice h
Scopus: 15
Web of Science: 12
Índice i10
Scopus: 22
Web of Science: 17
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 2022Importe 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 2020Importe 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 2016Importe 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 2013Importe de financiación: 2.500,00 EURRol: Investigador
-
Acrónimo P10-TIC-6114Desde: 6 de julio de 2011Hasta: 6 de julio de 2015Importe de financiación: 235.260,75 EURRol: Investigador
-
Acrónimo TRA2009_0309Desde: 1 de junio de 2010Hasta: 31 de marzo de 2013Importe de financiación: 30.734,00 EURRol: Investigador
-
Acrónimo TIN2008-06622-C03-03Desde: 1 de enero de 2009Hasta: 31 de diciembre de 2012Importe de financiación: 93.170,00 EURInvestigador Principal (IP)Rol: Investigador principal
-
Acrónimo TIC2002-03968Desde: 1 de diciembre de 2002Hasta: 31 de mayo de 2006Importe de financiación: 53.820,00 EURInvestigador Principal (IP)Rol: Investigador principal