Sistemas Informáticos y Computación

2022

1. An integrated tool set for verifying CafeOBJ specifications

   Journal of Systems and Software, Vol. 189

2. Authoring and playing interactive fiction with conventional web technologies

   Multimedia Tools and Applications, Vol. 81, Núm. 11, pp. 14705-14747

3. Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

   Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614

4. CloudExpert: An intelligent system for selecting cloud system simulators

   Expert Systems with Applications, Vol. 187

5. Codificación y anotación preliminar de un corpus oral multilingüe de conversaciones telefónicas interpretadas para el estudio de los ataques a la imagen

   Pragmalinguistica, Núm. 30, pp. 413-432

6. DICE simulation: a tool for software performance assessment at the design stage

   Automated Software Engineering, Vol. 29, Núm. 1

7. Evaluating cloud interactions with costs and SLAs

   Journal of Supercomputing, Vol. 78, Núm. 6, pp. 7529-7555

8. Generalization and completeness of stochastic local search algorithms

   Swarm and Evolutionary Computation, Vol. 68

9. Hardware Trojan detection via rewriting logic

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

10. MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information

    Journal of Universal Computer Science, Vol. 28, Núm. 5, pp. 445-474

11. Metalevel transformation of strategies

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

12. Military Applications of Machine Learning: A Bibliometric Perspective

    Mathematics, Vol. 10, Núm. 9

13. Model checking strategy-controlled systems in rewriting logic

    Automated Software Engineering, Vol. 29, Núm. 1

14. Monitoring the Emotional Response to the COVID-19 Pandemic Using Sentiment Analysis: A Case Study in Mexico

    Computational Intelligence and Neuroscience, Vol. 2022

15. Obamacare: A bibliometric perspective

    Frontiers in Public Health, Vol. 10

16. Participation in wiki communities: reconsidering their statistical characterization

    PeerJ Computer Science, Vol. 8

17. Prediction of Rainfall in Australia Using Machine Learning

    Information (Switzerland), Vol. 13, Núm. 4

18. SINPA: SupportINg the automation of construction PlAnning

    Expert Systems with Applications, Vol. 190

19. Self-organization of plasticity and specialization in a primitively social insect

    Cell Systems, Vol. 13, Núm. 9, pp. 768-779.e4

20. Simulating and model checking membrane systems using strategies in Maude

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