Publications

Export 2272 results:
2017
Vasconcelos, V. T., and P. Haller, 10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface, : OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
Janota, M., and J. Marques-Silva, "An Achilles’ Heel of Term-Resolution", Portuguese Conference on Artificial Intelligence: Springer, pp. 670–680, 2017.
Chambel, T., R. Kaiser, O. Niamut, and WT. Ooi, "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: Association for Computing Machinery, Inc, 2017.
Kreutz, D., J. Yu, F. Ramos, and P. Esteves-Verissimo, "ANCHOR: logically-centralized security for Software-Defined Networks", arXiv preprint arXiv:1711.03636, 2017.
Vieira, P., T. Gonçalves, A. Paula Afonso, and M. Beatriz Carmo, "Animated maps for analysis of personal performance in games", Computação Gráfica e Interação (EPCGI), 2017 24º Encontro Português de: IEEE, pp. 1–8, 2017.
Barata, A., L. Carvalho, and F. M. Couto, "Anthropometric data analytics: a portuguese case study", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 92–100, 2017.
Ferreira, J. D., B. Inácio, R. M. Salek, and F. M. Couto, "Assessing Public Metabolomics Metadata, Towards Improving Quality", Journal of integrative bioinformatics, vol. 14, no. 4: De Gruyter, 2017.
Martinez, R. Gil, Z. Li, A. Lopes, and L. Rodrigues, "Augure: Proactive reconfiguration of cloud applications using heterogeneous resources", Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on: IEEE, pp. 1–8, 2017.
Martinez, R. Gil, A. Lopes, and L. Rodrigues, "Automated generation of policies to support elastic scaling in cloud environments", Proceedings of the Symposium on Applied Computing: ACM, pp. 450–455, 2017.
Henriques, R., F. L. Ferreira, and S. C. Madeira, "BicPAMS: software for biological data analysis with pattern-based biclustering", BMC bioinformatics, vol. 18, no. 1: BioMed Central, pp. 82, 2017.
Henriques, R., and S. C. Madeira, "BSig: evaluating the statistical significance of biclustering solutions", Data Mining and Knowledge Discovery: Springer, pp. 1–38, 2017.
Sousa, J., A. Bessani, and M. Vukolić, "A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform", arXiv preprint arXiv:1709.06921, 2017.
Ignatiev, A., A. Morgado, J. Marques-Silva, and ISDCT. S. B. RAS, "Cardinality encodings for graph optimization problems", International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Usmani, W. Ahmed, D. Marques, I. Beschastnikh, K. Beznosov, T. Guerreiro, and L. Carriço, "Characterizing Social Insider Attacks on Facebook", Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems: ACM, pp. 3810–3820, 2017.
Costa, P. A. R. S., F. Ramos, and M. Correia, "Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce", Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing: IEEE Press, pp. 421–430, 2017.
Fernandes, M., J. Decouchant, F. M. Couto, and P. Esteves-Verissimo, "Cloud-Assisted Read Alignment and Privacy", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 220, 2017.
Nunes, P., I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira, "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study", 2017 13th European Dependable Computing Conference (EDCC): IEEE, pp. 121–128, 2017.
Khosravani, H., A. Ruano, and P. Ferreira, "A Comparison of Four Data Selection Methods for Artificial Neural Networks and Support Vector Machines", IFAC-PapersOnLine, vol. 50, no. 1: Elsevier, pp. 11227–11232, 2017.
Cogumbreiro, T., R. Surendran, F. Martins, V. Sarkar, V. T. Vasconcelos, and M. Grossman, "Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers", Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA: ACM, pp. 103, 2017.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Demonstrating a Tool for Injection Attack Prevention in MySQL", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 551–558, 2017.
Costa, P. A. R. S., F. M. V. Ramos, and M. Correia, "On the Design of Resilient Multicloud MapReduce", IEEE Cloud Computing, vol. 4, no. 4: IEEE, pp. 74–82, 2017.
Jorge, A., N. Correia, and T. Chambel, "Designing Interactive Spatiotemporal Visualizations to Enhance Movie Browsing", IFIP Conference on Human-Computer Interaction: Springer, pp. 352–355, 2017.
Duarte, C., S. Desart, D. Costa, and B. Dumas, "Designing Multimodal Mobile Interaction for a Text Messaging Application for Visually Impaired Users", Frontiers in ICT, vol. 4: Frontiers, pp. 26, 2017.
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–56, 2017.
Cunha, J. Carlos, K. Castelo Branc, A. Casimiro, and U. Jose C. Nunes, "Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]", IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1: IEEE, pp. 6–7, 2017.
Cruz-Filipe, L., J. Marques-Silva, and P. Schneider-Kamp, "Efficient certified resolution proof checking", International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Springer, pp. 118–135, 2017.
Nogueira, A., A. Casimiro, and A. Bessani, "Elastic State Machine Replication", IEEE Transactions on Parallel and Distributed Systems: IEEE, 2017.
Alarcao, S. Meneses, and M. J. Fonseca, "Emotions Recognition Using EEG Signals: A Survey", IEEE Transactions on Affective Computing, vol. PP, no. 99, pp. 1-1, 2017.
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Fonseca, A., N. Lourenço, and B. Cabral, "Evolving Cut-Off Mechanisms and Other Work-Stealing Parameters for Parallel Programs", European Conference on the Applications of Evolutionary Computation: Springer, pp. 757–772, 2017.
Saber, T., J. Marques-Silva, J. Thorburn, and A. Ventresque, "Exact and hybrid solutions for the multi-objective VM reassignment problem", International Journal on Artificial Intelligence Tools, vol. 26, no. 01: World Scientific, pp. 1760004, 2017.
Oliveira, T., R. Mendes, and A. Bessani, "Exploring key-value stores in multi-writer Byzantine-resilient register emulations", LIPIcs-Leibniz International Proceedings in Informatics, vol. 70: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Gaspar, D., C. Trindade, A. Usié, B. Meireles, P. Barbosa, A. M. Fortes, C. Pesquita, R. L. Costa, and A. M. Ramos, "Expression Profiling in Pinus pinaster in Response to Infection with the Pine Wood Nematode Bursaphelenchus xylophilus", Forests, vol. 8, no. 8: Multidisciplinary Digital Publishing Institute, pp. 279, 2017.
Lamurias, A., L. A. Clarke, and F. M. Couto, "Extracting microRNA-gene relations from biomedical literature using distant supervision", PloS one, vol. 12, no. 3: Public Library of Science, pp. e0171929, 2017.
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Dias, R., D. Gonçalves, and M. J. Fonseca, "From manual to assisted playlist creation: a survey", Multimedia Tools and Applications, vol. 76, no. 12: Springer, pp. 14375–14403, 2017.
Lamurias, A., J. D. Ferreira, L. A. Clarke, and F. M. Couto, "Generating a Tolerogenic Cell Therapy Knowledge Graph from Literature", Frontiers in Immunology, vol. 8: Frontiers, pp. 1656, 2017.
Alcântara, J., T. Oliveira, and A. Bessani, GINJA: One-dollar Cloud-based Disaster Recovery for Databases, , 2017.
Igarashi, A., P. Thiemann, V. T. Vasconcelos, and P. Wadler, "Gradual session types", Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP: ACM, pp. 38, 2017.
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Jr, W. S. Melo, A. Bessani, and L. F. R. C. Carmo, How Blockchains can help Legal Metrology, , 2017.
Cogo, V. V., A. Bessani, F. M. Couto, M. Gama-Carvalho, M. Fernandes, and P. Esteves-Verissimo, "How Can Photo Sharing Inspire Sharing Genomes?", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 74, 2017.
Alarcão, S. Meneses, and M. J. Fonseca, "Identifying Emotions in Images from Valence and Arousal Ratings", Multimedia Tools and Applications, 2017.
Lobo, M., A. Lamurias, and F. M. Couto, "Identifying Human Phenotype Terms by Combining Machine Learning and Validation Rules", BioMed Research International, vol. 2017: Hindawi, 2017.
Campos, L., V. Pedro, and F. Couto, "Impact of translation on named-entity recognition in radiology texts", Database, vol. 2017: Oxford University Press, 2017.
Marques-Silva, J., "Improving MCS Enumeration via Caching", Theory and Applications of Satisfiability Testing–SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings, vol. 10491: Springer, pp. 184, 2017.
Ferreira, F. L., S. Cardoso, D. Silva, M. Guerreiro, A. de Mendonça, and S. C. Madeira, "Improving Prognostic Prediction from Mild Cognitive Impairment to Alzheimer’s Disease Using Genetic Algorithms", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 180–188, 2017.
Rodrigues, A., A. Santos, K. Montague, and T. Guerreiro, "Improving Smartphone Accessibility with Personalizable Static Overlays", Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility: ACM, pp. 37–41, 2017.
Horimoto, A. Magno Coel, E. Naomi Naka Matos, M. Reis da Costa, F. Takahashi, M. Cruz Rezende, L. Barrios Kanomata, E. Possebon P. Locatelli, L. Tavares Finotti, F. Kamy Macie Maegawa, R. Maria Ribe Rondon, et al., "Incidência e prevalência de esclerose sistêmica em Campo Grande, Estado de Mato Grosso do Sul, Brasil", Revista Brasileira de Reumatologia, vol. 57, no. 2: Elsevier, pp. 107–114, 2017.
Rodrigues, A., K. Montague, H. Nicolau, J. Guerreiro, and T. Guerreiro, "In-context Q&A to Support Blind People Using Smartphones", Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility: ACM , pp. 32–36, 2017.
Martins, F., V. Thudichum Vasconcelos, and H. Hüttel, "Inferring Types for Parallel Programs", arXiv preprint arXiv:1704.03096, 2017.
Barraca, J. Paulo, H. Rodrigues, A. Teixeira, and J. Maria Fernandes, INForum 2017: Atas do Nono Simpósio de Informática, : UA Editora, 2017.
Asif, M., C. Rasga, H. Martiniano, JX. Santos, AR. Marques, FM. Couto, and AM. Vicente, "An integrative system biology approach for dissecting Autism Spectrum Disorder", 2º Dia do Jovem Investigador do Instituto Nacional de Saúde Doutor Ricardo Jorge, 8 maio 2017: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2017.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, A. M. Vicente, and , "An integrative system biology approach to delineate complex genotype-phenotype associations in Autism Spectrum Disorder", 2nd BioSys Retreat 2017, 6-7 October, 2017: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2017.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "Investigating Laboratory and Everyday Typing Performance of Blind Users", ACM Transactions on Accessible Computing (TACCESS), vol. 10, no. 1: ACM, pp. 4, 2017.
Kreutz, D., J. Yu, P. Esteves-Verissimo, C. Magalhaes, and FMV. Ramos, "The KISS principle in Software-Defined Networking: a framework for secure communications", IEEE Security & Privacy, 2017.
Kreutz, D., P. Esteves-Verissimo, C. Magalhaes, and F. Ramos, "The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure", arXiv preprint arXiv:1702.04294, 2017.
Fonseca, A., F. Cerveira, B. Cabral, and R. Barbosa, "Language-based expression of reliability and parallelism for low-power computing", IEEE Transactions on Sustainable Computing: IEEE, 2017.
Peñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva, "Lean Kernels in Description Logics", European Semantic Web Conference: Springer, pp. 518–533, 2017.
Fiadeiro, J., I. Ţ. uţu, A. Lopes, and D. Pavlovic, "Logics for Actor Networks: A Case Study in Constrained Hybridization", International Workshop on Dynamic Logic: Springer, pp. 98–114, 2017.
Couto, F. M., L. Campos, and A. Lamurias, "MER: a minimal named-entity recognition tagger and annotation server", Proceedings of the BioCreative, Conference: BeCalm challenge evaluation workshop (Biocreative V.5), at Barcelona, Spain, vol. 5, 2017.
Inácio, B., J. D. Ferreira, and F. M. Couto, "Metadata Analyser: measuring metadata quality", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 197–204, 2017.
Marques-Silva, J., M. Janota, and C. Mencía, "Minimal sets on propositional formulae. Problems and reductions", Artificial Intelligence, vol. 252: Elsevier, pp. 22–50, 2017.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets", arXiv preprint arXiv:1707.01972, 2017.
Passier, R., "Modelling and drug screening for cardiovascular disease Authors' Index", ACTA PHYSIOLOGICA, vol. 219: WILEY 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 7–7, 2017.
Martins, F., and D. Domingos, "Modelling IoT behaviour within BPMN Business Processes", Procedia Computer Science, vol. 121: Elsevier, pp. 1014–1022, 2017.
Canato, S., AS. Carvalho, HM. Botelho, K. Aloria, R. Matthiesen, MD. Amaral, A. Falcao, and CM. Farinha, "Modulation of protein traffic networks to rescue F508del-CFTR from the endoplasmic reticulum", FEBS JOURNAL, vol. 284: WILEY 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 297–298, 2017.
Rodrigues, M. J., and F. M. Couto, "MoRS at SemEval-2017 task 3: Easy to use SVM in ranking tasks", Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017), pp. 287–291, 2017.
Campos, L., and F. Couto, "MRA-Proof of Concept of a Multilingual Report Annotator Web Application", arXiv preprint arXiv:1704.01748, 2017.
Schnelle-Walka, D., C. Duarte, and S. Radomski, "Multimodal Fusion and Fission within the W3C MMI Architectural Pattern", Multimodal Interaction with W3C Standards: Springer, pp. 393–415, 2017.
Azevedo, J. Nuno, J. Alves, A. Teixeira, and A. Souto, "O impacto das medidas de combate à evasão fiscal nos resultados", European Journal of Applied Business and Management, 2017.
Rodrigues, J., P. Mateus, N. Paunkovic, and A. Souto, "Oblivious transfer based on single-qubit rotations", Journal of Physics A: Mathematical and Theoretical, vol. 50, no. 20: IOP Publishing, pp. 205301, 2017.
Waldron, D. L., A. Preske, J. M. Zawodny, T. D. Krauss, and M. C. Gupta, "PbSe quantum dot based luminescent solar concentrators", Nanotechnology, vol. 28, no. 9: IOP Publishing, pp. 095205, 2017.
Keller, A., R. C. Gerkin, Y. Guan, A. Dhurandhar, G. Turu, B. Szalai, J. D. Mainland, Y. Ihara, C. Wen Yu, R. Wolfinger, et al., "Predicting human olfactory perception from chemical features of odor molecules", Science: American Association for the Advancement of Science, pp. eaal2014, 2017.
Pereira, T., L. Lemos, S. Cardoso, D. Silva, A. Rodrigues, I. Santana, A. Mendonça, M. Guerreiro, and S. C. Madeira, "Predicting progression of mild cognitive impairment to dementia using neuropsychological data: a supervised learning approach using time windows", BMC medical informatics and decision making, vol. 17, no. 1: BioMed Central, pp. 110, 2017.
Fonseca, A., and B. Cabral, "Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis", Big Data Research, vol. 8: Elsevier, pp. 50–56, 2017.
Yadav, P., P. Mateus, N. Paunković, and A. Souto, "Quantum contract signing with entangled pairs", arXiv preprint arXiv:1711.09843, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", arXiv preprint arXiv:1710.07979, 2017.
Mateus, P., D. Qiu, and A. Souto, "Quantum machines with classical control", arXiv preprint arXiv:1709.01387, 2017.
Antunes, LF., A. Souto, and PMB. Vitányi, "On the rate of decrease in logical depth", Theoretical Computer Science, vol. 702: Elsevier, pp. 60–64, 2017.
Alarcão, S. Meneses, "Reminiscence Therapy Improvement using Emotional Information", 2017 Seventh International Conference on Affective Computing and Intelligent Interaction (ACII), San Antonio, Texas, USA, 2017.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
Pereira, F., N. Ferreira Neves, and F. M. V. Ramos, "Secure Network Monitoring Using Programmable Data Planes", Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), 2017.
Vavala, B., N. Neves, and P. Steenkiste, "Secure tera-scale data crunching with a small TCB", Dependable Systems and Networks (DSN), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 169–180, 2017.
Alaluna, M., L. Ferrolho, J. Rui Figueira, N. Neves, and F. Ramos, "Secure Virtual Network Embedding in a Multi-Cloud Environment", arXiv preprint arXiv:1703.01313, 2017.
Cheatham, M., and C. Pesquita, "Semantic Data Integration", Handbook of Big Data Technologies: Springer, pp. 263–305, 2017.
Soliman, T. H., and M. H. Abdel Reheim, "Semantic Data Integration", Handbook of Big Data Technologies , First Online: 26 February 2017, pp. pp 263-305, 2017.
Pesquita, C., "Semantic similarity in the gene ontology", The Gene Ontology Handbook: Springer, pp. 161–173, 2017.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
Antunes, L., B. Bauwens, A. Souto, and A. Teixeira, "Sophistication vs Logical Depth", Theory of Computing Systems, vol. 60, pp. 280–298, Feb, 2017.
Cheatham, M., I. F. Cruz, J. Euzenat, and C. Pesquita, "Special issue on ontology and linked data matching.", Semantic Web, vol. 8, no. 2, pp. 183–184, 2017.
Cunha, J. Carlos, K. Branco, A. Casimiro, and U. Nunes, "SSIV 2017 Welcome", Dependable Systems and Networks Workshop (DSN-W), 2017 47th Annual IEEE/IFIP International Conference on: IEEE, pp. 1–1, 2017.
Bermejo, C., and P. Hui, "Steal Your Life Using 5 Cents: Hacking Android Smartphones with NFC Tags", arXiv preprint arXiv:1705.02081, 2017.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Azevedo, C., C. Chesta, J. Coelho, D. Dimola, C. Duarte, M. Manca, J. Nordvik, F. Paterno, A-M. Sanders, and C. Santoro, "Towards a Platform for Persuading Older Adults to Adopt Healthy Behaviors", Proceedings of the Second International Workshop on Personalization in Persuasive Technology co-located with the 12th International Conference on Persuasive Technology, 2017.
Pereira, T., A. Mendon, F. Ferreira, S. Madeira, M. Guerreiro, and , "Towards a reliable prediction of conversion from Mild Cognitive Impairment to Alzheimer’s Disease: stepwise learning using time windows", Medical Informatics and Healthcare, pp. 19–26, 2017.

Pages