Publicaciones (677) Publicaciones en las que ha participado algún/a investigador/a

2024

  1. A Comparative Analysis of Time Series Prediction Techniques a Systematic Literature Review (SLR)

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

  2. A full process algebraic representation of Ant Colony Optimization

    Information Sciences, Vol. 658

2023

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

    Expert Systems with Applications, Vol. 213

  2. Complexity of adaptive testing in scenarios defined extensionally

    Frontiers of Computer Science, Vol. 17, Núm. 3

  3. Compositional Verification in Rewriting Logic

    Theory and Practice of Logic Programming

  4. Del conteo al agrupamiento en la numeración: Un paso necesario para aprender la numeración

    Uno: Revista de didáctica de las matematicas, Núm. 100, pp. 11-20

  5. Fault Diagnosis and Prognosis Modeling Methods in Predictive Maintenance: A Systematic Review

    2023 26th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

  6. How to stop undesired propagations by using bi-level genetic algorithms

    Applied Soft Computing, Vol. 136

  7. InsectDSOT: A Neural Network for Insect Detection in Olive Trees

    International Conference on Agents and Artificial Intelligence

  8. Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

    Multimedia Tools and Applications

  9. Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications

    Journal of Systems and Software

  10. Introduction to the special issue on new trends in autonomous systems engineering

    Journal of Supercomputing

  11. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 6

  12. Prediction in Smart Environments and Administration: Systematic Literature Review

    Lecture Notes in Networks and Systems

  13. Preface

    CEUR Workshop Proceedings

  14. QMaude: Quantitative Specification and Verification in Rewriting Logic

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

  15. Reviewing Recent Literature on IoT-Based System-of-Systems: A Bibliometric Analysis

    CEUR Workshop Proceedings

  16. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 188-205

  17. Strategies in Conditional Narrowing Modulo SMT Plus Axioms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20

  18. Systematic Literature Review of Social Media interactions

    International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2023