Sistemas Informáticos y Computación

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. Air Quality System in Smart City: Systematic Literature Review

   CEUR Workshop Proceedings

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

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

   2021 IEEE Congress on Evolutionary Computation, CEC 2021 - Proceedings

9. Desarrollo de competencias mediante la realización de proyectos informáticos. Experiencia en la asignatura de Ingeniería del Software

   Actas del congreso virtual: Avances en Tecnologías, Innovación y Desafíos de la Educación Superior : ATIDES 2020

10. Desarrollo de un sistema de ayuda al aprendizaje a los pacientes de Alzheimer

    Edunovatic2021. Conference proceedings: 6th Virtual International Conferenceon Education, Innovation and ICT

11. Detectors of Smart Grid Integrity Attacks: An Experimental Assessment

    Proceedings - 2021 17th European Dependable Computing Conference, EDCC 2021

12. Development of a visual tool for the design of aggregate-oriented NoSQL databases.

    Proceedings of the International Conference on Information Visualisation

13. Distributed population protocols: Naturally!

    CEUR Workshop Proceedings

14. Extensible Structural Analysis of Petri Net Product Lines

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

15. Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model

    Advances in Intelligent Systems and Computing

16. Gumbel Distribution Adjustment Improvement for Accurate Extreme Values Prediction

    Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA

17. IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II)

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

18. Inteligencia artificial en turismo: Revisión bibliométrica

    TuriTec: XIII Congreso Internacional Turismo y Tecnologías de la Información y las Comunicaciones

19. Interpretability Challenges in Machine Learning Models

    Moving technology ethics at the forefront of society, organisations and governments

20. Learning Compiler Design: From the Implementation to Theory

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE