Sistemas Informáticos y Computación

2022

1. A Max-SMT Superoptimizer for EVM handling Memory and Storage

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

2. A Tool for Evaluating the Quality of Online Teaching

   Lecture Notes in Networks and Systems

3. A tool to certify dynamic benchmarks

   Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

4. Adaptative Systems Based on Continuous Observation of Petri Net Product Lines

   CEUR Workshop Proceedings

5. An Analysis of Learning Platforms based on their Academic Assessment Instruments

   2022 17th Latin American Conference on Learning Technologies, LACLO 2022

6. An Approach to Modeling a Real-Time Updated Environment Based on Messages from Agents

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

7. An Overview of the Maude Strategy Language and its Applications

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

8. Analysing Product Lines of Concurrent Systems with Coloured Petri Nets

   Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

9. Analyzing the reliability of simulated distributed systems using Metamorphic Testing

   Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022

10. Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities

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

11. Development of a tourist added value service for the city of Madrid

    Proceedings of the International Conference on Information Visualisation

12. Distilling Constraints in Zero-Knowledge Protocols

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

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

14. Evolving Classification Rules for Predicting Hypoglycemia Events

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

15. How to Automatically Prove a Time Series Convergence to the Gumbel Distribution?

    Lecture Notes in Networks and Systems

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

17. ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation

    SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2

18. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

19. Integration of SMGA and Maude to Facilitate Characteristic Conjecture

    DMSVIVA 2022 - Proceedings of the 28th International DMS Conference on Visualization and Visual Languages

20. LITHME: Language in the Human-Machine Era

    EAMT 2022 - Proceedings of the 23rd Annual Conference of the European Association for Machine Translation