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
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
- 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)
- ORCID
- Scopus
- 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 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)
- Web of Science
- 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/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 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
- JCR Quartile: Q4 (2006)
- SJR Quartile: Q2
- JCR Impact Factor: 0.338 (2022)
- Category normalized Impact: 0.481 (2006)
- CiteScore: 1.5 (2018)
- SJR: 0.306 (2006
- SNIP: 0.842 (2006
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- ORCID
- Web of Science
- Scopus
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
- SJR Quartile: Q2
- CiteScore: 1.5 (2018)
- SJR: 0.306 (2006
- SNIP: 0.842 (2006
- SJR Categories: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
- Web of Science
- ORCID
- Scopus
Describing use-case relationships with sequence diagrams
- Almendros-Jiménez, J.M.
- Iribarne, L.
Computer Journal - 1/1/2007
- JCR Quartile: Q2 (2007)
- SJR Quartile: Q1
- JCR Impact Factor: 0.88 (2022)
- Category normalized Impact: 0.493 (2007)
- CiteScore: 2.6 (2020)
- SJR: 0.723 (2007
- SNIP: 1.633 (2007
- SJR Categories: Computer Science (miscellaneous) (Q1)
- ORCID
- Scopus
- 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
- JCR Quartile: Q1 (2007)
- SJR Quartile: Q1
- JCR Impact Factor: 2.147 (2022)
- Category normalized Impact: 0.812 (2007)
- CiteScore: 12.1 (2020)
- SJR: 1.207 (2007
- SNIP: 2.256 (2007
- SJR Categories: Artificial Intelligence (Q1); Computer Science Applications (Q1); Control and Systems Engineering (Q1); Information Systems and Management (Q1); Software (Q1); Theoretical Computer Science (Q1)
- Scopus
- Web of Science
- ORCID
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
- JCR Quartile: Q2 (2008)
- SJR Quartile: Q1
- JCR Impact Factor: 1.049 (2022)
- Category normalized Impact: 0.99 (2008)
- CiteScore: 3.5 (2020)
- SJR: 0.794 (2008
- SNIP: 1.707 (2008
- SJR Categories: 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)
- 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: 1.8 (2020)
- 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: 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
- ORCID
- Scopus
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
- Category normalized Impact: 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
- Category normalized Impact: 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
- Category normalized Impact: 0.164 (2000)
- SJR Categories: Software
- ORCID
- Scopus
- 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)
- ORCID
- Scopus
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
- SJR Categories: Engineering (miscellaneous)
- ORCID
- Scopus
- 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
- 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.
Lecture Notes in Computer Science - 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)
- ORCID
- Web of Science
- Scopus
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
- ORCID
- Scopus
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
- Category normalized Impact: 1.955 (2010)
- SJR Categories: Computer Science Applications; Earth and Planetary Sciences (miscellaneous)
- ORCID
- Scopus
- 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
- SJR Categories: Business, Management and Accounting (miscellaneous); Decision Sciences (miscellaneous)
- ORCID
- Scopus
A prolog library for OWL RL
- Almendros-Jiménez, J.M.
ACM International Conference Proceeding Series - 10/5/2011
- SJR Categories: Artificial Intelligence; Computer Networks and Communications; Computer Vision and Pattern Recognition; Human-Computer Interaction; Software
- ORCID
- Scopus
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
Database query languages and functional logic programming
- Almendros-Jiménez J.
- Becerra-Terón A.
New Generation Computing - 29/06/2006
- JCR Quartile: Q2 (2006)
- SJR Quartile: Q3
- JCR Impact Factor: 0.694 (2022)
- CiteScore: 2.1 (2020)
- SJR: 0.27 (2006
- SNIP: 0.897 (2006
- SJR Categories: 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
- ORCID
- Scopus
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
- SJR Categories: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- ORCID
- Scopus
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
- ORCID
- Scopus
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
- ORCID
- Scopus
h index
Scopus: 14
Web of Science: 11
i10 index
Scopus: 19
Web of Science: 14
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