Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (67)

2023

  1. Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

    Expert Systems with Applications, Vol. 213

  2. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

  3. Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures

    Journal of Cloud Computing, Vol. 12, Núm. 1

2022

  1. A Fuzzy Declarative Approach to Classify Unlabeled Short Texts Based on Automatically Constructed WordNet Ontologies

    Studies in Computational Intelligence

  2. ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers

    2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022

2021

  1. Evaluating genetic algorithms through the approximability hierarchy

    Journal of Computational Science, Vol. 53

  2. Planning for an efficient implementation of hypothetical Bousi∼Prolog

    Theory and Practice of Logic Programming, Vol. 21, Núm. 5, pp. 680-697

  3. Proximity-Based Unification: An Efficient Implementation Method

    IEEE Transactions on Fuzzy Systems, Vol. 29, Núm. 5, pp. 1238-1251

2020

  1. A System implementing Fuzzy Hypothetical Datalog∗

    IEEE International Conference on Fuzzy Systems

  2. Runtime Verification of Contracts with Themulus

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

  3. Themulus: A Timed Contract-calculus

    International Conference on Model-Driven Engineering and Software Development

  4. Themulus: A timed contract-calculus

    MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

  5. WordNet and prolog: Why not?

    Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019

2019

  1. A Framework for Modeling Cloud Infrastructures and User Interactions

    IEEE Access, Vol. 7, pp. 43269-43285

  2. Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review

    Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763

2018

  1. A Fuzzy Datalog Deductive Database System

    IEEE Transactions on Fuzzy Systems, Vol. 26, Núm. 5, pp. 2634-2648

  2. An Efficient Proximity-based Unification Algorithm

    2018 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE)

  3. An efficient proximity-based unification algorithm?

    IEEE International Conference on Fuzzy Systems

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. Data-aware automatic derivation of choreography-conforming systems of services

    Computer Standards and Interfaces, Vol. 53, pp. 59-79