Bernardo Almeida

2018
Ghany, MA. Abd El, I. Abdelaziz, M. Abraham, S. Acer, O. Adam, M. Adda, M. Afibuzzaman, E. Agullo, MO. Agyeman, A. Ahmadinia, et al., "2017 Index IEEE Transactions on Parallel and Distributed Systems Vol. 28", IEEE Transactions on Parallel and Distributed Systems, vol. 29, no. 1, 2018.
Decouchant, J., M. Fernandes, M. Völp, F. M. Couto, and P. Esteves-Verissimo, "Accurate filtering of privacy-sensitive information in raw genomic data", Journal of biomedical informatics, vol. 82: Elsevier, pp. 1–12, 2018.
Ryu, H., T. Bartindale, J. Kim, V. Vinayagamoorthy, T. Chambel, and WT. Ooi, "ACM TVX 2018 chairs' welcome", TVX 2018: Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video: Newcastle University, 2018.
Rodrigues, A., L. Camacho, H. Nicolau, K. Montague, and T. Guerreiro, "Aidme: interactive non-visual smartphone tutorials", Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct: ACM, pp. 205–212, 2018.
Chambel, T., F. De Simone, R. Kaiser, N. Ranasinghe, and W. Van den Broeck, "AltMM 2018-3rd International Workshop on Multimedia Alternate Realities", 2018 ACM Multimedia Conference on Multimedia Conference: ACM, pp. 2109–2110, 2018.
Moreira, A., and T. Chambel, "As Music Goes By in versions and movies along time", Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video: ACM, pp. 239–244, 2018.
Asif, M., F. Couto, and A. M. Vicente, "Associação entre variantes genéticas e perfil cl{ínico multidimensional de doentes com perturbação do espetro do autismo: uma abordagem integrativa", Boletim Epidemiológico Observações, vol. 7, no. 22: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, pp. 38–42, 2018.
Kausar, S., and A. O. Falcao, "An automated framework for QSAR model building", Journal of cheminformatics, vol. 10, no. 1: Nature Publishing Group, pp. 1, 2018.
Duarte, C., A. Salvado, E. M Akpinar, Y. Yesilada, and L. Carriço, "Automatic Role Detection of Visual Elements of Web Pages for Automatic Accessibility Evaluation", Proceedings of the Internet of Accessible Things: ACM, pp. 21, 2018.
Bessani, A., H. P. Reiser, M. Vukolić, and T. Distler, "BCRB 2018 introduction", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): IEEE, pp. 121–121, 2018.
Nunes, P., I. Medeiros, J. C. Fonseca, N. Neves, M. Correia, and M. Vieira, "Benchmarking Static Analysis Tools for Web Security", IEEE Transactions on Reliability, vol. 67, no. 3: IEEE, pp. 1159–1175, 2018.
Viegas, E., A. Santin, A. Bessani, and N. Neves, "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks", Future Generation Computer Systems: Elsevier, 2018.
Lamurias, A., L. A. Clarke, and F. M. Couto, "BO-LSTM: Classifying relations via long short-term memory networks along biomedical ontologies", bioRxiv: Cold Spring Harbor Laboratory, pp. 336719, 2018.
Henriques, R., and S. C. Madeira, "BSig: evaluating the statistical significance of biclustering solutions", Data Mining and Knowledge Discovery, vol. 32, no. 1: Springer, pp. 124–161, 2018.
Coelho, P., T. Ceolin Junior, A. Bessani, F. Dotti, and F. Pedone, "Byzantine Fault-Tolerant Atomic Multicast", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 39–50, 2018.
Sousa, J., A. Bessani, and M. Vukolić, "A byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 51–58, 2018.
Nogueira, A., M. Garcia, A. Bessani, and N. Neves, "On the Challenges of Building a BFT SCADA", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 163–170, 2018.
Meireles, B., A. Usié, P. Barbosa, A. Margarida Fortes, A. Folgado, I. Chaves, I. Carrasquinho, R. Lourenço Costa, S. Gonçalves, R. Teresa Teixeira, et al., "Characterization of the cork formation and production transcriptome in Quercus cerris$\times$ suber hybrids", Physiology and molecular biology of plants, vol. 24, no. 4: Springer, pp. 535–549, 2018.
Capote, T., P. Barbosa, A. Usié, A. Marcos Ramos, V. Inácio, R. Ordás, S. Gonçalves, and L. Morais-Cecílio, "ChIP-Seq reveals that QsMYB1 directly targets genes involved in lignin and suberin biosynthesis pathways in cork oak (Quercus suber)", BMC plant biology, vol. 18, no. 1: BioMed Central, pp. 198, 2018.
Semenov, A., O. Zaikin, I. Otpuschennikov, S. Kochemazov, and A. Ignatiev, "On Cryptographic Attacks Using Backdoors for SAT", arXiv preprint arXiv:1803.04646, 2018.
Cabaj, K., D. Domingos, Z. Kotulski, and A. Respicio, "Cybersecurity education: Evolution of the discipline and analysis of master programs", Computers & Security, vol. 75: Elsevier, pp. 24–35, 2018.
Rodrigues, A., K. Montague, and T. Guerreiro, "Data Donors: Sharing Knowledge for Mobile Accessibility", Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. LBW539, 2018.
Jesus, G., A. Casimiro, and A. Oliveira, "Dependable Outlier Detection in Harsh Environments Monitoring Systems", International Conference on Computer Safety, Reliability, and Security: Springer, pp. 224–233, 2018.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects", LIPIcs-Leibniz International Proceedings in Informatics, vol. 109: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects (Artifact)", DARTS-Dagstuhl Artifacts Series, vol. 4: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Marques, P., Z. Dabbabi, MM. Mironescu, O. Thonnard, A. Bessani, F. Buontempo, and I. Gashi, Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors, , 2018.
Ramos, A. Marcos, A. Usié, P. Barbosa, P. M. Barros, T. Capote, I. Chaves, F. Simões, I. Abreu, I. Carrasquinho, C. Faro, et al., "The draft genome sequence of cork oak", Scientific data, vol. 5: Nature Publishing Group, pp. 180069, 2018.
Carvalho, C., D. Porto, L. Rodrigues, M. Bravo, and A. Bessani, Dynamic Adaptation of Byzantine Consensus Protocols, , 2018.
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science, vol. 28, no. 6: Cambridge University Press, pp. 800–855, 2018.
Nunes, P., I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira, "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios", Computing: Springer, pp. 1–25, 2018.
Alves, S., F. Brito, A. Cordeiro, L. Carriço, and T. Guerreiro, "Enabling Biographical Cognitive Stimulation for People with Dementia", Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. LBW045, 2018.
Alarcao, S. M., and M. J. Fonseca, "Enriching IAPS and GAPED Image Datasets with Unrestrained Emotional Data", Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018.
Pereira, T., S. Cardoso, D. Silva, M. Guerreiro, A. de Mendonça, and S. C. Madeira, "Ensemble learning with Conformal Predictors: Targeting credible predictions of conversion from Mild Cognitive Impairment to Alzheimer's Disease", Workshop on Machine Learning for Medicine and Healthcare, 2018.
Magaia, N. Pedro Maga, C. Borrego, P. Pereira, and M. Pupo Correia, "ePRIVO: an enhanced PRIvacy-preserVing opportunistic routing protocol for vehicular delay-tolerant networks", IEEE Transactions on Vehicular Technology: IEEE, 2018.
Melfe, G., A. Fonseca, and J. Paulo Fernandes, "Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures", Proceedings of the XXII Brazilian Symposium on Programming Languages: ACM, pp. 83–89, 2018.
Figueiredo, P., and M. J. Fonseca, "EyeLinks: A Gaze-Only Click Alternative for Heterogeneous Clickables", Proceedings of the 2018 on International Conference on Multimodal Interaction: ACM, pp. 307–314, 2018.
Rodrigues, A., "Facilitating smartphone use for blind people through a human powered approach", ACM SIGACCESS Accessibility and Computing, no. 120: ACM, pp. 28–31, 2018.
Vilaça, X., L. Rodrigues, J. Silva, H. Miranda, G. Correia, and T. Maurício, "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming", Pervasive and Mobile Computing, vol. 46: Elsevier, pp. 18–33, 2018.
Sacramento, L., I. Medeiros, J. Bota, and M. Correia, "FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows", 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE): IEEE, pp. 567–572, 2018.
Jäger, G., S. Zug, and A. Casimiro, "Generic Sensor Failure Modeling for Cooperative Systems", Sensors, vol. 18, no. 3: Multidisciplinary Digital Publishing Institute, pp. 925, 2018.
Vasconcelos, V. T., A. Lopes, and F. Martins, "HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
Melfe, G., A. Fonseca, and J. Paulo Fernandes, "Helping developers write energy efficient Haskell through a data-structure evaluation", 2018 IEEE/ACM 6th International Workshop on Green And Sustainable Software (GREENS): IEEE, pp. 9–15, 2018.
Melo, W., L. F. R. C. Carmo, A. Bessani, N. Neves, and A. Santin, "How blockchains can improve measuring instruments regulation and control", 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC): IEEE, pp. 1–6, 2018.
Trindade, D., A. Rodrigues, T. Guerreiro, and H. Nicolau, "Hybrid-Brailler: Combining Physical and Gestural Interaction for Mobile Braille Input and Editing", Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. 27, 2018.
Oliveira, D., and C. Pesquita, "Improving the interoperability of biomedical ontologies with compound alignments", Journal of biomedical semantics, vol. 9, no. 1: BioMed Central, pp. 1, 2018.
Duarte, C., D. Costa, and L. Carriço, "Innovative Accessible Interfaces", The Wiley Handbook of Human Computer Interaction, vol. 2: Wiley Online Library, pp. 715–730, 2018.
Alchieri, E. Adilio Pel, A. Bessani, F. Greve, and J. da Silva Fraga, "Knowledge connectivity requirements for solving Byzantine consensus with unknown participants", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 2: IEEE, pp. 246–259, 2018.
Casal, F., J. Rasga, and A. Souto, "Kolmogorov One-Way Functions Revisited", Cryptography, vol. 2, no. 2: Multidisciplinary Digital Publishing Institute, pp. 9, 2018.
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, vol. 3, no. 3: IEEE, pp. 153–166, 2018.
Duarte, F., R. Gil, P. Romano, A. Lopes, and L. Rodrigues, "Learning non-deterministic impact models for adaptation", Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems: ACM, pp. 196–205, 2018.
Narodytska, N., A. Ignatiev, F. Pereira, J. Marques-Silva, and ISDCT. S. B. RAS, "Learning Optimal Decision Trees with SAT.", IJCAI, pp. 1362–1368, 2018.
Aspnes, J., A. Bessani, P. Felber, and J. Leitao, "LIPIcs, Volume 95, OPODIS'17, Complete Volume", LIPIcs-Leibniz International Proceedings in Informatics, vol. 95: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Bonet, M. Luisa, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado, MaxSAT Resolution with the Dual Rail Encoding, , 2018.
Khosravani, H., A. Ruano, and PM. Ferreira, "A New Convex Hull, Sliding Window Based Online Adaptation Method", IFAC-PapersOnLine, vol. 51, no. 10: Elsevier, pp. 211–216, 2018.
Marques, D., T. Guerreiro, L. Carriço, K. Beznosov, and I. Beschastnikh, "Non-Stranger Danger: Examining the Effectiveness of Smartphone Locks in Preventing Intrusions by Socially-Close Adversaries", WAY 2018 - Who are you? Adventures in Authentication Workshop at SOUPS, 2018.
Rufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache, "NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
Fonseca, A., and B. Cabral, "Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs", Parallel Computing, vol. 76: Elsevier, pp. 42–56, 2018.
Canato, S., J. D. Santos, A. S. Carvalho, K. Aloria, M. D. Amaral, R. Matthiesen, A. O. Falcao, and C. M. Farinha, "Proteomic interaction profiling reveals KIFC1 as a factor involved in early targeting of F508del-CFTR to degradation", Cellular and Molecular Life Sciences: Springer, pp. 1–15, 2018.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "PySAT: A Python Toolkit for Prototyping with SAT Oracles", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", Quantum Information Processing, vol. 17, no. 11: Springer, pp. 288, 2018.
Cruz, N., and H. Miranda, "Recurring contacts between groups of devices: analysis and application", IEEE Transactions on Mobile Computing, vol. 17, no. 7: IEEE, pp. 1666–1679, 2018.
Magaia, N., Z. Sheng, P. Rogerio Pereira, and M. Correia, "REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks", IEEE Wireless Communications, vol. 25, no. 3: IEEE, pp. 65–71, 2018.
Ignatiev, A., F. Pereira, N. Narodytska, and J. Marques-Silva, "A SAT-based approach to learn explainable decision sets", International Joint Conference on Automated Reasoning: Springer, pp. 627–645, 2018.
Neves, N. Fuentecill, I. Vitória d Medeiros, and , Security auditing of a DLMS/COSEM Smart Grid communication protocol implementation, , 2018.
Duarte, C., I. Matos, and L. Carriço, "Semantic Content Analysis Supporting Web Accessibility Evaluation", Proceedings of the Internet of Accessible Things: ACM, pp. 22, 2018.
Fernandes, M., J. Decouchant, M. Voelp, F. M. Couto, and P. Esteves-Verissimo, "Sensitivity Levels: Optimizing the Performance of Privacy Preserving DNA Alignment", bioRxiv: Cold Spring Harbor Laboratory, pp. 292227, 2018.
Garcia, M., N. Neves, and A. Bessani, "SieveQ: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3: IEEE, pp. 511–525, 2018.
Matos, D. R., N. Neves, and A. Bessani, "SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants", arXiv preprint arXiv:1804.09107, 2018.
Faria, D., C. Pesquita, I. Mott, C. Martins, F. M. Couto, and I. F. Cruz, "Tackling the challenges of matching biomedical ontologies", Journal of biomedical semantics, vol. 9, no. 1: BioMed Central, pp. 4, 2018.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, and AM. Vicente, "Translating the complex ASD genetic architecture into clinical phenotype using an integrative system biology approach", European Society of Human Genetics, 16-19 june, 2018: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2018.
Henriques, R., and S. C. Madeira, "Triclustering Algorithms for Three-Dimensional Data Analysis: A Comprehensive Survey", ACM Computing Surveys (CSUR), vol. 51, no. 5: ACM, pp. 95, 2018.
Fonseca, A., and B. Cabral, "Understanding the impact of task granularity in the energy consumption of parallel programs", Sustainable Computing: Informatics and Systems, vol. 17: Elsevier, pp. 69–80, 2018.
Marques, P., Z. Dabbabi, MM. Mironesc, O. Thonnard, A. Bessani, F. Buontempo, and I. Gashi, Using Diverse Detectors for Detecting Malicious Web Scraping Activity, , 2018.
Mendes, H., I. Medeiros, and N. Neves, "Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): IEEE, pp. 179–184, 2018.
Ivanova, V., P. Lambrix, S. Lohmann, and C. Pesquita, "Visualization and interaction for ontologies and linked data", Journal of Web Semantics, 2018.
Ivanova, V., P. Lambrix, S. Lohmann, and C. Pesquita, "VOILA 2018 Visualization and Interaction for Ontologies and Linked Data: Proceedings of the Fourth International Workshop on Visualization and Interaction for Ontologies and Linked Data co-located with the 17th International Semantic Web Conference (ISWC ", Fourth International Workshop on Visualization and Interaction for Ontologies and Linked Data: CEUR Workshop Proceedings, 2018.
Bonani, M., R. Oliveira, F. Correia, A. Rodrigues, T. Guerreiro, and A. Paiva, "What My Eyes Can't See, A Robot Can Show Me: Exploring the Collaboration Between Blind People and Robots", Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility: ACM, pp. 15–27, 2018.
Ruano, A., S. Silva, H. Duarte, and P. M. Ferreira, "Wireless Sensors and IoT Platform for Intelligent HVAC Control", Applied Sciences, vol. 8, no. 3: Multidisciplinary Digital Publishing Institute, pp. 370, 2018.
Souto, A., L. Antunes, P. Mateus, and A. Teixeira, "Witness hiding without extractors or simulators", Conference on Computability in Europe: Springer, pp. 397–409, 2018.
2017
Cachucho, L., A. Usié, A. Albuquerque, C. Leão, B. Meireles, P. Barbosa, D. Gaspar, JM. Martins, R. Charneca, M. Ramos, et al., Characterization of carcass composition and meat quality traits of Alentejano pigs finished under free-range conditions-Preliminary results, : CICYTEX, 2017.
Caleiro, C., F. Casal, and A. Mordido, "Classical generalized probabilistic satisfiability", Proceedings of the 26th International Joint Conference on Artificial Intelligence: AAAI Press, pp. 908–914, 2017.
Usié, A., F. Simões, P. Barbosa, B. Meireles, I. Chaves, S. Gonçalves, A. Folgado, M. H. Almeida, J. Matos, and A. M. Ramos, "Comprehensive analysis of the cork oak (Quercus suber) transcriptome involved in the regulation of bud sprouting", Forests, vol. 8, no. 12: Multidisciplinary Digital Publishing Institute, pp. 486, 2017.
Barbosa, P., C. Leão, A. Usié, A. Amaro, A. Botelho, C. Pinto, J. Inácio, K. Stevenson, and A. Marcos Ramos, "Draft genome sequence of a rare pigmented Mycobacterium avium subsp. paratuberculosis Type C strain", Genome announcements, vol. 5, no. 41: Am Soc Microbiol, pp. e01066–17, 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.
Caleiro, C., F. Casal, and A. Mordido, "Generalized probabilistic satisfiability", Electronic Notes in Theoretical Computer Science, vol. 332: Elsevier, pp. 39–56, 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?", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 74–82, 2017.
2014
Pereira, T., C. Maruta, A. de Mendonça, M. Guerreiro, and S. C. Madeira, "Do Data Mining Methods Support the Three-Group Diagnostic Model of Primary Progressive Aphasia?", ACM SIGKDD Workshop on Healthcare Informatics (HI-KDD 2014), 2014.
Ferrnandes, J., J. P. Arrais, N. F. Azevedo, E. Balsa-Canto, J. R. Banga, P. Barbosa, C. A. C. Bastos, C. Bernon, S. Bongard, L. Borrajo, et al., "ElGokhy, Sherin M. 31 Estévez, Carlos 9 Fdez-Riverola, Florentino 49, 269 Ferreira, João 253", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014), vol. 294: Springer, pp. 293, 2014.
Barbosa, P., O. Dias, J. P. Arrais, and M. Rocha, "Metagenomic Analysis of the Saliva Microbiome with Merlin", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014): Springer, pp. 191–199, 2014.