Type Inference and Checking for POS-typed Funtional Logic Programs. - Jesús Manuel Almendros-Jiménez (APPIA-GULP-PRODE, 1996)

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. - Jesús Manuel Almendros-Jiménez; Antonio Gavilanes-Franco; Ana Gil-Luezas (ALP, 1996)

Lazy Narrowing with Parametric Order Sorted Types. - Jesús Manuel Almendros-Jiménez; Ana Gil-Luezas (ALP/HOA, 1997)

Improving Computations in a Typed Functional Logic Language. - Jesús Manuel Almendros-Jiménez (AMAST, 1998)

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 (APSEC, 2000)

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (FLOPS, 2001)

A Computational Model for Functional Logic Deductive Databases. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Jaime Sánchez-Hernández (ICLP, 2001)

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)

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)

A Relational Algebra for Functional Logic Deductive Databases. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (Ershov Memorial Conference, 2003)

A safe relational calculus for functional logic deductive databases. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (WFLP, 2003)

Describing Use Cases with Activity Charts. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (Metainformatics, 2004)

Designing GUI Components for UML Use Cases. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (ECBS, 2005)

Solving Constraints on Sets of Spatial Objects. - Jesús Manuel Almendros-Jiménez; Antonio Corral (PADL, 2005)

Constraint logic programming over sets of spatial objects. - Jesús Manuel Almendros-Jiménez (WCFLP, 2005)

Automatic Partial Inversion of Inductively Sequential Functions. - Jesús Manuel Almendros-Jiménez; Germán Vidal (IFL, 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)

Database Query Languages and Functional Logic Programming. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (New Gener. Comput., 2006)

Integrating XQuery and Logic Programming. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Francisco J. Enciso-Baños (INAP/WLP, 2007)

Describing Use-Case Relationships with Sequence Diagrams. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (Comput. J., 2007)

An RDF Query Language based on Logic Programming. - Jesús Manuel Almendros-Jiménez (WWV, 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)

Preface. - Jesús Manuel Almendros-Jiménez (PROLE, 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)

An extension of UML for the modeling of WIMP user interfaces. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (J. Vis. Lang. Comput., 2008)

Extending XQuery for Semantic Web Reasoning. - Jesús Manuel Almendros-Jiménez (INAP, 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 (WSKS (1), 2009)

An Encoding of XQuery in Prolog. - Jesús Manuel Almendros-Jiménez (XSym, 2009)

UML Modeling of User and Database Interaction. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (Comput. J., 2009)

An ontology-based modeling of an ocean satellite image retrieval system. - Jesús Manuel Almendros-Jiménez; Jose A. Piedra; Manuel Cantón (IGARSS, 2010)

Ontology-Based Modelling of Ocean Satellite Images. - Jesús Manuel Almendros-Jiménez; Jose A. Piedra; Manuel Cantón (WSKS (1), 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 001 (WWV, 2010)

A Prolog-based Query Language for OWL. - Jesús Manuel Almendros-Jiménez (PROLE, 2010)

Querying and Reasoning with RDF(S)/OWL in XQuery. - Jesús Manuel Almendros-Jiménez (APWeb, 2011)

XQuery optimization based on program slicing. - Jesús Manuel Almendros-Jiménez; Josep Silva; Salvador Tamarit (CIKM, 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 001 (ICCSA (1), 2011)

A Prolog library for OWL RL. - Jesús Manuel Almendros-Jiménez (LID, 2011)

A Declarative Embedding of XQuery in a Functional-Logic Language. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (LOPSTR, 2011)

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (RuleML Europe, 2011)

XQuery in the Functional-Logic Language Toy. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (WFLP, 2011)

XPath Query Processing in a Functional-Logic Language. - Jesús Manuel Almendros-Jiménez; Rafael Caballero 001; Yolanda García-Ruiz; Fernando Sáenz-Pérez (PROLE, 2011)

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (PROLE, 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)

Validation of XML Documents with SWRL. - Jesús Manuel Almendros-Jiménez (CD-ARES, 2012)

Transformation and Validation with SWRL and OWL of ODM-Based Models. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (MEDI, 2012)

Using OWL and SWRL for the Semantic Analysis of XML Resources. - Jesús Manuel Almendros-Jiménez (OTM Conferences (2), 2012)

A XPath Debugger Based on Fuzzy Chance Degrees. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (OTM Workshops, 2012)

OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations. - Jesús Manuel Almendros-Jiménez (RuleML, 2012)

Model Validation in Ontology Based Transformations - Jesús Manuel Almendros-Jiménez; Luis Iribarne (WWV, 2012)

Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries. - Jesús Manuel Almendros-Jiménez; Alejandro Luna Tedesqui; Ginés Moreno (IWANN (2), 2013)

A Model Transformation Language Based on Logic Programming. - Jesús Manuel Almendros-Jiménez; Luis Iribarne (SOFSEM, 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)

An XQuery-Based Model Transformation Language. - Jesús Manuel Almendros-Jiménez; Luis Iribarne; Jesús J. López-Fernández; Ángel Mora Segura (MEDI, 2014)

Embedding OWL Querying and Reasoning into XQuery. - Jesús Manuel Almendros-Jiménez (OTM Conferences, 2014)

Fuzzy XPath Queries in XQuery. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (OTM Conferences, 2014)

Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries. - Jesús Manuel Almendros-Jiménez; Alejandro Luna Tedesqui; Ginés Moreno (RSCTC, 2014)

XQOWL: An Extension of XQuery for OWL Querying and Reasoning. - Jesús Manuel Almendros-Jiménez (PROLE, 2014)

XQuery Testing from XML Schema Based Random Test Cases. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (DEXA (2), 2015)

Distance Based Queries in Open Street Map. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (DEXA Workshops, 2015)

Thresholded debugging of XPath queries. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (FUZZ-IEEE, 2015)

Querying Open Street Map with XQuery. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (GISTAM, 2015)

XQuery-Based Query Processing in Open Street Map. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (GISTAM (Selected Papers), 2015)

Automatic validation of XQuery programs. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (iiWAS, 2015)

Towards Flexible Similarity Analysis of XML Data. - Jesús Manuel Almendros-Jiménez; Alfredo Cuzzocrea (OTM Workshops, 2015)

Aggregation Operators in Geospatial Queries for Open Street Map. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Manuel Torres 001 (OTM Conferences, 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 (SUM, 2015)

Fuzzy XPath through Fuzzy Logic Programming. - Jesús Manuel Almendros-Jiménez; Alejandro Luna Tedesqui; Ginés Moreno (New Gener. Comput., 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)

Debugging while interpreting fuzzy XPath queries. - Jesús Manuel Almendros-Jiménez; Alejandro Luna; Ginés Moreno (FUZZ-IEEE, 2016)

SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection. - Jesús Manuel Almendros-Jiménez; Alfredo Cuzzocrea (HAIS, 2016)

Automatic Generation of Ecore Models for Testing ATL Transformations. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (MEDI, 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)

Property-based testing of SPARQL queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (DBPL, 2017)

Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Alfredo Cuzzocrea (EDBT/ICDT Workshops, 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 (FUZZ-IEEE, 2017)

A Web Tool for Type Checking and Testing of SPARQL Queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (ICWE, 2017)

Syntactic and semantic validation of SPARQL queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Alfredo Cuzzocrea (SAC, 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)

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)

Analyzing the Tagging Quality of the Spanish OpenStreetMap. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (ISPRS Int. J. Geo Inf., 2018)

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 (FUZZ-IEEE, 2019)

Integrating and Querying OpenStreetMap and Linked Geo Open Data. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Manuel Torres 001 (Comput. J., 2019)

Debugging of Wrong and Missing Answers in SPARQL✱. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (DBPL, 2021)

Flexible Aggregation in FSA-SPARQL. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Ginés Moreno; José A. Riaza (FUZZ-IEEE, 2021)

A Web Tool for XQuery Debugging. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (ICWE, 2021)

Declarative Debugging of XML Queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón (PADL, 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)

Metamorphic testing of OpenStreetMap. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Mercedes G. Merayo; Manuel Núñez 001 (Inf. Softw. Technol., 2021)

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 001 (IEEE Trans. Software Eng., 2023)

Tuning fuzzy SPARQL queries. - Jesús Manuel Almendros-Jiménez; Antonio Becerra-Terón; Ginés Moreno; José A. Riaza (Int. J. Approx. Reason., 2024)

Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. - Manuel Méndez; Antonio Becerra-Terón; Jesús Manuel Almendros-Jiménez; Mercedes G. Merayo; Manuel Núñez 001 (IEEE Trans. Reliab., 2024)