Jesús Manuel Almendros-Jiménez

According to our database, Jesús Manuel Almendros-Jiménez authored at least 88 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez

IEEE Trans. Software Eng., February, 2023

2021

Metamorphic testing of OpenStreetMap.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez

Inf. Softw. Technol., 2021

Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning.

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

Expert Syst. Appl., 2021

Declarative Debugging of XML Queries.

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

Proceedings of the Practical Aspects of Declarative Languages, 2021

A Web Tool for XQuery Debugging.

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

Proceedings of the Web Engineering - 21st International Conference, 2021

Flexible Aggregation in FSA-SPARQL.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza

Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

Debugging of Wrong and Missing Answers in SPARQL✱.

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

Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021

2019

Integrating and Querying OpenStreetMap and Linked Geo Open Data.

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

Comput. J., 2019

Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018

Analyzing the Tagging Quality of the Spanish OpenStreetMap.

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

ISPRS Int. J. Geo Inf., 2018

Fuzzy queries of social networks with FSA-SPARQL.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno

Expert Syst. Appl., 2018

2017

Automatic property-based testing and path validation of XQuery programs.

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

Softw. Test. Verification Reliab., 2017

Syntactic and semantic validation of SPARQL queries.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea

Proceedings of the Symposium on Applied Computing, 2017

A Web Tool for Type Checking and Testing of SPARQL Queries.

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

Proceedings of the Web Engineering - 17th International Conference, 2017

A fuzzy extension of SPARQL based on fuzzy sets and aggregators.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea

Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017), 2017

Property-based testing of SPARQL queries.

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

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

PTL: A model transformation language based on logic programming.

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

J. Log. Algebraic Methods Program., 2016

Automatic Generation of Ecore Models for Testing ATL Transformations.

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

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection.

Jesús Manuel Almendros-Jiménez, Alfredo Cuzzocrea

Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

Debugging while interpreting fuzzy XPath queries.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015

OBIA System for Identifying Mesoscale Oceanic Structures in SeaWiFS and MODIS-Aqua Images.

Eva Vidal-Fernandez, Jose A. Piedra-Fernández, Jesús Manuel Almendros-Jiménez, Manuel Cantón-Garbín

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015

Fuzzy XPath through Fuzzy Logic Programming.

Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno

New Gener. Comput., 2015

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models.

Jesús Manuel Almendros-Jiménez, Miquel Bofill, Alejandro Luna Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret

Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

Aggregation Operators in Geospatial Queries for Open Street Map.

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

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

Towards Flexible Similarity Analysis of XML Data.

Jesús Manuel Almendros-Jiménez, Alfredo Cuzzocrea

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

Automatic validation of XQuery programs.

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

Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services, 2015

Querying Open Street Map with XQuery.

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

Proceedings of the GISTAM 2015, 2015

Thresholded debugging of XPath queries.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Distance Based Queries in Open Street Map.

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

Proceedings of the 26th International Workshop on Database and Expert Systems Applications, 2015

XQuery Testing from XML Schema Based Random Test Cases.

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

Proceedings of the Database and Expert Systems Applications, 2015

2014

XQOWL: An Extension of XQuery for OWL Querying and Reasoning.

Jesús Manuel Almendros-Jiménez

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries.

Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno

Proceedings of the Rough Sets and Current Trends in Computing, 2014

Fuzzy XPath Queries in XQuery.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Embedding OWL Querying and Reasoning into XQuery.

Jesús Manuel Almendros-Jiménez

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

An XQuery-Based Model Transformation Language.

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

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

2013

A Framework for Ocean Satellite Image Classification Based on Ontologies.

Jesús Manuel Almendros-Jiménez, Luis M. Domene, Jose A. Piedra-Fernández

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2013

A Model Transformation Language Based on Logic Programming.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries.

Jesús Manuel Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno

Proceedings of the Advances in Computational Intelligence, 2013

2012

Model Validation in Ontology Based Transformations

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations.

Jesús Manuel Almendros-Jiménez

Proceedings of the Rules on the Web: Research and Applications, 2012

A XPath Debugger Based on Fuzzy Chance Degrees.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Using OWL and SWRL for the Semantic Analysis of XML Resources.

Jesús Manuel Almendros-Jiménez

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Transformation and Validation with SWRL and OWL of ODM-Based Models.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

Validation of XML Documents with SWRL.

Jesús Manuel Almendros-Jiménez

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Open-Environmental Ontology Modeling.

Luis Iribarne, Nicolás Padilla, José Andrés Asensio, Javier Criado, Rosa Ayala, Jesús Manuel Almendros-Jiménez, Massimo Menenti

IEEE Trans. Syst. Man Cybern. Part A, 2011

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XPath Query Processing in a Functional-Logic Language.

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XQuery in the Functional-Logic Language Toy.

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

Proceedings of the Functional and Constraint Logic Programming, 2011

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming.

Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

A Declarative Embedding of XQuery in a Functional-Logic Language.

Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

A Prolog library for OWL RL.

Jesús Manuel Almendros-Jiménez

Proceedings of the 4th International Workshop on Logic in Databases, 2011

XPath for Querying GML-Based Representation of Urban Maps.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

XQuery optimization based on program slicing.

Jesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Querying and Reasoning with RDF(S)/OWL in XQuery.

Jesús Manuel Almendros-Jiménez

Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011

2010

A Prolog-based Query Language for OWL.

Jesús Manuel Almendros-Jiménez

Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Development of a Query Language for GML based on XPath.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

Ontology-Based Modelling of Ocean Satellite Images.

Jesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Cantón

Proceedings of the Knowledge Management, Information Systems, E-Learning, and Sustainability Research, 2010

An ontology-based modeling of an ocean satellite image retrieval system.

Jesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Cantón

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009

UML Modeling of User and Database Interaction.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Comput. J., 2009

An Encoding of XQuery in Prolog.

Jesús Manuel Almendros-Jiménez

Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009

An Eclipse GMF Tool for Modelling User Interaction.

Jesús Manuel Almendros-Jiménez, Luis Iribarne, José Andrés Asensio, Nicolás Padilla, Cristina Vicente-Chicote

Proceedings of the Visioning and Engineering the Knowledge Society. A Web Science Perspective, 2009

Extending XQuery for Semantic Web Reasoning.

Jesús Manuel Almendros-Jiménez

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

2008

An extension of UML for the modeling of WIMP user interfaces.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

J. Vis. Lang. Comput., 2008

Querying XML documents in logic programming.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños

Theory Pract. Log. Program., 2008

Preface.

Jesús Manuel Almendros-Jiménez

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

2007

A performance comparison of distance-based query algorithms using R-trees in spatial databases.

Antonio Corral, Jesús Manuel Almendros-Jiménez

Inf. Sci., 2007

An RDF Query Language based on Logic Programming.

Jesús Manuel Almendros-Jiménez

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Describing Use-Case Relationships with Sequence Diagrams.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Comput. J., 2007

Integrating XQuery and Logic Programming.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

2006

Database Query Languages and Functional Logic Programming.

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

New Gener. Comput., 2006

Magic Sets for the XPath Language.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños

J. Univers. Comput. Sci., 2006

Automatic Partial Inversion of Inductively Sequential Functions.

Jesús Manuel Almendros-Jiménez, Germán Vidal

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Constraint logic programming over sets of spatial objects.

Jesús Manuel Almendros-Jiménez

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Solving Constraints on Sets of Spatial Objects.

Jesús Manuel Almendros-Jiménez, Antonio Corral

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Designing GUI Components for UML Use Cases.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

Describing Use Cases with Activity Charts.

Jesús Manuel Almendros-Jiménez, Luis Iribarne

Proceedings of the Metainformatics, International Symposium, 2004

2003

A safe relational calculus for functional logic deductive databases.

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

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

A Relational Algebra for Functional Logic Deductive Databases.

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

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Erratum to "Bases for the development of LAST: a formal method for business software requirements specification" [Information and Software Technology, 44 (2002) 65-75].

Jesús Manuel Almendros-Jiménez, Luis González-Jiménez

Inf. Softw. Technol., 2002

Bases for the development of LAST: a formal method for business software requirements specification.

Jesús Manuel Almendros-Jiménez, Luis González-Jiménez

Inf. Softw. Technol., 2002

2001

A Computational Model for Functional Logic Deductive Databases.

Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández

Proceedings of the Logic Programming, 17th International Conference, 2001

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs.

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

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.

Jesús Manuel Almendros-Jiménez, Luis González-Jiménez

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

Improving Computations in a Typed Functional Logic Language.

Jesús Manuel Almendros-Jiménez

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Lazy Narrowing with Parametric Order Sorted Types.

Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.

Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Type Inference and Checking for POS-typed Funtional Logic Programs.

Jesús Manuel Almendros-Jiménez

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996