Publications in collaboration with researchers from Universidad Politécnica de Valencia (43)

2024

  1. Artificial Intelligence Applied to Human Resources Management: A Bibliometric Analysis

    Lecture Notes in Networks and Systems

  2. Enhancing Business Decision Making through a New Corporate Reputation Measurement Model: Practical Application in a Supplier Selection Process

    Sustainability (Switzerland), Vol. 16, Núm. 2

  3. Programming Open Distributed Systems in Maude

    ACM International Conference Proceeding Series

2023

  1. Analyzing Employee Attrition Using Explainable AI for Strategic HR Decision-Making

    Mathematics, Vol. 11, Núm. 22

  2. Group Decision-Making Model Based on 2-Tuple Fuzzy Linguistic Model and AHP Applied to Measuring Digital Maturity Level of Organizations

    Systems, Vol. 11, Núm. 7

  3. Smart Cities and Citizen Adoption: Exploring Tourist Digital Maturity for Personalizing Recommendations

    Electronics (Switzerland), Vol. 12, Núm. 16

2022

  1. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

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

  2. Parallel Maude-NPA for Cryptographic Protocol Analysis

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

2021

  1. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

2020

  1. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming, Vol. 20, Núm. 3, pp. 310-357

  2. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

    IFIP Advances in Information and Communication Technology

  3. Preface

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

  4. Programming and symbolic computation in Maude

    Journal of Logical and Algebraic Methods in Programming, Vol. 110

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

2018

  1. Associative unification and symbolic reasoning modulo associativity in maude

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

  2. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

2017

  1. A survey of algorithmic debugging

    ACM Computing Surveys, Vol. 50, Núm. 4

2016

  1. Built-in variant generation and unification, and their applications in Maude 2.7

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

2015

  1. Two decades of Maude

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

2014

  1. A transformational approach to resource analysis with typed-norms

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