Sistemas Informáticos y Computación

2018

1. 9th International Workshop on Software Engineering for E-learning (ISELEAR'18)

   ACM International Conference Proceeding Series

2. A comparative study of methods for collective prediction determination using interval estimates

   ACM International Conference Proceeding Series

3. A decision approach for energy distribution management in smart cities

   Proceedings of the ACM Symposium on Applied Computing

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

5. AUNTY: A tool to automatically analyze data using fuzzy automata

   Proceedings - 3rd International Conference on Computational Intelligence and Applications, ICCIA 2018

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

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

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

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

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

11. Constrained dynamic partial order reduction

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

12. Context-updates analysis and refinement in chisel

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

13. Document annotation tools: Annotation classification mechanisms

    ACM International Conference Proceeding Series

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

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

16. Focusing on undergraduates' behaviour. Learning Analytics in Human Histology

    INTED 2018, 12th International Technology, Education and Development Conference

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

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

19. MUnit: A unit framework for maude

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

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