Saila
Sistemas Informáticos y Computación
Argitalpenak (43) Ikertzaileren baten partaidetza izan duten argitalpenak
2021
-
A priori zenith wet delays in the analysis of VLBI CONT sessions
Advances in Space Research, Vol. 67, Núm. 8, pp. 2359-2367
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
-
AI4Eq: For a True Global Village Not for Global Pillage
IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 31-45
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
An Inclusive and Sustainable Artificial Intelligence Strategy for Europe Based on Human Rights
IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 46-54
-
Analyzing the Cloud Performance Using Different User Subscription Times
International Journal of Software Engineering and Knowledge Engineering, Vol. 31, Núm. 11-12, pp. 1699-1720
-
Aprendizaje-Servicio y Agenda 2030 en la formación de ingenieros de la tecnología inteligente
Revista Diecisiete: Investigación Interdisciplinar para los Objetivos de Desarrollo Sostenible., Núm. 4, pp. 59-82
-
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF
Software and Systems Modeling, Vol. 20, Núm. 3, pp. 867-895
-
Centralization Measures for Social Networks
Cybernetics and Systems, Vol. 52, Núm. 5, pp. 398-418
-
Comparison of common VLBI and GNSS estimates in CONT17 campaign
Journal of Geodesy, Vol. 95, Núm. 11
-
Construcción de un corrector ortográfico híbrido para el chabacano de Zamboanga
E-Aesla, Núm. 7
-
Deadlock-guided testing
IEEE Access, Vol. 9, pp. 46033-46048
-
Decentralizing science: Towards an interoperable open peer review ecosystem using blockchain
Information Processing and Management, Vol. 58, Núm. 6
-
Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario
Journal of Information Security and Applications, Vol. 58
-
Development of a classification system for Mathematical Logic
Journal of Information Science, Vol. 47, Núm. 2, pp. 143-160
-
Development of a management system for short online learning courses
Education Sciences, Vol. 11, Núm. 9
-
Development of an educational application for software engineering learning
Computers, Vol. 10, Núm. 9
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
-
El perfil básico, identificativo y sociolingüístico de migrantes y refugiados en España
Lengua y Migración = Language and Migration, Vol. 13, Núm. 2, pp. 33-64
-
El perfil profesional, tecnológico y académico de migrantes y refugiados en España
Lengua y Migración = Language and Migration, Vol. 13, Núm. 2, pp. 65-96