Departamento
Sistemas Informáticos y Computación
Achegas congreso (32) Publicacións nas que participase algún/ha investigador/a
2018
-
9th International Workshop on Software Engineering for E-learning (ISELEAR'18)
ACM International Conference Proceeding Series
-
A comparative study of methods for collective prediction determination using interval estimates
ACM International Conference Proceeding Series
-
A decision approach for energy distribution management in smart cities
Proceedings of the ACM Symposium on Applied Computing
-
A tool for the digital edition of interactive fiction using stretchtext.
Information Visualisation - Biomedical Visualization, Visualisation on Built and Rural Environments and Geometric Modelling and Imaging, IV 2018
-
AUNTY: A tool to automatically analyze data using fuzzy automata
Proceedings - 3rd International Conference on Computational Intelligence and Applications, ICCIA 2018
-
Adaptive and reconfigurable systems and architectures (AROSA 2018): Summary report
Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018
-
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An efficient characterization of petri net solvable binary words
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Associative unification and symbolic reasoning modulo associativity in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Averist: Algorithmic verifier for stability of linear hybrid systems
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Context-updates analysis and refinement in chisel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Document annotation tools: Annotation classification mechanisms
ACM International Conference Proceeding Series
-
Enabling technologies: Infrastructure for collaborative enterprises editorial for WETICE 2018 conference
Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018
-
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Focusing on undergraduates' behaviour. Learning Analytics in Human Histology
INTED 2018, 12th International Technology, Education and Development Conference
-
Generation of initial contexts for effective deadlock detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Intelligent collectives: Impact of diversity on susceptibility to consensus and collective performance
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
MUnit: A unit framework for maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Model checking parameterized by the semantics in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)