Almendros Jiménez, Jesús Manuel Autor

Open Access

PTL: A model transformation language based on logic programming

  • Jesús M. Almendros-Jiménez
  • Luis Iribarne
  • Jesús López-Fernández
  • Ángel Mora-Segura

Journal of Logical and Algebraic Methods in Programming - 1/02/2016

10.1016/j.jlamp.2015.06.006

Número de citas: 2 (Web of Science) 2 (Scopus)
Open Access

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

Open Access

Analyzing the tagging quality of the Spanish OpenStreetMap

  • Almendros-Jiménez J.
  • Becerra-Terón A.

ISPRS International Journal of Geo-Information - 1/08/2018

10.3390/ijgi7080323

Número de citas: 14 (Web of Science) 11 (Scopus)
Open Access

A location-based approach to the classification of mesoscale oceanic structures in SeaWiFS and Aqua-MODIS images of Northwest Africa

  • Vidal-Fernández E.
  • Piedra-Fernández J.
  • Almendros-Jiménez J.
  • Cantón-Garbín M.

International Journal of Remote Sensing - 17/12/2015

10.1080/01431161.2015.1111540

Número de citas: 1 (Web of Science) 2 (Scopus)

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

10.1016/j.ins.2006.12.012

Número de citas: 24 (Web of Science) 28 (Scopus)

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

Número de citas:

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

10.1016/s0950-5849(01)00209-9

Número de citas: 1 (Web of Science)

Metamorphic testing of OpenStreetMap

  • Almendros-Jiménez J.M.
  • Becerra-Terón A.
  • Merayo M.G.
  • Núñez M.

Information and Software Technology - 1/10/2021

10.1016/j.infsof.2021.106631

Número de citas: 7 (Web of Science)

Open-Environmental Ontology Modeling

  • Iribarne L.
  • Padilla N.
  • Asensio J.
  • Criado J.
  • Ayala R.
  • Almendros J.
  • Menenti M.
... Ver más Contraer

Ieee Transactions on Systems Man and Cybernetics Part a-Systems and Humans - 1/7/2011

10.1109/tsmca.2011.2132706

Número de citas: 6 (Web of Science) 10 (Scopus)

Using metamorphic testing to improve the quality of tags in OpenStreetMap

  • Almendros-Jimenez J.M.
  • Becerra-Teron A.
  • Merayo M.
  • Nunez Garcia M.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING - 1/1/2022

10.1109/tse.2022.3156182

Número de citas: 1 (Web of Science) 1 (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

Número de citas:
  • 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

Número de citas:
  • Dialnet
Open Access

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

10.1007/3-540-45635-x_30

Número de citas: 4 (Scopus)
Open Access

An eclipse GMF tool for modelling user interaction

  • Almendros-Jiménez J.
  • Iribarne L.
  • Asensio J.
  • Padilla N.
  • Vicente-Chicote C.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 6/11/2009

10.1007/978-3-642-04754-1_42

Número de citas:
Open Access

Automatic generation of ecore models for testing ATL transformations

  • 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/2016

10.1007/978-3-319-45547-1_2

Número de citas: 8 (Web of Science) 7 (Scopus)
Open Access

A web tool for type checking and testing of SPARQL queries

  • 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/2017

10.1007/978-3-319-60131-1_38

Número de citas: 2 (Web of Science) 3 (Scopus)
Open Access

Aggregation operators in geospatial queries for open street map

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Torres M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2015

10.1007/978-3-319-26148-5_34

Número de citas: 2 (Web of Science) 2 (Scopus)
Open Access

Integrating XQuery and logic programming

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Enciso-Baños F.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 9/11/2009

10.1007/978-3-642-00675-3_8

Número de citas: 2 (Web of Science) 8 (Scopus)
Open Access

XPath for querying GML-based representation of urban maps

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • García-García F.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 19/7/2011

10.1007/978-3-642-21928-3_13

Número de citas: 1 (Web of Science)
Open Access

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

10.1007/3-540-44716-4_10

Número de citas: 1 (Web of Science) 5 (Scopus)

Development of a Query Language for GML based on XPath

  • Jesus Almendros-Jimenez
  • Antonio Becerra-Teron
  • Francisco Garcia-Garcia

10.29007/hfk7

  • ORCID

Syntactic and semantic validation of SPARQL queries

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Cuzzocrea A.

Proceedings of the ACM Symposium on Applied Computing - 3/4/2017

10.1145/3019612.3019915

Número de citas: 2 (Scopus)

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

10.1145/1085099.1085106

Número de citas: 6 (Scopus)

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

10.1109/apsec.2000.896683

Número de citas: 1 (Web of Science) 1 (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

10.1109/ecbs.2005.31

Número de citas: 8 (Web of Science) 20 (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

Número de citas: 1 (Scopus)
Open Access

Describing use cases with activity charts

  • Almendros-Jiménez, J.M.
  • Iribarne, L.

Lecture Notes in Computer Science - 30/9/2005

10.1007/11518358_12

Número de citas: 6 (Web of Science) 16 (Scopus)
Open Access

Solving constraints on sets of spatial objects

  • Almendros-Jiménez, J.M.
  • Corral, A.

Lecture Notes in Computer Science - 1/9/2005

10.1007/978-3-540-30557-6_13

Número de citas: 5 (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

10.1109/igarss.2010.5649457

Número de citas: 5 (Web of Science) 7 (Scopus)

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

10.1145/2063576.2063794

Número de citas: 3 (Scopus)

Este autor no tiene patentes.

Open Access

Declarative Debugging of XML Queries

  • Almendros-Jiménez J.M.
  • Becerra-Terón A.

Practical Aspects of Declarative Languages - 1/01/2021

10.1007/978-3-030-67438-0_10

Número de citas: 1 (Scopus)

A Relational Algebra for Functional Logic Deductive Databases

  • Jesús Manuel Almendros-Jiménez
  • Antonio Becerra-Terón

Perspectives of System Informatics - 2004

10.1007/978-3-540-39866-0_48

  • ORCID

Database query languages and functional logic programming

  • Almendros-Jiménez J.
  • Becerra-Terón A.

New Generation Computing - 29/06/2006

10.1007/bf03037296

Número de citas:
Open Access

A Web Tool for XQuery Debugging

  • Jesús M. Almendros-Jiménez
  • Antonio Becerra-Terón

Lecture Notes in Computer Science - 11/05/2021

10.1007/978-3-030-74296-6_40

Número de citas: 1 (Scopus)

Automatic Partial Inversion of Inductively Sequential Functions

  • Jesús M. Almendros-Jiménez
  • Germán Vidal

Implementation and Application of Functional Languages

10.1007/978-3-540-74130-5_15

  • 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

Número de citas: 1 (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

Número de citas: 3 (Scopus)

Scopus: 14

Web of Science: 11

Scopus: 18

Web of Science: 14

Última actualización de los datos: 27/04/24 9:38
Próxima recolección programada: 4/05/24 3:00