10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface.(2017).
An Achilles’ Heel of Term-Resolution. Portuguese Conference on Artificial Intelligence. 670–680.(2017).
AltMM 2017-2nd international workshop on multimedia alternate realities. 25th ACM International Conference on Multimedia, MM 2017. 23 October 2017 through 27 October 2017, 1969-1970.(2017).
ANCHOR: logically-centralized security for Software-Defined Networks. arXiv preprint arXiv:1711.03636.(2017).
Animated maps for analysis of personal performance in games. Computação Gráfica e Interação (EPCGI), 2017 24º Encontro Português de. 1–8.(2017).
Anthropometric data analytics: a portuguese case study. International Conference on Practical Applications of Computational Biology & Bioinformatics. 92–100.(2017).
Assessing Public Metabolomics Metadata, Towards Improving Quality. Journal of integrative bioinformatics. 14,(2017).
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. 1–8.(2017).
Automated generation of policies to support elastic scaling in cloud environments. Proceedings of the Symposium on Applied Computing. 450–455.(2017).
BicPAMS: software for biological data analysis with pattern-based biclustering. BMC bioinformatics. 18, 82.(2017).
BSig: evaluating the statistical significance of biclustering solutions. Data Mining and Knowledge Discovery. 1–38.(2017).
A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform. arXiv preprint arXiv:1709.06921.(2017).
Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).(2017).
Characterizing Social Insider Attacks on Facebook. Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. 3810–3820.(2017).
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. 421–430.(2017).
Cloud-Assisted Read Alignment and Privacy. 11th International Conference on Practical Applications of Computational Biology & Bioinformatics. 616, 220.(2017).
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. 2017 13th European Dependable Computing Conference (EDCC). 121–128.(2017).
A Comparison of Four Data Selection Methods for Artificial Neural Networks and Support Vector Machines. IFAC-PapersOnLine. 50, 11227–11232.(2017).
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proceedings of the ACM on Programming Languages. 1, 103.(2017).
Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools. 353.(2017).
Demonstrating a Tool for Injection Attack Prevention in MySQL. Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on. 551–558.(2017).
On the Design of Resilient Multicloud MapReduce. IEEE Cloud Computing. 4, 74–82.(2017).
Designing Interactive Spatiotemporal Visualizations to Enhance Movie Browsing. IFIP Conference on Human-Computer Interaction. 352–355.(2017).
Designing Multimodal Mobile Interaction for a Text Messaging Application for Visually Impaired Users. Frontiers in ICT. 4, 26.(2017).
Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.(2017).