Publications en collaboration avec des chercheurs de Universidad de Almería (15)

2024

  1. Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap

    IEEE Transactions on Reliability

2023

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

    IEEE Transactions on Software Engineering, Vol. 49, Núm. 2, pp. 549-563

2021

  1. Analysis of Teachers’ Pedagogical Digital Competence: Identification of Factors Predicting Their Acquisition

    Technology, Knowledge and Learning, Vol. 26, Núm. 3, pp. 481-498

  2. Metamorphic testing of OpenStreetMap

    Information and Software Technology, Vol. 138

2020

  1. Attitudes toward technology among distance education students: Validation of an explanatory model

    Online Learning Journal, Vol. 24, Núm. 2, pp. 59-75

2016

  1. Higher-order statistics for power systems: Effects of the sampling frequency on ergodicity

    Applied Mathematical Modelling, Vol. 40, Núm. 15-16, pp. 6924-6933

2013

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. A declarative embedding of XQuery in a functional-logic language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. XPath query processing in a functional-logic language

    Electronic Notes in Theoretical Computer Science

2011

  1. XQuery in the functional-logic language toy

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

2002

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

    Information and Software Technology, Vol. 44, Núm. 2, pp. 65-75

  2. Erratum: Bases for the development of LAST - A formal method for business software requirements specification (Information and Software Technology (2002) 44 (65-75) PII: S0950584901002099)

    Information and Software Technology, Vol. 44, Núm. 6, pp. 393

2001

  1. A computational model for functional logic deductive databases

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

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

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC, pp. 54-61