Departamento
Sistemas Informáticos y Computación
Aportaciones congreso (46) Publicaciones en las que ha participado algún/a investigador/a
2017
-
8th International Workshop on Software Engineering for E-Learning (ISELEAR'17)
ACM International Conference Proceeding Series
-
A Design Guideline for Adaptation Decisions in the Autonomic Loop
Procedia Computer Science
-
A formal framework to specify and test systems with fuzzy-time information
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal proof generator from semi-formal proof documents
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal, resource consumption-preserving translation of actors to Haskell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests
2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
-
A multi-agent system architecture for statistics managing and soccer forecasting
2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
-
A novel analysis procedure for context-aware applications in ubiquitous environments: Application to a smart building case study
Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA
-
A tool for modeling SoS architectures using bigraphs
Proceedings of the ACM Symposium on Applied Computing
-
A utility-based approach for self-adaptive systems: Application to a smart building
Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA
-
Adaptive and reconfigurable systems and architectures (AROSA 2017): Summary report
Proceedings - 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017
-
An effective collaborative filtering based method for movie recommendation
Advances in Intelligent Systems and Computing
-
An introduction to liquid Haskell
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Collective intelligence and databases in eHealth: A survey
Journal of Intelligent and Fuzzy Systems
-
Collective intelligent information and database systems
Journal of Intelligent and Fuzzy Systems
-
Conditional narrowing modulo SMT and axioms
ACM International Conference Proceeding Series
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Energy consumption adaptation approach for smart buildings
Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs