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

2024

  1. Building uncertainty-aware mathematical models based on evidence from datasets using grammatical evolution optimization techniques: the case of the obesity dynamics

    Computational and Applied Mathematics, Vol. 43, Núm. 8

  2. Programming Open Distributed Systems in Maude

    ACM International Conference Proceeding Series

2023

  1. A particle swarm optimization algorithm with novelty search for combustion systems with ultra-low emissions and minimum fuel consumption

    Applied Soft Computing, Vol. 143

  2. Modelling the Transmission Dynamics of Obesity: A Multi-Objective Approach Using Dynamic Structured Grammatical Evolution

    GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion

2022

  1. Approaching Epistemic and Aleatoric uncertainty with Evolutionary Optimization: Examples and Challenges

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

  2. 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)

  3. Evolutionary Approach to Model Calibration with Uncertainty: An Application to Breast Cancer Growth Model

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

  4. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

  5. Novel methodological and computational techniques for uncertainty quantification in diabetes short-term management models using real data

    International Journal of Computer Mathematics

2021

  1. Probabilistic Fitting of Glucose Models with Real-Coded Genetic Algorithms

    2021 IEEE Congress on Evolutionary Computation, CEC 2021 - Proceedings

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. A computational technique to predict the level of glucose of a diabetic patient with uncertainty in the short term

    Computational and Mathematical Methods, Vol. 2, Núm. 2

  3. Particle swarm grammatical evolution for energy demand estimation

    Energy Science and Engineering, Vol. 8, Núm. 4, pp. 1068-1079

  4. Preface

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

  5. Programming and symbolic computation in Maude

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

2019

  1. Calibration of an agent-based simulation model to the data of women infected by Human Papillomavirus with uncertainty

    Applied Soft Computing Journal, Vol. 80, pp. 546-556

2018

  1. Ajuste de un modelo de crecimiento de tumores de vejiga mediante PSO y predicción con incertidumbre

    XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018): avances en Inteligencia Artificial. 23-26 de octubre de 2018 Granada, España

  2. 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)

  3. Calibrating a large network model describing the transmission dynamics of the human papillomavirus using a particle swarm optimization algorithm in a distributed computing environment

    International Journal of High Performance Computing Applications, Vol. 32, Núm. 5, pp. 721-728

  4. Preface

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