Publicaciones (43) Publicaciones en las que ha participado algún/a investigador/a

2021

  1. A priori zenith wet delays in the analysis of VLBI CONT sessions

    Advances in Space Research, Vol. 67, Núm. 8, pp. 2359-2367

  2. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

  3. AI4Eq: For a True Global Village Not for Global Pillage

    IEEE Technology and Society Magazine, Vol. 40, Núm. 1, pp. 31-45

  4. Actor-based model checking for Software-Defined Networks

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

  5. 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

  6. 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

  7. 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

  8. CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF

    Software and Systems Modeling, Vol. 20, Núm. 3, pp. 867-895

  9. Centralization Measures for Social Networks

    Cybernetics and Systems, Vol. 52, Núm. 5, pp. 398-418

  10. Comparison of common VLBI and GNSS estimates in CONT17 campaign

    Journal of Geodesy, Vol. 95, Núm. 11

  11. Construcción de un corrector ortográfico híbrido para el chabacano de Zamboanga

    E-Aesla, Núm. 7

  12. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

  13. Decentralizing science: Towards an interoperable open peer review ecosystem using blockchain

    Information Processing and Management, Vol. 58, Núm. 6

  14. Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario

    Journal of Information Security and Applications, Vol. 58

  15. Development of a classification system for Mathematical Logic

    Journal of Information Science, Vol. 47, Núm. 2, pp. 143-160

  16. Development of a management system for short online learning courses

    Education Sciences, Vol. 11, Núm. 9

  17. Development of an educational application for software engineering learning

    Computers, Vol. 10, Núm. 9

  18. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

  19. 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

  20. 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