Antonio Becerra-Terón

José A. Riaza

Int. J. Approx. Reason., 2024

2023

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

[BibT_eX]

[DOI]

Mercedes G. Merayo

Manuel Núñez

IEEE Trans. Software Eng., February, 2023

2021

Metamorphic testing of OpenStreetMap.

[BibT_eX]

[DOI]

Mercedes G. Merayo

Manuel Núñez

Inf. Softw. Technol., 2021

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

[BibT_eX]

[DOI]

Expert Syst. Appl., 2021

Declarative Debugging of XML Queries.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2021

A Web Tool for XQuery Debugging.

[BibT_eX]

[DOI]

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

Flexible Aggregation in FSA-SPARQL.

[BibT_eX]

[DOI]

José A. Riaza

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

Debugging of Wrong and Missing Answers in SPARQL✱.

[BibT_eX]

[DOI]

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

2019

Integrating and Querying OpenStreetMap and Linked Geo Open Data.

[BibT_eX]

[DOI]

Manuel Torres

Comput. J., 2019

Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment.

[BibT_eX]

[DOI]

José A. Riaza

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

2018

Analyzing the Tagging Quality of the Spanish OpenStreetMap.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2018

Fuzzy queries of social networks with FSA-SPARQL.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

2017

High performance computing for the heliostat field layout evaluation.

[BibT_eX]

[DOI]

Pilar Martínez Ortigosa

J. Supercomput., 2017

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

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2017

Syntactic and semantic validation of SPARQL queries.

[BibT_eX]

[DOI]

Alfredo Cuzzocrea

Proceedings of the Symposium on Applied Computing, 2017

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Detecting and Diagnosing Syntactic and Semantic Errors in SPARQL Queries.

[BibT_eX]

[DOI]

Alfredo Cuzzocrea

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

Property-based testing of SPARQL queries.

[BibT_eX]

[DOI]

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

2016

Automatic Generation of Ecore Models for Testing ATL Transformations.

[BibT_eX]

[DOI]

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

2015

Aggregation Operators in Geospatial Queries for Open Street Map.

[BibT_eX]

[DOI]

Manuel Torres

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

Automatic validation of XQuery programs.

[BibT_eX]

[DOI]

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

XQuery-Based Query Processing in Open Street Map.

[BibT_eX]

[DOI]

Proceedings of the Geographical Information Systems Theory, Applications and Management, 2015

Querying Open Street Map with XQuery.

[BibT_eX]

[DOI]

Proceedings of the GISTAM 2015, 2015

Distance Based Queries in Open Street Map.

[BibT_eX]

[DOI]

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

XQuery Testing from XML Schema Based Random Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2015

2011

XPath for Querying GML-Based Representation of Urban Maps.

[BibT_eX]

[DOI]

Francisco García-García

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

2010

Development of a Query Language for GML based on XPath.

[BibT_eX]

[DOI]

Francisco García-García

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

2008

Querying XML documents in logic programming.

[BibT_eX]

[DOI]

Francisco J. Enciso-Baños

Theory Pract. Log. Program., 2008

2007

Integrating XQuery and Logic Programming.

[BibT_eX]

[DOI]

Francisco J. Enciso-Baños

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

2006

Database Query Languages and Functional Logic Programming.

[BibT_eX]

[DOI]

New Gener. Comput., 2006

Magic Sets for the XPath Language.

[BibT_eX]

[DOI]

Francisco J. Enciso-Baños

J. Univers. Comput. Sci., 2006

2003

A safe relational calculus for functional logic deductive databases.

[BibT_eX]

[DOI]

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

A Relational Algebra for Functional Logic Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

2001

A Computational Model for Functional Logic Deductive Databases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]