Jesús Manuel Almendros-Jiménez

Orcid: 0000-0002-7925-2678

According to our database1, Jesús Manuel Almendros-Jiménez authored at least 90 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Tuning fuzzy SPARQL queries.
Int. J. Approx. Reason., 2024

2023
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap.
IEEE Trans. Software Eng., February, 2023

2021
Metamorphic testing of OpenStreetMap.
Inf. Softw. Technol., 2021

Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning.
Expert Syst. Appl., 2021

Declarative Debugging of XML Queries.
Proceedings of the Practical Aspects of Declarative Languages, 2021

A Web Tool for XQuery Debugging.
Proceedings of the Web Engineering - 21st International Conference, 2021

Flexible Aggregation in FSA-SPARQL.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

Debugging of Wrong and Missing Answers in SPARQL✱.
Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021

2019
Integrating and Querying OpenStreetMap and Linked Geo Open Data.
Comput. J., 2019

Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment.
Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018
Analyzing the Tagging Quality of the Spanish OpenStreetMap.
ISPRS Int. J. Geo Inf., 2018

Fuzzy queries of social networks with FSA-SPARQL.
Expert Syst. Appl., 2018

2017
Automatic property-based testing and path validation of XQuery programs.
Softw. Test. Verification Reliab., 2017

Syntactic and semantic validation of SPARQL queries.
Proceedings of the Symposium on Applied Computing, 2017

A Web Tool for Type Checking and Testing of SPARQL Queries.
Proceedings of the Web Engineering - 17th International Conference, 2017

A fuzzy extension of SPARQL based on fuzzy sets and aggregators.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries.
Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017), 2017

Property-based testing of SPARQL queries.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016
PTL: A model transformation language based on logic programming.
J. Log. Algebraic Methods Program., 2016

Automatic Generation of Ecore Models for Testing ATL Transformations.
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.
Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

Debugging while interpreting fuzzy XPath queries.
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.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015

Fuzzy XPath through Fuzzy Logic Programming.
New Gener. Comput., 2015

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

Aggregation Operators in Geospatial Queries for Open Street Map.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

Towards Flexible Similarity Analysis of XML Data.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

Automatic validation of XQuery programs.
Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services, 2015

XQuery-Based Query Processing in Open Street Map.
Proceedings of the Geographical Information Systems Theory, Applications and Management, 2015

Querying Open Street Map with XQuery.
Proceedings of the GISTAM 2015, 2015

Thresholded debugging of XPath queries.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Distance Based Queries in Open Street Map.
Proceedings of the 26th International Workshop on Database and Expert Systems Applications, 2015

XQuery Testing from XML Schema Based Random Test Cases.
Proceedings of the Database and Expert Systems Applications, 2015

2014
XQOWL: An Extension of XQuery for OWL Querying and Reasoning.
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

Fuzzy XPath Queries in XQuery.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Embedding OWL Querying and Reasoning into XQuery.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

An XQuery-Based Model Transformation Language.
Proceedings of the Model and Data Engineering - 4th International Conference, 2014

2013
A Framework for Ocean Satellite Image Classification Based on Ontologies.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2013

A Model Transformation Language Based on Logic Programming.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries.
Proceedings of the Advances in Computational Intelligence, 2013

2012
Model Validation in Ontology Based Transformations
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.
Proceedings of the Rules on the Web: Research and Applications, 2012

A XPath Debugger Based on Fuzzy Chance Degrees.
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.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Transformation and Validation with SWRL and OWL of ODM-Based Models.
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

Validation of XML Documents with SWRL.
Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011
Open-Environmental Ontology Modeling.
IEEE Trans. Syst. Man Cybern. Part A, 2011

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language.
Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XPath Query Processing in a Functional-Logic Language.
Proceedings of the XI Spanish Conference on Programming and Languages, 2011

XQuery in the Functional-Logic Language Toy.
Proceedings of the Functional and Constraint Logic Programming, 2011

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

A Declarative Embedding of XQuery in a Functional-Logic Language.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

A Prolog library for OWL RL.
Proceedings of the 4th International Workshop on Logic in Databases, 2011

XPath for Querying GML-Based Representation of Urban Maps.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

XQuery optimization based on program slicing.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Querying and Reasoning with RDF(S)/OWL in XQuery.
Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011

2010
A Prolog-based Query Language for OWL.
Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010

Development of a Query Language for GML based on XPath.
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

Ontology-Based Modelling of Ocean Satellite Images.
Proceedings of the Knowledge Management, Information Systems, E-Learning, and Sustainability Research, 2010

An ontology-based modeling of an ocean satellite image retrieval system.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009
UML Modeling of User and Database Interaction.
Comput. J., 2009

An Encoding of XQuery in Prolog.
Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009

An Eclipse GMF Tool for Modelling User Interaction.
Proceedings of the Visioning and Engineering the Knowledge Society. A Web Science Perspective, 2009

Extending XQuery for Semantic Web Reasoning.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

2008
An extension of UML for the modeling of WIMP user interfaces.
J. Vis. Lang. Comput., 2008

Querying XML documents in logic programming.
Theory Pract. Log. Program., 2008

Preface.
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.
Inf. Sci., 2007

An RDF Query Language based on Logic Programming.
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

Describing Use-Case Relationships with Sequence Diagrams.
Comput. J., 2007

Integrating XQuery and Logic Programming.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

2006
Database Query Languages and Functional Logic Programming.
New Gener. Comput., 2006

Magic Sets for the XPath Language.
J. Univers. Comput. Sci., 2006

Automatic Partial Inversion of Inductively Sequential Functions.
Proceedings of the Implementation and Application of Functional Languages, 2006

2005
Constraint logic programming over sets of spatial objects.
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Solving Constraints on Sets of Spatial Objects.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Designing GUI Components for UML Use Cases.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
Describing Use Cases with Activity Charts.
Proceedings of the Metainformatics, International Symposium, 2004

2003
A safe relational calculus for functional logic deductive databases.
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

A Relational Algebra for Functional Logic Deductive Databases.
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].
Inf. Softw. Technol., 2002

Bases for the development of LAST: a formal method for business software requirements specification.
Inf. Softw. Technol., 2002

2001
A Computational Model for Functional Logic Deductive Databases.
Proceedings of the Logic Programming, 17th International Conference, 2001

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs.
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.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998
Improving Computations in a Typed Functional Logic Language.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Lazy Narrowing with Parametric Order Sorted Types.
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

Type Inference and Checking for POS-typed Funtional Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996


  Loading...