Publicacions (84) Publicacions en què ha participat algun/a investigador/a

2021

  1. A Conceptual Framework of Intelligent Management Control System for Higher Education

    IFIP Advances in Information and Communication Technology

  2. A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties

    Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021

  3. A Tool to Manage Educational Activities on a University Campus

    Lecture Notes in Networks and Systems

  4. A contract among autonomous agents to deal with egalitarian social welfare

    Proceedings of 2021 IEEE 20th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2021

  5. A deployment approach for Smart Building applications

    CEUR Workshop Proceedings

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

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

  7. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

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

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

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

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

  10. Air Quality System in Smart City: Systematic Literature Review

    CEUR Workshop Proceedings

  11. An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System

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

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

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

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

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

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

  16. Centralization Measures for Social Networks

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

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

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

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

    E-Aesla, Núm. 7

  19. Coverage-Based Grammar-Guided Genetic Programming Generation of Test Suites

    2021 IEEE Congress on Evolutionary Computation, CEC 2021 - Proceedings

  20. Deadlock-guided testing

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