default search action
Jesús Manuel Almendros-Jiménez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j23]Jesús Manuel Almendros-Jiménez
, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza:
Tuning fuzzy SPARQL queries. Int. J. Approx. Reason. 170: 109209 (2024) - [j22]Manuel Méndez, Antonio Becerra-Terón
Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. IEEE Trans. Reliab. 73(4): 1834-1848 (2024) - 2023
- [j21]Jesús Manuel Almendros-Jiménez
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49(2): 549-563 (2023) - 2021
- [j20]Jesús Manuel Almendros-Jiménez
Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning. Expert Syst. Appl. 165: 113772 (2021) - [j19]Jesús Manuel Almendros-Jiménez
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138: 106631 (2021) - [c68]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
Debugging of Wrong and Missing Answers in SPARQL✱. DBPL 2021: 7-16 - [c67]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Ginés Moreno, José A. Riaza:
Flexible Aggregation in FSA-SPARQL. FUZZ-IEEE 2021: 1-7 - [c66]Jesús Manuel Almendros-Jiménez
A Web Tool for XQuery Debugging. ICWE 2021: 509-512 - [c65]Jesús Manuel Almendros-Jiménez
Declarative Debugging of XML Queries. PADL 2021: 161-177
2010 – 2019
- 2019
- [j18]Jesús Manuel Almendros-Jiménez
Integrating and Querying OpenStreetMap and Linked Geo Open Data. Comput. J. 62(3): 321-345 (2019) - [c64]Jesús Manuel Almendros-Jiménez
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment. FUZZ-IEEE 2019: 1-7 - 2018
- [j17]Jesús Manuel Almendros-Jiménez
Fuzzy queries of social networks with FSA-SPARQL. Expert Syst. Appl. 113: 128-146 (2018) - [j16]Jesús Manuel Almendros-Jiménez
Analyzing the Tagging Quality of the Spanish OpenStreetMap. ISPRS Int. J. Geo Inf. 7(8): 323 (2018) - 2017
- [j15]Jesús Manuel Almendros-Jiménez
Automatic property-based testing and path validation of XQuery programs. Softw. Test. Verification Reliab. 27(1-2) (2017) - [c63]Jesús Manuel Almendros-Jiménez
Property-based testing of SPARQL queries. DBPL 2017: 8:1-8:11 - [c62]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea:
Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries. EDBT/ICDT Workshops 2017 - [c61]Jesús Manuel Almendros-Jiménez
A fuzzy extension of SPARQL based on fuzzy sets and aggregators. FUZZ-IEEE 2017: 1-6 - [c60]Jesús Manuel Almendros-Jiménez
A Web Tool for Type Checking and Testing of SPARQL Queries. ICWE 2017: 535-538 - [c59]Jesús Manuel Almendros-Jiménez
Syntactic and semantic validation of SPARQL queries. SAC 2017: 349-352 - 2016
- [j14]Jesús Manuel Almendros-Jiménez
PTL: A model transformation language based on logic programming. J. Log. Algebraic Methods Program. 85(2): 332-366 (2016) - [c58]Jesús Manuel Almendros-Jiménez
Debugging while interpreting fuzzy XPath queries. FUZZ-IEEE 2016: 233-240 - [c57]Jesús Manuel Almendros-Jiménez
SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection. HAIS 2016: 14-26 - [c56]Jesús Manuel Almendros-Jiménez
Automatic Generation of Ecore Models for Testing ATL Transformations. MEDI 2016: 16-30 - [e2]Ladjel Bellatreche, Oscar Pastor, Jesús Manuel Almendros-Jiménez
Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science 9893, Springer 2016, ISBN 978-3-319-45546-4 [contents] - 2015
- [j13]Jesús Manuel Almendros-Jiménez
Fuzzy XPath through Fuzzy Logic Programming. New Gener. Comput. 33(2): 173-209 (2015) - [j12]Eva Vidal-Fernandez, Jose A. Piedra-Fernández
OBIA System for Identifying Mesoscale Oceanic Structures in SeaWiFS and MODIS-Aqua Images. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8(3): 1256-1265 (2015) - [c55]Jesús Manuel Almendros-Jiménez
XQuery Testing from XML Schema Based Random Test Cases. DEXA (2) 2015: 268-282 - [c54]Jesús Manuel Almendros-Jiménez
Distance Based Queries in Open Street Map. DEXA Workshops 2015: 235-239 - [c53]Jesús Manuel Almendros-Jiménez
Thresholded debugging of XPath queries. FUZZ-IEEE 2015: 1-9 - [c52]Jesús Manuel Almendros-Jiménez
XQuery-Based Query Processing in Open Street Map. GISTAM (Selected Papers) 2015: 50-68 - [c51]Jesús Manuel Almendros-Jiménez
Querying Open Street Map with XQuery. GISTAM 2015: 61-71 - [c50]Jesús Manuel Almendros-Jiménez
Automatic validation of XQuery programs. iiWAS 2015: 80:1-80:5 - [c49]Jesús Manuel Almendros-Jiménez
Aggregation Operators in Geospatial Queries for Open Street Map. OTM Conferences 2015: 501-518 - [c48]Jesús Manuel Almendros-Jiménez
Towards Flexible Similarity Analysis of XML Data. OTM Workshops 2015: 573-576 - [c47]Jesús Manuel Almendros-Jiménez
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models. SUM 2015: 385-398 - 2014
- [c46]Jesús Manuel Almendros-Jiménez
An XQuery-Based Model Transformation Language. MEDI 2014: 330-338 - [c45]Jesús Manuel Almendros-Jiménez
Fuzzy XPath Queries in XQuery. OTM Conferences 2014: 457-472 - [c44]Jesús Manuel Almendros-Jiménez
Embedding OWL Querying and Reasoning into XQuery. OTM Conferences 2014: 509-516 - [c43]Jesús Manuel Almendros-Jiménez
Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries. RSCTC 2014: 319-330 - [c42]Jesús Manuel Almendros-Jiménez
XQOWL: An Extension of XQuery for OWL Querying and Reasoning. PROLE 2014: 41-55 - 2013
- [j11]Jesús Manuel Almendros-Jiménez
A Framework for Ocean Satellite Image Classification Based on Ontologies. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 6(2-3): 1048-1063 (2013) - [c41]Jesús Manuel Almendros-Jiménez
Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries. IWANN (2) 2013: 300-311 - [c40]Jesús Manuel Almendros-Jiménez
A Model Transformation Language Based on Logic Programming. SOFSEM 2013: 382-394 - 2012
- [c39]Jesús Manuel Almendros-Jiménez
Validation of XML Documents with SWRL. CD-ARES 2012: 44-57 - [c38]Jesús Manuel Almendros-Jiménez
Transformation and Validation with SWRL and OWL of ODM-Based Models. MEDI 2012: 103-115 - [c37]Jesús Manuel Almendros-Jiménez
A XPath Debugger Based on Fuzzy Chance Degrees. OTM Workshops 2012: 669-672 - [c36]Jesús Manuel Almendros-Jiménez
Using OWL and SWRL for the Semantic Analysis of XML Resources. OTM Conferences (2) 2012: 915-931 - [c35]Jesús Manuel Almendros-Jiménez
OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations. RuleML 2012: 248-255 - [c34]Jesús Manuel Almendros-Jiménez
Model Validation in Ontology Based Transformations. WWV 2012: 17-30 - 2011
- [j10]Luis Iribarne
Open-Environmental Ontology Modeling. IEEE Trans. Syst. Man Cybern. Part A 41(4): 730-745 (2011) - [c33]Jesús Manuel Almendros-Jiménez
Querying and Reasoning with RDF(S)/OWL in XQuery. APWeb 2011: 450-459 - [c32]Jesús Manuel Almendros-Jiménez
XQuery optimization based on program slicing. CIKM 2011: 1525-1534 - [c31]Jesús Manuel Almendros-Jiménez
XPath for Querying GML-Based Representation of Urban Maps. ICCSA (1) 2011: 177-191 - [c30]Jesús Manuel Almendros-Jiménez
A Prolog library for OWL RL. LID 2011: 49-56 - [c29]Jesús Manuel Almendros-Jiménez
A Declarative Embedding of XQuery in a Functional-Logic Language. LOPSTR 2011: 42-56 - [c28]Jesús Manuel Almendros-Jiménez
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming. RuleML Europe 2011: 186-193 - [c27]Jesús Manuel Almendros-Jiménez
XQuery in the Functional-Logic Language Toy. WFLP 2011: 35-51 - [c26]Jesús Manuel Almendros-Jiménez
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. PROLE 2011: 3-18 - [c25]Jesús Manuel Almendros-Jiménez
XPath Query Processing in a Functional-Logic Language. PROLE 2011: 19-34 - 2010
- [c24]Jesús Manuel Almendros-Jiménez
An ontology-based modeling of an ocean satellite image retrieval system. IGARSS 2010: 2237-2240 - [c23]Jesús Manuel Almendros-Jiménez
Ontology-Based Modelling of Ocean Satellite Images. WSKS (1) 2010: 8-12 - [c22]Jesús Manuel Almendros-Jiménez
Development of a Query Language for GML based on XPath. WWV 2010: 51-64 - [c21]Jesús Manuel Almendros-Jiménez
A Prolog-based Query Language for OWL. PROLE 2010: 3-22
2000 – 2009
- 2009
- [j9]Jesús Manuel Almendros-Jiménez
UML Modeling of User and Database Interaction. Comput. J. 52(3): 348-367 (2009) - [c20]Jesús Manuel Almendros-Jiménez
Extending XQuery for Semantic Web Reasoning. INAP 2009: 117-134 - [c19]Jesús Manuel Almendros-Jiménez
An Eclipse GMF Tool for Modelling User Interaction. WSKS (1) 2009: 405-416 - [c18]Jesús Manuel Almendros-Jiménez
An Encoding of XQuery in Prolog. XSym 2009: 145-155 - [e1]Jesús Manuel Almendros-Jiménez:
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008. Electronic Notes in Theoretical Computer Science 248, Elsevier 2009 [contents] - 2008
- [j8]Jesús Manuel Almendros-Jiménez
Querying XML documents in logic programming. Theory Pract. Log. Program. 8(3): 323-361 (2008) - [j7]Jesús Manuel Almendros-Jiménez
An extension of UML for the modeling of WIMP user interfaces. J. Vis. Lang. Comput. 19(6): 695-720 (2008) - [c17]Jesús Manuel Almendros-Jiménez
Preface. PROLE 2008: 1-2 - 2007
- [j6]Jesús Manuel Almendros-Jiménez
Describing Use-Case Relationships with Sequence Diagrams. Comput. J. 50(1): 116-128 (2007) - [j5]Antonio Corral
A performance comparison of distance-based query algorithms using R-trees in spatial databases. Inf. Sci. 177(11): 2207-2237 (2007) - [c16]Jesús Manuel Almendros-Jiménez
Integrating XQuery and Logic Programming. INAP/WLP 2007: 117-135 - [c15]Jesús Manuel Almendros-Jiménez
An RDF Query Language based on Logic Programming. WWV 2007: 67-85 - [i1]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
Querying XML Documents in Logic Programming. CoRR abs/0710.4780 (2007) - 2006
- [j4]Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
Magic Sets for the XPath Language. J. Univers. Comput. Sci. 12(11): 1651-1678 (2006) - [j3]Jesús Manuel Almendros-Jiménez
Database Query Languages and Functional Logic Programming. New Gener. Comput. 24(2): 129-184 (2006) - [c14]Jesús Manuel Almendros-Jiménez
Automatic Partial Inversion of Inductively Sequential Functions. IFL 2006: 253-270 - 2005
- [c13]Jesús Manuel Almendros-Jiménez, Luis Iribarne
Designing GUI Components for UML Use Cases. ECBS 2005: 210-217 - [c12]Jesús Manuel Almendros-Jiménez
Solving Constraints on Sets of Spatial Objects. PADL 2005: 158-173 - [c11]Jesús Manuel Almendros-Jiménez
Constraint logic programming over sets of spatial objects. WCFLP 2005: 32-42 - 2004
- [c10]Jesús Manuel Almendros-Jiménez
Describing Use Cases with Activity Charts. Metainformatics 2004: 141-159 - 2003
- [c9]Jesús Manuel Almendros-Jiménez
A Relational Algebra for Functional Logic Deductive Databases. Ershov Memorial Conference 2003: 494-508 - [c8]Jesús Manuel Almendros-Jiménez
A safe relational calculus for functional logic deductive databases. WFLP 2003: 168-204 - 2002
- [j2]Jesús Manuel Almendros-Jiménez
Bases for the development of LAST: a formal method for business software requirements specification. Inf. Softw. Technol. 44(2): 65-75 (2002) - [j1]Jesús Manuel Almendros-Jiménez
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. 44(6): 393 (2002) - 2001
- [c7]Jesús Manuel Almendros-Jiménez
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. FLOPS 2001: 153-169 - [c6]Jesús Manuel Almendros-Jiménez
A Computational Model for Functional Logic Deductive Databases. ICLP 2001: 331-347 - 2000
- [c5]Jesús Manuel Almendros-Jiménez
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. APSEC 2000: 54-61
1990 – 1999
- 1998
- [c4]Jesús Manuel Almendros-Jiménez
Improving Computations in a Typed Functional Logic Language. AMAST 1998: 438-454 - 1997
- [c3]Jesús Manuel Almendros-Jiménez
Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA 1997: 159-173 - 1996
- [c2]Jesús Manuel Almendros-Jiménez:
Type Inference and Checking for POS-typed Funtional Logic Programs. APPIA-GULP-PRODE 1996: 439-450 - [c1]Jesús Manuel Almendros-Jiménez
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. ALP 1996: 299-313
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: