Sistemas Informáticos y Computación

2020

1. A Cognitive-based Tool to Teach how to Teach

   IEEE Transactions on Systems, Man, and Cybernetics: Systems

2. A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario

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

3. A Trading Framework Based on Fuzzy Moore Machines

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

4. A calculus of chaos in stochastic compilation: Engineering in the cause of mathematics

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

5. Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report

   Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

6. An Interactive Tutoring System for Learning Language Processing and Compiler Design

   Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

7. An evolutionary algorithm for selection of test cases

   2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings

8. An evolutionary technique for supporting the consensus process of group decision making

   2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC)

9. An evolutionary technique for supporting the consensus process of group decision making

   IEEE Transactions on Systems, Man, and Cybernetics: Systems

10. Automated variability injection for graphical modelling languages

    GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020

11. CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

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

12. Comparison of container-based platforms for quantum computing simulation

    Simulation Series

13. Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

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

14. El uso de herramientas visuales interactivas para la enseñanza de lenguas

    Edunovatic 2020. Conference Proceedings: 5th Virtual International Conference on Education, Innovation and ICT, December 10 - 11, 2020

15. Enabling the Latent Semantic Analysis of Large-Scale Information Retrieval Datasets by Means of Out-of-Core Heterogeneous Systems

    Communications in Computer and Information Science

16. Estimating fault masking using squeeziness based on Rényi's entropy

    Proceedings of the ACM Symposium on Applied Computing

17. 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

18. Exploitation of open data repositories for the creation of value-added services

    Advances in Intelligent Systems and Computing

19. Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing

    2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings

20. From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science

    ACM International Conference Proceeding Series