Publicaciones en colaboración con investigadores/as de Universidad de Almería (15)

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

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)

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