Almendros Jiménez, Jesús Manuel Author
Preface
- Gleditsch, NP
JOURNAL OF PEACE RESEARCH - 01/1998
10.1177/0022343398035001001 View source
- CiteScore: 6.8 (2022)
- SJR: 2.444 (2022
- SNIP: 2.576 (2022
Improving computations in a typed functional logic language
- Almendros-Jimenez, JM
- Haeberer, AM
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY - 1999
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
- Category normalized Impact: 0.047 (2001)
- CiteScore: 1.8 (2020)
- SJR: 0.399 (2001
- SNIP: 0.773 (2001
- Scopus
- ORCID
- 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
- JCR Quartile: Q3 (2002)
- SJR Quartile: Q3
- JCR Impact Factor: 0.375 (2022)
- Category normalized Impact: 0.039 (2002)
- CiteScore: 8.6 (2020)
- SJR: 0.398 (2002
- SNIP: 0.934 (2002
- SJR Categories: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
- Scopus
- ORCID
- 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 View source
- JCR Quartile: Q3 (2002)
- SJR Quartile: Q3
- JCR Impact Factor: 0.375 (2022)
- CiteScore: 8.6 (2020)
- SJR: 0.398 (2002
- SNIP: 0.934 (2002
- SJR Categories: 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
- SJR Quartile: Q3
- CiteScore: 1.2 (2020)
- SJR: 0.328 (2003
- SNIP: 0.568 (2003
- SJR Categories: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
- Scopus
- ORCID
A relational algebra for functional logic deductive databases
- Almendros-Jiménez J.
- Becerra-Terón A.
PERSPECTIVES OF SYSTEM INFORMATICS - 1/12/2003
- Category normalized Impact: 0.056 (2003)
- CiteScore: 1.8 (2020)
- SJR: 0.41 (2003
- SNIP: 0.882 (2003
- Scopus
- ORCID
- 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
- SJR Quartile: Q2
- CiteScore: 1.8 (2020)
- SJR: 0.334 (2005
- SNIP: 0.787 (2005
- SJR Categories: 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.
METAINFORMATICS - 30/9/2005
- SJR Quartile: Q2
- Category normalized Impact: 0.388 (2005)
- CiteScore: 1.8 (2020)
- SJR: 0.334 (2005
- SNIP: 0.787 (2005
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- 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
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
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
Ontology-based modelling of ocean satellite images
- Almendros-Jiménez J.
- Piedra J.
- Cantón M.
Communications in Computer and Information Science - 13/12/2010
- SJR Quartile: Q4
- CiteScore: 0.8 (2020)
- SJR: 0.139 (2010
- SNIP: 0.241 (2010
- SJR Categories: Computer Science (miscellaneous) (Q4); Mathematics (miscellaneous) (Q4)
- Scopus
- ORCID
Extending XQuery for semantic web reasoning
- Almendros-Jiménez, J.M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 5/5/2011
- CiteScore: 1.8 (2020)
- SJR: 0.338 (2011
- SNIP: 0.773 (2011
- Scopus
- 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
- Category normalized Impact: 0.164 (2000)
- SJR Categories: 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
- SJR Categories: Engineering (miscellaneous)
- Scopus
- ORCID
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
- SJR Categories: Engineering (miscellaneous)
- Scopus
- ORCID
- Web of Science
Automatic partial inversion of inductively sequential functions
- Almendros-Jiménez, J.M.
- Vidal, G.
IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - 1/12/2007
- CiteScore: 1.8 (2020)
- SJR: 0.293 (2007
- SNIP: 0.522 (2007
- Scopus
- ORCID
- Web of Science
An Encoding of XQuery in Prolog
- Almendros-Jiménez, J.M.
DATABASE AND XML TECHNOLOGIES, PROCEEDINGS - 6/11/2009
- Category normalized Impact: 2.007 (2009)
- CiteScore: 1.8 (2020)
- SJR: 0.302 (2009
- SNIP: 0.586 (2009
- Scopus
- ORCID
- 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: 1.8 (2020)
- SJR: 0.302 (2009
- SNIP: 0.586 (2009
- Scopus
- ORCID
- Web of Science
Integrating XQuery and Logic Programming
- Almendros-Jiménez J.
- Becerra-Terón A.
- Enciso-Baños F.
APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - 9/11/2009
- Category normalized Impact: 0.313 (2009)
- CiteScore: 1.8 (2020)
- SJR: 0.302 (2009
- SNIP: 0.586 (2009
- 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
- SJR Categories: 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.
2010 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM - 25/07/2010
- Category normalized Impact: 1.955 (2010)
- SJR Categories: Computer Science Applications; Earth and Planetary Sciences (miscellaneous)
- Scopus
- ORCID
- Web of Science
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
- Category normalized Impact: 0.154 (2011)
- CiteScore: 1.8 (2020)
- SJR: 0.338 (2011
- SNIP: 0.773 (2011
- Scopus
- ORCID
- Web of Science
This author has no patents.
A Relational Algebra for Functional Logic Deductive Databases
- Jesús Manuel Almendros-Jiménez
- Antonio Becerra-Terón
Perspectives of System Informatics - 2004
- ORCID
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
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
h index
Scopus: 14
Web of Science: 11
i10 index
Scopus: 19
Web of Science: 16
Research groups
-
Grupo de sistemas de información
Role: Responsable
Author profiles
-
ORCID
-
Web of Science ResearcherID
-
Scopus Author ID
-
Dialnet id
-
Google Scholar Id
Other identifiers
-
URI Datos BNE
Research projects at UAL
-
Acronym P20_00809Since: October 5, 2021Until: December 31, 2022Funded by: JUNTAFunding / grant amount: 90,700.00 EURRole: Investigador
-
Acronym 001511Since: January 1, 2020Until: June 30, 2021Funded by: Consejería de Economía, Conocimiento, Empresas y UniversidadFunding / grant amount: 49,900.00 EURPrincipal Investigator (PI)Role: Investigador Principal
-
Acronym UAL18-TIC-A002-B1Since: October 1, 2019Until: September 30, 2020Funded by: Universidad de AlmeríaFunding / grant amount: 7,500.00 EURPrincipal Investigator (PI)Role: Investigador principal
-
Acronym TIN2013-44742-C04-04-RSince: January 1, 2014Until: December 31, 2016Funded by: Ministerio de Economía y CompetitividadFunding / grant amount: 23,464.32 EURPrincipal Investigator (PI)Role: Investigador principal
-
Acronym TIN2011-15400-ESince: October 26, 2011Until: October 25, 2013Funded by: MECFunding / grant amount: 2,500.00 EURRole: Investigador
-
Acronym P10-TIC-6114Since: July 6, 2011Until: July 6, 2015Funded by: JUNTAFunding / grant amount: 235,260.75 EURRole: Investigador
-
Acronym TRA2009_0309Since: June 1, 2010Until: March 31, 2013Funded by: MECFunding / grant amount: 30,734.00 EURRole: Investigador
-
Acronym TIN2008-06622-C03-03Since: January 1, 2009Until: December 31, 2012Funded by: MECFunding / grant amount: 93,170.00 EURPrincipal Investigator (PI)Role: Responsable
-
Acronym TIC2002-03968Since: December 1, 2002Until: May 31, 2006Funded by: MECFunding / grant amount: 53,820.00 EURPrincipal Investigator (PI)Role: Responsable