Departamento
Sistemas Informáticos y Computación
Publicaciones (97) Publicaciones en las que ha participado algún/a investigador/a
2019
-
10th international workshop on software engineering for e-learning (ISELEAR'19)
ACM International Conference Proceeding Series
-
A Framework for Modeling Cloud Infrastructures and User Interactions
IEEE Access, Vol. 7, pp. 43269-43285
-
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
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
-
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
-
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
-
A cooperative co-evolution based scalable framework for solving large-scale global optimization problems
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
-
A methodology to analyze heart data using fuzzy automata
Journal of Intelligent and Fuzzy Systems
-
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
-
A review of annotation classification tools in the educational domain
Open Computer Science, Vol. 9, Núm. 1, pp. 299-307
-
An Assertional Proof of Red–Black Trees Using Dafny
Journal of Automated Reasoning
-
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)
-
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)
-
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)
-
An Online Authoring Tool for Interactive Fiction
Proceedings of the International Conference on Information Visualisation
-
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
Expert Systems with Applications, Vol. 132, pp. 44-62
-
An overview of a novel analysis approach for enhancing context awareness in smart environments
Information and Software Technology, Vol. 111, pp. 131-143
-
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
-
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)