Publications en collaboration avec des chercheurs 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