Publications

Export 2272 results:
2017
Vasconcelos, V. T., & Haller P. (2017).  10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface.
Janota, M., & Marques-Silva J. (2017).  An Achilles’ Heel of Term-Resolution. Portuguese Conference on Artificial Intelligence. 670–680.
Chambel, T., Kaiser R., Niamut O., & Ooi WT. (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.
Kreutz, D., Yu J., Ramos F., & Esteves-Verissimo P. (2017).  ANCHOR: logically-centralized security for Software-Defined Networks. arXiv preprint arXiv:1711.03636.
Vieira, P., Gonçalves T., Afonso A. Paula, & Carmo M. Beatriz (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.
Barata, A., Carvalho L., & Couto F. M. (2017).  Anthropometric data analytics: a portuguese case study. International Conference on Practical Applications of Computational Biology & Bioinformatics. 92–100.
Ferreira, J. D., Inácio B., Salek R. M., & Couto F. M. (2017).  Assessing Public Metabolomics Metadata, Towards Improving Quality. Journal of integrative bioinformatics. 14,
Martinez, R. Gil, Li Z., Lopes A., & Rodrigues L. (2017).  Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. 1–8.
Martinez, R. Gil, Lopes A., & Rodrigues L. (2017).  Automated generation of policies to support elastic scaling in cloud environments. Proceedings of the Symposium on Applied Computing. 450–455.
Henriques, R., Ferreira F. L., & Madeira S. C. (2017).  BicPAMS: software for biological data analysis with pattern-based biclustering. BMC bioinformatics. 18, 82.
Henriques, R., & Madeira S. C. (2017).  BSig: evaluating the statistical significance of biclustering solutions. Data Mining and Knowledge Discovery. 1–38.
Sousa, J., Bessani A., & Vukolić M. (2017).  A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform. arXiv preprint arXiv:1709.06921.
Ignatiev, A., Morgado A., Marques-Silva J., & RAS ISDCT. S. B. (2017).  Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).
Usmani, W. Ahmed, Marques D., Beschastnikh I., Beznosov K., Guerreiro T., & Carriço L. (2017).  Characterizing Social Insider Attacks on Facebook. Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. 3810–3820.
Costa, P. A. R. S., Ramos F., & Correia M. (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.
Fernandes, M., Decouchant J., Couto F. M., & Esteves-Verissimo P. (2017).  Cloud-Assisted Read Alignment and Privacy. 11th International Conference on Practical Applications of Computational Biology & Bioinformatics. 616, 220.
Nunes, P., Medeiros I., Fonseca J., Neves N., Correia M., & Vieira M. (2017).  On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. 2017 13th European Dependable Computing Conference (EDCC). 121–128.
Khosravani, H., Ruano A., & Ferreira P. (2017).  A Comparison of Four Data Selection Methods for Artificial Neural Networks and Support Vector Machines. IFAC-PapersOnLine. 50, 11227–11232.
Cogumbreiro, T., Surendran R., Martins F., Sarkar V., Vasconcelos V. T., & Grossman M. (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.
Vasconcelos, V. T., Martins F., Marques E. R. B., Yoshida N., & Ng N. (2017).  Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools. 353.
Medeiros, I., Beatriz M., Neves N., & Correia M. (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.
Costa, P. A. R. S., Ramos F. M. V., & Correia M. (2017).  On the Design of Resilient Multicloud MapReduce. IEEE Cloud Computing. 4, 74–82.
Jorge, A., Correia N., & Chambel T. (2017).  Designing Interactive Spatiotemporal Visualizations to Enhance Movie Browsing. IFIP Conference on Human-Computer Interaction. 352–355.
Duarte, C., Desart S., Costa D., & Dumas B. (2017).  Designing Multimodal Mobile Interaction for a Text Messaging Application for Visually Impaired Users. Frontiers in ICT. 4, 26.
Fiadeiro, J., Lopes A., Delahaye B., & Legay A. (2017).  Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.

Pages