Sistemas Informáticos y Computación

2019

1. 10th international workshop on software engineering for e-learning (ISELEAR'19)

   ACM International Conference Proceeding Series

2. A Framework for Modeling Cloud Infrastructures and User Interactions

   IEEE Access, Vol. 7, pp. 43269-43285

3. A Teaching Application to Improve Access and Management of Web-Based Academic Materials

   Lecture Notes on Data Engineering and Communications Technologies (Springer Science and Business Media Deutschland GmbH), pp. 395-405

4. A Transformational Approach to Resource Analysis with Typed-norms Inference

   Theory and Practice of Logic Programming

5. A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications

   Software and Systems Modeling, Vol. 18, Núm. 6, pp. 3577-3614

6. A bibliometric approach to the analysis of the Technologically-Enhanced Language Learning (TELL) literature

   ARGENTINIAN JOURNAL OF APPLIED LINGUISTICS, Vol. 7, Núm. 2, pp. 8-33

7. A cooperative co-evolution based scalable framework for solving large-scale global optimization problems

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

8. A core Erlang semantics for declarative debugging

   Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

9. A methodology to analyze heart data using fuzzy automata

   Journal of Intelligent and Fuzzy Systems

10. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric

    Science of Computer Programming, Vol. 184

11. A review of annotation classification tools in the educational domain

    Open Computer Science, Vol. 9, Núm. 1, pp. 299-307

12. An Assertional Proof of Red–Black Trees Using Dafny

    Journal of Automated Reasoning

13. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms

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

14. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

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

15. An Independence Measure for Expert Collections Based on Social Media Profiles

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

16. An Online Authoring Tool for Interactive Fiction

    Proceedings of the International Conference on Information Visualisation

17. An expert system for checking the correctness of memory systems using simulation and metamorphic testing

    Expert Systems with Applications, Vol. 132, pp. 44-62

18. An overview of a novel analysis approach for enhancing context awareness in smart environments

    Information and Software Technology, Vol. 111, pp. 131-143

19. An overview on consensus-based approaches to processing collective inconsistency and knowledge integration

    Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, Vol. 9, Núm. 4

20. Classifying Pastebin Content Through the Generation of PasteCC Labeled Dataset

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