Artikel (24) Publikationen, an denen Forscher/innen teilgenommen haben

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