???global.info.a_carregar???
Arlindo Limede de Oliveira. Concluiu o(a) Licenciatura em Engenharia Electrotécnica e de Computadores em 1986/07/15 pelo(a) Universidade de Lisboa Instituto Superior Técnico e Doctor of Philosophy em Electrical and Computer Engineering em 1994/12/20 pelo(a) University of California, Berkeley. Publicou 101 artigos em revistas especializadas. Possui 1 capítulo(s) de livros e 3 livro(s). No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Previsão de Tráfego com Contexto Situacional; Análise Integrativa de Dados Urbanos Heterogéneos; Aprendizagem Profunda por Reforço; Optimização da Mobilidade Urbana; Redução de Modelos; Simulação do Cérebro; Controlo Temporal da Simulação; Computação Paralela; Medicina de Precisão; Tecnologias da saúde; Oncologia; Imunidade; Conectividade Funcional no Cérebro; Análise de Redes de Elevada Complexidade; fMRI por Campos de Elevada Intensidade; fMRI em repouso; análise de dados de interacções; Biologia Computacional; Computação Social; Big Data; redes complexas; dinâmica de/em redes complexas; padrões em redes complexas; algoritmia; Neurodegenerative Diseases; Clinical and Omics Data Integration; Knowledge Discovery; Systems Medicine; Arquitectura Heterogénea com Múltiplos Núcleos; Análise de Sequências Biológicas; Tecnologias de Sequenciação de Elevado Débito; Algoritmos Paralelos; Novas Tecnologias de Sequenciação; Sequenciação de DNA e RNA; Algoritmos de Indexação para Alinhamento; Estruturas de dados distribuidas; Algoritmos ; Bioinformática; Redes de regulação genética; MicroRNA; Sistemas dinâmicos; inferência de haplotipos; satisfação proposicional; parcimónia pura; dados reais; Redes de regulação transcricional; Respostas a drogas; Transportadores de multiplas drogas; Genómica Funcional e Bioinformática; Saccharomyces cerevisiae; Respostas a drogas/stresse químico ; recuperação de informação; bibliotecas digitais; organização de documentos; partilha de informação; Gestão de Informação Pessoal; Recuperação de Informação; Interfaces com o Utilizador; Computação Ubíqua; engenharia de ontologias; aprendizagem de ontologias; Análise de risco; Semantic Web; Genómica; Redes de regulação; Sistema de informação; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Arlindo Limede de Oliveira

Nomes de citação

  • Oliveira, Arlindo

Identificadores de autor

Ciência ID
E718-A5FB-4F7D
ORCID iD
0000-0001-8638-5594
Formação
Grau Classificação
1989/08/16 - 1994/12/20
Concluído
 Electrical and Computer Engineering (Doctor of Philosophy)
University of California, Berkeley, Estados Unidos
"Inductive learning by selection of minimal complexity representations" (TESE/DISSERTAÇÃO)
1987/09/01 - 1989/07/30
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"A simulação concorrente de faltas em circuitos integrados usando modelos ao nível de interruptor " (TESE/DISSERTAÇÃO)
1981/01/02 - 1986/07/15
Concluído
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Especialização em Sistemas e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
 19
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - 2018 Professor Catedrático (Docente Universitário) Universidade de Lisboa, Portugal
2013 - 2016 Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2017 - 2018 Conselho geral ou orgão correspondente Universidade de Lisboa, Portugal
2016 - 2018 Conselho de gestão ou orgão correspondente Universidade de Lisboa, Portugal
2016 - 2018 Diretor ou presidente da unidade orgânica Universidade de Lisboa, Portugal
2013 - 2016 Diretor ou presidente da unidade orgânica Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
2022/10/01 - Atual Center for Responsible Artificial Intelligence
C645008882-00000055
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
2022/01/01 - 2024/12/30 Precise and Efficient Learning using Attention Mechanisms (PRELUNA)
PTDC/CCI-INF/4703/2021
Investigador responsável
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2021/12/31 iLU: Aprendizagem Avançada em Dados Urbanos com Contexto Situacional para Optimização da Mobilidade nas Cidades
DSAIPA/DS/0111/2018
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Camara Municipal de Lisboa, Portugal

Laboratório Nacional de Engenharia Civil, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2021/09/30 Algoritmos para Redução de Modelos e Simulação Eficiente de Redes Neuronais Realistas
PTDC/EEI-EEE/31140/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/07/01 - 2021/05/31 INTAKE: INtegrating mobility daTa into spAtial risK modEls
projeto nº 361, INTAKE: INtegrating mobility daTa into spAtial risK modEls
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2016/12/01 - 2020/11/30 Promoção do avanço significativo do conhecimento na área de medicina de precisão e sua translação para benefício da sociedade
SAICTPAC/0021/2015
Instituto de Medicina Molecular João Lobo Antunes, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2013/07/01 - 2016/07/03 Tratamento de Dados em Larga-escala em Ambientes Nuvem
EXCL/EEI-ESS/0257/2012
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundacao para a Computacao Cientifica Nacional, Portugal

Instituto de Biologia Experimental e Tecnológica, Portugal

Universidade de Lisboa Instituto Superior de Agronomia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/07/01 - 2015/12/31 HIFI-MRI: Análise de Conectividade Funcional no Cérebro usando fMRI por Campos de Elevada Intensidade
PTDC/EEI-ELC/3246/2012
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012/01/01 - 2014/06/30 NetDyn: Análise de redes reais de grande dimensão, da estrutura à dinâmica
PTDC/EIA-CCO/118533/2010
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Instituto de Medicina Molecular João Lobo Antunes, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/03/01 - 2014/02/28 NEUROCLINOMICS - Compreendendo as doenças neurodegenerativas através da integração de dados clínicos e genómicos
PTDC/EIA-EIA/111239/2009
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Instituto de Medicina Molecular João Lobo Antunes, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 HELIX: Arquitectura heterogénea com múltiplos núcleos para análise de sequências biológicas
PTDC/EEA-ELC/113999/2009
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 TAGS : O poder do pequeno - Ferramentas e algoritmos para as novas aplicações de sequenciação
PTDC/EIA-EIA/112283/2009
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 ARN - Algoritmos para a identificação de redes de regulação genética
PTDC/EIA/67722/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 Dyablo: Modelos para o Comportamento Dinâmico de Redes Biológicas
PTDC/EIA/71587/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 SHIPs: Inferência de Haplotipos por Parcimónia Pura baseada em Satisfação Proposicional
PTDC/EIA/64164/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade Nova de Lisboa Faculdade de Ciências Médicas, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2007/09/12 - 2010/11/10 Caracterização e modelação de uma rede de regulação transcricional específica envolvida na resistência a múltiplas drogas em levedura
PTDC/BIO/72063/2006
Universidade de Lisboa Instituto Superior Técnico, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/04/01 - 2008/06/30 IBRID - Informação Biográfica para Recuperação Interactiva de Documentos
POSC/EIA/59022/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/06/01 - 2008/06/01 Um Ambiente Integrado para Investigação e Ensino de Tecnologias de Recuperação de Informação
POSC/EIA/58194/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/04/01 - 2008/03/31 Onto-SeaWeb - Engenharia de Ontologias para a Semantic Web
POSC/EIA/58210/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2006/01/02 - 2008/01/01 Elucidação das complexas redes de regulação que actuam na levedura sujeita a drogas/stresse químico: abordagens de expressão genómica e de bioinformática
PDCT/BIO/56838/2004
Universidade de Lisboa Instituto Superior Técnico, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/01/01 - 2007/12/31 DBYeast: Infraestruturas e algoritmos para análise e identificação de redes de regulação genética
POSC/EIA/57398/2004
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. André V. Duarte; João D.S. Marques; GRAÇA, Miguel; FREIRE, MIGUEL; Lei Li; Oliveira, Arlindo. "LumberChunker: Long-Form Narrative Document Segmentation". Trabalho apresentado em Findings of the Association for Computational Linguistics: EMNLP 2024, 2024.
  2. Duarte, André; Xuandong Zhao; Oliveira, Arlindo; Lei Li. Autor correspondente: Duarte, André. "DE-COP: Detecting Copyrighted Content in Language Models Training Data". Trabalho apresentado em International Conference on Machine Learning, Vienna, 2024.
    Publicado
  3. Duarte, André V.; Oliveira, Arlindo L.. "Improving Embeddings for High-Accuracy Transformer-Based Address Matching Using a Multiple in-Batch Negatives Loss". 2023.
    10.1109/icmla58977.2023.00025
  4. Novo, João Pedro; Goulão, Manuel; Bandeira, Lourenço; Martins, Bruno; Oliveira, Arlindo L.. "Augmentation-Based Approaches for Overcoming Low Visibility in Street Object Detection". 2023.
    10.1109/icmla58977.2023.00294
  5. Goulão, M.; Oliveira, A.L.. "Pretraining the Vision Transformer using self-supervised methods for vision based Deep Reinforcement Learning". Trabalho apresentado em European Conference on Artificial intelligence, Krakow, 2023.
    10.48550/arXiv.2209.10901
  6. André V. Duarte; Arlindo L. Oliveira. "Improving Address Matching Using Siamese Transformer Networks". Trabalho apresentado em EPIA Conference on Artificial Intelligence, Lisboa, 2023.
    10.1007/978-3-031-49011-8_33
  7. Pedro Van Stralen; Dinis L. Rodrigues; Arlindo L. Oliveira; Miguel N. Menezes; Fausto J. Pinto. "Stenosis Detection in X-ray Coronary Angiography with Deep Neural Networks Leveraged by Attention Mechanisms". 2022.
    10.1145/3569192.3569212
  8. Vieira, A.B.; Fonseca, A.C.; Ferro, J.; Oliveira, A.L.. "Using a Siamese Network to Accurately Detect Ischemic Stroke in Computed Tomography Scans". Trabalho apresentado em EPIA Conference on Artificial Intelligence, 2022.
    10.1007/978-3-031-16474-3_14
  9. Oliveira, T.G.; Oliveira, A.L.. "Assessing Policy, Loss and Planning Combinations in Reinforcement Learning Using a New Modular Architecture". Trabalho apresentado em EPIA Conference on Artificial Intelligence, 2022.
    10.1007/978-3-031-16474-3_35
  10. Pedro, R.; Oliveira, A.L.. "Assessing the Impact of Attention and Self-Attention Mechanisms on the Classification of Skin Lesions". 2022.
    10.1109/IJCNN55064.2022.9892274
  11. Lourenço-Silva, João; Arlindo L. Oliveira. "Using Soft Labels to Model Uncertainty in Medical Image Segmentation". Trabalho apresentado em MICCAI Brain Lesion workshop, Virtual, 2021.
    No prelo
  12. Oliveira, Arlindo. "Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information". Trabalho apresentado em Algebraic and Numeric Biology, 2012.
    10.1007/978-3-642-28067-2_3
  13. Ferreira, A.; Oliveira, A.; Figueiredo, M.. "On the use of suffix arrays for memory-efficient Lempel-Ziv data compression". 2009.
  14. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Indexed hierarchical approximate string matching". Trabalho apresentado em International Symposium on String Processing and Information Retrieval, 2008.
    10.1007/978-3-540-89097-3_15
  15. Francisco, A.P.; Baeza-Yates, R.; Oliveira, A.L.. "Clique analysis of query log graphs". Trabalho apresentado em International Symposium on String Processing and Information Retrieval, 2008.
    10.1007/978-3-540-89097-3_19
  16. Trezentos, P.; Oliveira, A.L.. "Metrics for grid applicability: A distributed elliptic curve platform assessment". Trabalho apresentado em Parallel Processing and Applied Mathematics, 2004.
    10.1007/978-3-540-24669-5_112
  17. Freitas, A.T.; Oliveira, A.L.. "Implicit resolution of the Chapman-Kolmogorov equations for sequential circuits: An application in power estimation". 2003.
    10.1109/DATE.2003.1253699
  18. Antunes, C.M.; Oliveira, A.L.. "Inference of sequential association rules guided by context-free grammars". 2002.
    10.1007/3-540-45790-9_1
  19. Oliveira, A.L.; Murgai, R.. "An exact gate assignment algorithm for tree circuits under rise and fall delays". 2000.
    10.1109/ICCAD.2000.896513
  20. Oliveira, A.L.; Silva, J.P.M.. "Efficient search techniques for the inference of minimum size finite automata". 1998.
    10.1109/SPIRE.1998.712986
  21. Oliveira, A.L.; Edwards, S.. "Limits of exact algorithms for inference of minimum size finite state machines". Trabalho apresentado em Algorithmic Learning Theory, 1996.
    10.1007/3-540-61863-5_34
  22. Oliveira, A.L.; Sangiovanni-Vincentelli, A.. "Inferring Reduced Ordered Decision Graphs of Minimum Description Length". 1995.
  23. Oliveira, A.L.; Sangiovanni-Vincentelli, A.. "Constructive Induction Using a Non-Greedy Strategy for Feature Selection". 1992.
    10.1016/B978-1-55860-247-2.50050-4
  24. Oliveira, A.L.; Sangiovanni-Vincentelli, A.. "Learning Concepts by Synthesizing Minimal Threshold Gate Networks". 1991.
    10.1016/B978-1-55860-200-7.50042-8
Artigo em revista
  1. Oliveira, Catarina; Vilela, Marta; Silva Marques, João; Jorge, Cláudia; Rodrigues, Tiago; Francisco, Ana Rita; Oliveira, Rita Marante de; et al. "Non-invasive derivation of instantaneous free-wave ratio from invasive coronary angiography using a new deep learning artificial intelligence model and comparison with human operators’ performance". The International Journal of Cardiovascular Imaging 41 4 (2025): 755-771. https://doi.org/10.1007/s10554-025-03369-y.
    10.1007/s10554-025-03369-y
  2. Xuanfeng Li; Yuxi Lin; Wei He; Ruibin Liu; Arlindo L. Oliveira; Tao Qian; Jinping Zheng; Chitin Hon. "Enhancing the Interpretation of Spirometry: Joint Utilization of n-Order Adaptive Fourier Decomposition and Deep Learning Techniques". IEEE Transactions on Instrumentation and Measurement (2025): https://doi.org/10.1109/TIM.2025.3557112.
    10.1109/TIM.2025.3557112
  3. Afonso, Martim; Bhawsar, Praphulla M.S.; Saha, Monjoy; Almeida, Jonas S.; Oliveira, Arlindo L.. "Multiple Instance Learning for WSI: A comparative analysis of attention-based approaches". Journal of Pathology Informatics 15 (2024): 100403. https://doi.org/10.1016/j.jpi.2024.100403.
    10.1016/j.jpi.2024.100403
  4. Nobre Menezes, Miguel; Oliveira, Catarina Simões; Silva, João Lourenço; Silva, Beatriz Valente; Silva Marques, João; Guerreiro, Cláudio; Guedes, João Pedro; et al. "Old Habits Die Hard". JACC: Advances 3 8 (2024): 101093. https://doi.org/10.1016/j.jacadv.2024.101093.
    10.1016/j.jacadv.2024.101093
  5. Goulão, Manuel; Bandeira, Lourenço; Martins, Bruno; L. Oliveira, Arlindo. "Training environmental sound classification models for real-world deployment in edge devices". Discover Applied Sciences 6 4 (2024): https://doi.org/10.1007/s42452-024-05803-7.
    10.1007/s42452-024-05803-7
  6. Miguel Nobre Menezes; João Lourenço Silva; Beatriz Silva; Rita Marante de Oliveira; Tiago Rodrigues; Arlindo Oliveira; Fausto Pinto. "Coronary Physiology Instantaneous Wave-Free Ratio (iFR) Derived From X-Ray Angiography Using Artificial Intelligence Deep Learning Models: A Pilot Study". Journal of Invasive Cardiology (2024): https://doi.org/10.25270/jic/23.00285.
    10.25270/jic/23.00285
  7. Gonçalo Oliveira; Ana Catarina Fonseca; José Ferro; Arlindo L. Oliveira. "Deep Learning-Based Extraction of Biomarkers for the Prediction of the Functional Outcome of Ischemic Stroke Patients". Diagnostics (2023): https://doi.org/10.3390/diagnostics13243604.
    10.3390/diagnostics13243604
  8. Hon, Chitin; Liang, Jingyi; Chen, Ruihan; Lin, Zhijie; Wang, Yangqianxi; He, Wei; Liu, Ruibin; et al. "Temporary impact on medical system and effectiveness of mitigation strategies after COVID-19 policy adjustment in China: a modeling study". Frontiers in Public Health 11 (2023): https://doi.org/10.3389/fpubh.2023.1259084.
    10.3389/fpubh.2023.1259084
  9. Oliveira, Arlindo. "Segmentation of X-ray coronary angiography with an artificial intelligence deep learning model: Impact in operator visual assessment of coronary stenosis severity". Catheterization and cardiovascular interventions (2023):
    Publicado
  10. Oliveira, Arlindo. "Potential and Limitations of Computed Tomography Images as Predictors of the Outcome of Ischemic Stroke Events: A Review". Frontiers in Stroke (2023): https://www.frontiersin.org/articles/10.3389/fstro.2023.1242901/full.
  11. Valente Silva, Beatriz; Marques, João; Nobre Menezes, Miguel; Oliveira, Arlindo L.; Pinto, Fausto J.. "Artificial intelligence-based diagnosis of acute pulmonary embolism: Development of a machine learning model using 12-lead electrocardiogram". Revista Portuguesa de Cardiologia 42 7 (2023): 643-651. https://doi.org/10.1016/j.repc.2023.03.016.
    10.1016/j.repc.2023.03.016
  12. Nobre Menezes, M.; Silva, J.L.; Silva, B.; Rodrigues, T.; Guerreiro, C.; Guedes, J.P.; Santos, M.O.; Oliveira, A.L.; Pinto, F.J.. "Coronary X-ray angiography segmentation using Artificial Intelligence: a multicentric validation study of a deep learning model". International Journal of Cardiovascular Imaging (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85152078210&partnerID=MN8TOARS.
    10.1007/s10554-023-02839-5
  13. Barbulescu, R.; Mestre, G.; Oliveira, A.L.; Silveira, L.M.. "Learning the dynamics of realistic models of C. elegans nervous system with recurrent neural networks". Scientific Reports 13 1 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85146105516&partnerID=MN8TOARS.
    10.1038/s41598-022-25421-w
  14. Mário Cardoso; André Cavalheiro; Alexandre Borges; Ana Filipa Duarte; Amílcar Soares; Maria João Pereira; Nuno Jardim Nunes; Leonardo Azevedo; Arlindo Oliveira. "Modeling the Geospatial Evolution of COVID-19 using Spatio-temporal Convolutional Sequence-to-sequence Neural Networks". ACM Transactions on Spatial Algorithms and Systems (2022): https://doi.org/10.1145/3550272.
    10.1145/3550272
  15. Arlindo L. Oliveira. "A blueprint for conscious machines". Proceedings of the National Academy of Sciences (2022): https://doi.org/10.1073/pnas.2205971119.
    10.1073/pnas.2205971119
  16. Oliveira, Arlindo. "The bio.tools registry of software tools and data resources for the life sciences". Genome Biology (2019): http://dx.doi.org/10.1186/s13059-019-1772-6.
    10.1186/s13059-019-1772-6
  17. Oliveira, Arlindo. "Biotechnology, Big Data and Artificial Intelligence". Biotechnology Journal (2019): http://dx.doi.org/10.1002/biot.201800613.
    10.1002/biot.201800613
  18. Miguel Monteiro; Ana Catarina Fonseca; Ana Teresa Freitas; Teresa Pinho e Melo; Alexandre P. Francisco; Jose M. Ferro; Arlindo L. Oliveira. "Using Machine Learning to Improve the Prediction of Functional Outcome in Ischemic Stroke Patients". IEEE/ACM Transactions on Computational Biology and Bioinformatics 15 6 (2018): 1953-1959. https://doi.org/10.1109/TCBB.2018.2811471.
    10.1109/TCBB.2018.2811471
  19. Oliveira, Arlindo. "ISLES 2016 and 2017-Benchmarking Ischemic Stroke Lesion Outcome Prediction Based on Multispectral MRI". Frontiers in Neurology (2018): http://dx.doi.org/10.3389/fneur.2018.00679.
    10.3389/fneur.2018.00679
  20. Oliveira, Arlindo. "Computational Approach to the Discovery of Phytochemical Molecules with Therapeutic Potential Targets to the PKCZ protein". Letters in Drug Design & Discovery (2018): http://dx.doi.org/10.2174/1570180814666170810120150.
    10.2174/1570180814666170810120150
  21. Oliveira, Arlindo. "DegreeCox – a network-based regularization method for survival analysis". BMC Bioinformatics (2016): http://dx.doi.org/10.1186/s12859-016-1310-4.
    10.1186/s12859-016-1310-4
  22. Niklas Blomberg; Arlindo Oliveira; Barend Mons; Bengt Persson; Inge Jonassen. "The ELIXIR channel in F1000Research [version 2; referees: not peer reviewed]". (2016): http://f1000research.com/articles/4-1471/v2.
    10.12688/f1000research.7587.2
  23. Oliveira, Arlindo. "The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation inSaccharomyces cerevisiae". Nucleic Acids Research (2014): http://dx.doi.org/10.1093/nar/gkt1015.
    10.1093/nar/gkt1015
  24. Oliveira, Arlindo. "Using Information Interaction to Discover Epistatic Effects in Complex Diseases". PLoS ONE (2013): http://dx.doi.org/10.1371/journal.pone.0076300.
    10.1371/journal.pone.0076300
  25. Oliveira, Arlindo. "Mining query log graphs towards a query folksonomy". Concurrency and Computation: Practice and Experience (2012): http://dx.doi.org/10.1002/cpe.1773.
    10.1002/cpe.1773
  26. Oliveira, Arlindo. "GRISOTTO: A greedy approach to improve combinatorial algorithms for motif discovery with prior knowledge". Algorithms for Molecular Biology (2011): http://dx.doi.org/10.1186/1748-7188-6-13.
    10.1186/1748-7188-6-13
  27. Oliveira, Arlindo. "QUANTITATIVE MODELING OF THE SACCHAROMYCES CEREVISIAE FLR1 REGULATORY NETWORK USING AN S-SYSTEM FORMALISM". Journal of Bioinformatics and Computational Biology (2011): http://dx.doi.org/10.1142/s0219720011005690.
    10.1142/s0219720011005690
  28. Oliveira, Arlindo. "Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae". IET Systems Biology (2011): http://dx.doi.org/10.1049/iet-syb.2011.0001.
    10.1049/iet-syb.2011.0001
  29. Oliveira, Arlindo. "Efficient alignment of pyrosequencing reads for re-sequencing applications". BMC Bioinformatics (2011): http://dx.doi.org/10.1186/1471-2105-12-163.
    10.1186/1471-2105-12-163
  30. CalÇada, D.; Vinga, S.; Freitas, A.T.; Oliveira, A.L.. "Quantitative modeling of the saccharomyces cerevisiae FLR1 regulatory network using an s-system formalism". Journal of Bioinformatics and Computational Biology 9 5 (2011): 613-630. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053654755&partnerID=MN8TOARS.
    10.1142/S0219720011005690
  31. Dias, P.J.; Costa, C.P.; Sá-Correia, I.; Teixeira, M.C.; Monteiro, P.T.; Oliveira, A.L.; Freitas, A.T.. "Using systems biology approaches to study a multidrug resistance network". 1st Portuguese Meeting in Biomedical Engineering, ENBENG 2011 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-80053956931&partnerID=MN8TOARS.
    10.1109/ENBENG.2011.6026073
  32. Gonçalves, J.P.; Francisco, A.P.; Mira, N.P.; Teixeira, M.C.; Sá-Correia, I.; Oliveira, A.L.; Madeira, S.C.. "TFRank: Network-based prioritization of regulatory associations underlying transcriptional responses". Bioinformatics 27 22 (2011): 3149-3157. http://www.scopus.com/inward/record.url?eid=2-s2.0-80755171153&partnerID=MN8TOARS.
    10.1093/bioinformatics/btr546
  33. Francisco, A.P.; Oliveira, A.L.. "Fully generalized graph cores". Communications in Computer and Information Science 116 CCIS (2011): 22-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-81755166860&partnerID=MN8TOARS.
    10.1007/978-3-642-25501-4_3
  34. Francisco, A.P.; Oliveira, A.L.. "On community detection in very large networks". Communications in Computer and Information Science 116 CCIS (2011): 208-216. http://www.scopus.com/inward/record.url?eid=2-s2.0-81755166850&partnerID=MN8TOARS.
    10.1007/978-3-642-25501-4_21
  35. Abdulrehman, D.; Monteiro, P.T.; Teixeira, M.C.; Mira, N.P.; Lourenço, A.B.; Dos Santos, S.C.; Cabrito, T.R.; et al. "YEASTRACT: Providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface". Nucleic Acids Research 39 SUPPL. 1 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-78651272522&partnerID=MN8TOARS.
    10.1093/nar/gkq964
  36. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Haplotype inference with pseudo-Boolean optimization". Annals of Operations Research 184 1 (2011): 137-162. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952281186&partnerID=MN8TOARS.
    10.1007/s10479-009-0675-4
  37. Ferreira, A.; Oliveira, A.; Figueiredo, M.. "Sliding window update using suffix arrays". Data Compression Conference Proceedings (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-79955740041&partnerID=MN8TOARS.
    10.1109/DCC.2011.60
  38. Carvalho, A.M.; Roos, T.; Oliveira, A.L.; Myllym¨aki, P.. "Discriminative learning of bayesian networks via factorized conditional log-likelihood". Journal of Machine Learning Research 12 (2011): 2181-2210. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052204958&partnerID=MN8TOARS.
  39. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Fully compressed suffix trees". ACM Transactions on Algorithms 7 4 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-80053483441&partnerID=MN8TOARS.
    10.1145/2000807.2000821
  40. Madeira, S.C.; Teixeira, M.C.; Sá-Correia, I.; Oliveira, A.L.. "Identification of regulatory modules in time series gene expression data using a linear time biclustering algorithm". IEEE/ACM Transactions on Computational Biology and Bioinformatics 7 1 (2010): 153-165. http://www.scopus.com/inward/record.url?eid=2-s2.0-76849109141&partnerID=MN8TOARS.
    10.1109/TCBB.2008.34
  41. Graça, A.; Lynce, I.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference by pure parsimony: A survey". Journal of Computational Biology 17 8 (2010): 969-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956065828&partnerID=MN8TOARS.
    10.1089/cmb.2009.0101
  42. Francisco, A.P.; Baeza-Yates, R.; Oliveira, A.L.. "Mining large query induced graphs towards a hierarchical query folksonomy". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6393 LNCS (2010): 237-242. http://www.scopus.com/inward/record.url?eid=2-s2.0-78549243815&partnerID=MN8TOARS.
    10.1007/978-3-642-16321-0_24
  43. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Parallel and distributed compressed indexes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6129 LNCS (2010): 348-360. http://www.scopus.com/inward/record.url?eid=2-s2.0-78449285588&partnerID=MN8TOARS.
    10.1007/978-3-642-13509-5_31
  44. Francisco, A.P.; Schbath, S.; Freitas, A.T.; Oliveira, A.L.. "Using graph modularity analysis to identify transcription factor binding sites". 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010 (2010): 19-26. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952035469&partnerID=MN8TOARS.
    10.1109/BIBMW.2010.5703767
  45. Teixeira, M.C.; Dias, P.J.; Monteiro, P.T.; Sala, A.; Oliveira, A.L.; Freitas, A.T.; Sá-Correia, I.. "Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches". Molecular BioSystems 6 12 (2010): 2471-2481. http://www.scopus.com/inward/record.url?eid=2-s2.0-78149432402&partnerID=MN8TOARS.
    10.1039/c004881j
  46. Trezentos, P.; Lynce, I.; Oliveira, A.L.. "Apt-pbo: Solving the software dependency problem using pseudo-boolean optimization". ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (2010): 427-436. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649766075&partnerID=MN8TOARS.
    10.1145/1858996.1859087
  47. Gonçalves, J.P.; Madeira, S.C.; Oliveira, A.L.. "BiGGEsTS: Integrated environment for biclustering analysis of time series gene expression data". BMC Research Notes 2 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-75649124958&partnerID=MN8TOARS.
    10.1186/1756-0500-2-124
  48. Bugalho, M.M.F.; Oliveira, A.L.. "Constant time clash detection in protein folding". Journal of Bioinformatics and Computational Biology 7 1 (2009): 55-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-65449173167&partnerID=MN8TOARS.
    10.1142/S0219720009003996
  49. Madeira, S.C.; Oliveira, A.L.. "A polynomial time biclustering algorithm for finding approximate expression patterns in gene expression time series". Algorithms for Molecular Biology 4 1 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-67651018681&partnerID=MN8TOARS.
    10.1186/1748-7188-4-8
  50. Ferreira, A.; Oliveira, A.; Figueiredo, M.. "On the use of suffix arrays for memory-efficient Lempel-Ziv data compression". Proceedings - 2009 Data Compression Conference, DCC 2009 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-67650671580&partnerID=MN8TOARS.
    10.1109/DCC.2009.50
  51. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.; Morales, P.. "Approximate string matching with compressed indexes". Algorithms 2 3 (2009): 1105-1136. http://www.scopus.com/inward/record.url?eid=2-s2.0-78449269708&partnerID=MN8TOARS.
    10.3390/a2031105
  52. Ferreira, A.J.; Oliveira, A.L.; Figueiredo, M.A.T.. "On the suitability of suffix arrays for Lempel-Ziv data compression". Communications in Computer and Information Science 48 (2009): 267-280. http://www.scopus.com/inward/record.url?eid=2-s2.0-73349140178&partnerID=MN8TOARS.
    10.1007/978-3-642-05197-5_19
  53. Madeira, S.C.; Oliveira, A.L.. "Efficient biclustering algorithms for time series gene expression data analysis". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5518 LNCS PART 2 (2009): 1013-1019. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952556444&partnerID=MN8TOARS.
    10.1007/978-3-642-02481-8_154
  54. Lynce, I.; Graca, A.; Marques-Silva, J.; Oliveira, A.L.. "Haplotype inference with boolean constraint solving: An overview". Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI 1 (2008): 92-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-57649143523&partnerID=MN8TOARS.
    10.1109/ICTAI.2008.135
  55. Francisco, A.P.; Baeza-Yates, R.; Oliveira, A.L.. "Clique analysis of query log graphs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5280 LNCS (2008): 188-199. http://www.scopus.com/inward/record.url?eid=2-s2.0-58049096675&partnerID=MN8TOARS.
    10.1007/978-3-540-89097-3-19
  56. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with combined CP and or techniques". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5015 LNCS (2008): 308-312. http://www.scopus.com/inward/record.url?eid=2-s2.0-44649089085&partnerID=MN8TOARS.
    10.1007/978-3-540-68155-7_28
  57. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Dynamic fully-compressed suffix trees". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5029 LNCS (2008): 191-203. http://www.scopus.com/inward/record.url?eid=2-s2.0-45849125001&partnerID=MN8TOARS.
    10.1007/978-3-540-69068-9_19
  58. Russo, L.M.S.; Oliveira, A.L.. "A compressed self-index using a Ziv-Lempel dictionary". Information Retrieval 11 4 (2008): 359-388. http://www.scopus.com/inward/record.url?eid=2-s2.0-43949107477&partnerID=MN8TOARS.
    10.1007/s10791-008-9050-3
  59. Wang, X.; Almeida, J.S.; Oliveira, A.L.. "Ontology design principles and normalization techniques in the web". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5109 LNBI (2008): 28-43. http://www.scopus.com/inward/record.url?eid=2-s2.0-48249150849&partnerID=MN8TOARS.
    10.1007/978-3-540-69828-9_5
  60. Francisco, A.P.; Oliveira, A.L.; Freitas, A.T.. "Identification of transcription factor binding sites in promoter regions by modularity analysis of the motif co-occurrence graph". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4983 LNBI (2008): 220-231. http://www.scopus.com/inward/record.url?eid=2-s2.0-49949113379&partnerID=MN8TOARS.
    10.1007/978-3-540-79450-9_21
  61. Bugalho, M.M.F.; Oliveira, A.L.. "An evaluation of the impact of side chain positioning on the accuracy of discrete models of protein structures". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5167 LNBI (2008): 23-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849099960&partnerID=MN8TOARS.
    10.1007/978-3-540-85557-6_3
  62. Ferreira, A.J.; Oliveira, A.L.; Figueiredo, M.A.T.. "Suffix arrays - A competitive choice for fast Lempel-Ziv compressions". SIGMAP 2008 - Proceedings of the International Conference on Signal Processing and Multimedia Applications (2008): 5-12. http://www.scopus.com/inward/record.url?eid=2-s2.0-55849091080&partnerID=MN8TOARS.
  63. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Indexed hierarchical approximate string matching". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5280 LNCS (2008): 144-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-58149084166&partnerID=MN8TOARS.
    10.1007/978-3-540-89097-3-15
  64. Martins, A.L.; Pinto, H.S.; Oliveira, A.L.. "Using grammatical inference techniques to learn ontologies that describe the structure of domain instances". Applied Artificial Intelligence 22 1-2 (2008): 139-167. http://www.scopus.com/inward/record.url?eid=2-s2.0-40149109469&partnerID=MN8TOARS.
    10.1080/08839510701853309
  65. Monteiro, P.T.; Mendes, N.D.; Teixeira, M.C.; D'orey, S.; Tenreiro, S.; Mira, N.P.; Pais, H.; et al. "YEASTRACT-DISCOVERER: New tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae". Nucleic Acids Research 36 SUPPL. 1 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-38549135468&partnerID=MN8TOARS.
    10.1093/nar/gkm976
  66. Casimiro, A.C.; Vinga, S.; Freitas, A.T.; Oliveira, A.L.. "An analysis of the positional distribution of DNA motifs in promoter regions and its biological relevance". BMC Bioinformatics 9 (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-41449103756&partnerID=MN8TOARS.
    10.1186/1471-2105-9-89
  67. Oliveira, D.C.; Santos, M.; Milheiriço, C.; Carriço, J.A.; Vinga, S.; Oliveira, A.L.; de Lencastre, H.. "ccrB typing tool: An online resource for staphylococci ccrB sequence typing [1]". Journal of Antimicrobial Chemotherapy 61 4 (2008): 959-960. http://www.scopus.com/inward/record.url?eid=2-s2.0-41149162248&partnerID=MN8TOARS.
    10.1093/jac/dkn021
  68. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Fully-compressed suffix trees". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4957 LNCS (2008): 362-373. http://www.scopus.com/inward/record.url?eid=2-s2.0-43049087046&partnerID=MN8TOARS.
    10.1007/978-3-540-78773-0_32
  69. Russo, L.M.S.; Oliveira, A.L.. "Efficient generation of super condensed neighborhoods". Journal of Discrete Algorithms 5 3 (2007): 501-513. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248641698&partnerID=MN8TOARS.
    10.1016/j.jda.2006.10.005
  70. Cardoso-Cachopo, A.; Oliveira, A.L.. "Semi-supervised single-label text categorization using centroid-based classifiers". Proceedings of the ACM Symposium on Applied Computing (2007): 844-851. http://www.scopus.com/inward/record.url?eid=2-s2.0-35248840423&partnerID=MN8TOARS.
    10.1145/1244002.1244189
  71. Carvalho, A.M.; Oliveira, A.L.; Sagot, M.-F.. "Efficient learning of bayesian network classifiers an extension to the TAN classifier". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4830 LNAI (2007): 16-25. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349068855&partnerID=MN8TOARS.
    10.1007/978-3-540-76928-6_4
  72. Carvalho, A.M.; Oliveira, A.L.. "Learning bayesian networks consistent with the optimal branching". Proceedings - 6th International Conference on Machine Learning and Applications, ICMLA 2007 (2007): 369-374. http://www.scopus.com/inward/record.url?eid=2-s2.0-47349105893&partnerID=MN8TOARS.
    10.1109/ICMLA.2007.60
  73. Russo, L.M.S.; Navarro, G.; Oliveira, A.L.. "Approximate string matching with Lempel-Ziv compressed indexes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4726 LNCS (2007): 264-275. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049048329&partnerID=MN8TOARS.
    10.1007/978-3-540-75530-2_24
  74. Madeira, S.C.; Oliveira, A.L.. "An efficient biclustering algorithm for finding genes with similar patterns in time-series expression data". Series on Advances in Bioinformatics and Computational Biology 5 (2007): 67-80. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856992657&partnerID=MN8TOARS.
    10.1142/9781860947995_0010
  75. Graça, A.; Marques-Silva, J.; Lynce, I.; Oliveira, A.L.. "Efficient haplotype inference with pseudo-boolean optimization". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4545 LNCS (2007): 125-139. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149133798&partnerID=MN8TOARS.
    10.1007/978-3-540-73433-8_10
  76. Marques-Silva, J.; Lynce, I.; Graça, A.; Oliveira, A.L.. "Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4874 LNAI (2007): 621-632. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349080817&partnerID=MN8TOARS.
    10.1007/978-3-540-77002-2_52
  77. Fernandes, J.M.; Santos, M.B.; Oliveira, A.L.; Teixeira, J.C.. "DFT and probabilistic testability analysis at RTL". Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT (2006): 41-47. http://www.scopus.com/inward/record.url?eid=2-s2.0-46249127278&partnerID=MN8TOARS.
    10.1109/HLDVT.2006.320002
  78. Fernandas, J.M.; Santos, M.B.; Oliveira, A.L.; Teixeira, J.C.. "Probabilistic testability analysis and DFT methods at RTL". 2006 IEEE Design and Diagnostics of Electronic Circuits and systems 2006 (2006): 214-215. http://www.scopus.com/inward/record.url?eid=2-s2.0-33847148458&partnerID=MN8TOARS.
    10.1109/DDECS.2006.1649614
  79. Mendes, N.D.; Casimiro, A.C.; Santos, P.M.; Sá-Correia, I.; Oliveira, A.L.; Freitas, A.T.. "MUSA: A parameter free algorithm for the identification of biologically significant motifs". Bioinformatics 22 24 (2006): 2996-3002. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845359995&partnerID=MN8TOARS.
    10.1093/bioinformatics/btl537
  80. Teixeira, M.C.; Monteiro, P.; Jain, P.; Tenreiro, S.; Fernandes, A.R.; Mira, N.P.; Alenquer, M.; et al. "The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae.". Nucleic acids research. 34 Database i (2006): http://www.scopus.com/inward/record.url?eid=2-s2.0-33644873683&partnerID=MN8TOARS.
  81. Carvalho, A.M.; Freitas, A.T.; Oliveira, A.L.; Sagot, M.-F.. "An efficient algorithm for the identification of structured motifs in DNA promoter sequences". IEEE/ACM Transactions on Computational Biology and Bioinformatics 3 2 (2006): 126-139. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646730147&partnerID=MN8TOARS.
    10.1109/TCBB.2006.16
  82. Coelho, L.P.; Oliveira, A.L.. "Dotted suffix trees a structure for approximate text indexing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4209 LNCS (2006): 329-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750333129&partnerID=MN8TOARS.
    10.1007/11880561_27
  83. Madeira, S.C.; Oliveira, A.L.. "A linear time biclustering algorithm for time series gene expression data". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3692 LNBI (2005): 39-52. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646191891&partnerID=MN8TOARS.
    10.1007/11557067_4
  84. Carvalho, A.M.; Freitas, A.T.; Oliveira, A.L.; Sagot, M.-F.. "A highly scalable algorithm for the extraction of cis-regulatory regions". Series on Advances in Bioinformatics and Computational Biology 1 (2005): 273-282. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857012084&partnerID=MN8TOARS.
    10.1142/9781860947322_0027
  85. Martins, A.L.; Sofia Pinto, H.; Oliveira, A.L.. "Using a more powerful teacher to reduce the number of queries of the l* algorithm in practical applications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3808 LNCS (2005): 325-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-33744792295&partnerID=MN8TOARS.
    10.1007/11595014_33
  86. Russo, L.M.S.; Oliveira, A.L.. "Faster generation of super condensed neighbourhoods using finite automata". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3772 LNCS (2005): 246-255. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646751474&partnerID=MN8TOARS.
    10.1007/11575832_28
  87. Bugalho, M.; Oliveira, A.L.. "Inference of regular languages using state merging algorithms with search". Pattern Recognition 38 9 (2005): 1457-1467. http://www.scopus.com/inward/record.url?eid=2-s2.0-19944414336&partnerID=MN8TOARS.
    10.1016/j.patcog.2004.03.027
  88. Antunes, C.; Oliveira, A.L.. "Constraint relaxations for discovering unknown sequential patterns". Lecture Notes in Computer Science 3377 (2005): 11-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-24144450249&partnerID=MN8TOARS.
    10.1007/978-3-540-31841-5_2
  89. Russo, L.M.S.; Oliveira, A.L.. "An efficient algorithm for generating Super Condensed Neighborhoods". Lecture Notes in Computer Science 3537 (2005): 104-115. http://www.scopus.com/inward/record.url?eid=2-s2.0-26444574213&partnerID=MN8TOARS.
    10.1007/11496656_10
  90. Madeira, S.C.; Oliveira, A.L.. "Biclustering algorithms for biological data analysis: A survey". IEEE/ACM Transactions on Computational Biology and Bioinformatics 1 1 (2004): 24-45. http://www.scopus.com/inward/record.url?eid=2-s2.0-3142768191&partnerID=MN8TOARS.
    10.1109/TCBB.2004.2
  91. Carvalho, A.M.; Oliveira, A.L.; Freitas, A.T.; Sagot, M.-F.. "A parallel algorithm for the extraction of structured motifs". Proceedings of the ACM Symposium on Applied Computing 1 (2004): 147-153. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442493152&partnerID=MN8TOARS.
    10.1145/967900.967932
  92. Fernandes, J.M.; Santos, M.B.; Oliveira, A.L.; Teixeira, J.C.. "A probabilistic method for the computation of testability of RTL constructs". Proceedings - Design, Automation and Test in Europe Conference and Exhibition 1 (2004): 176-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-3042610053&partnerID=MN8TOARS.
    10.1109/DATE.2004.1268845
  93. Carvalho, A.M.; Freitas, A.T.; Oliveira, A.L.; Sagot, M.-F.. "Efficient extraction of structured motifs using box-links". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3246 (2004): 267-268. http://www.scopus.com/inward/record.url?eid=2-s2.0-84871077318&partnerID=MN8TOARS.
    10.1007/978-3-540-30213-1_37
  94. Poveda, J.; Gould, M.; Oliveira, A.. "A New Quick Point Location Algorithm". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3289 (2004): 184-194. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048854726&partnerID=MN8TOARS.
    10.1007/978-3-540-30466-1_17
  95. Oliveira, A.L.; Murgai, R.. "On the problem of gate assignment under different rise and fall delays". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 22 6 (2003): 807-814. http://www.scopus.com/inward/record.url?eid=2-s2.0-0038042005&partnerID=MN8TOARS.
    10.1109/TCAD.2003.811455
  96. Madeira, S.C.; Oliveira, A.L.; Conceição, C.S.. "A data mining approach to credit risk evaluation and behaviour scoring". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2902 (2003): 184-188. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346325853&partnerID=MN8TOARS.
    10.1007/978-3-540-24580-3_25
  97. Antunes, C.; Oliveira, A.L.. "Generalization of pattern-growth methods for sequential pattern mining with gap constraints". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 2734 (2003): 239-251. http://www.scopus.com/inward/record.url?eid=2-s2.0-8344247025&partnerID=MN8TOARS.
    10.1007/3-540-45065-3_21
  98. Cardoso-Cachopo, A.; Oliveira, A.L.. "An empirical comparison of text categorization methods". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2857 (2003): 183-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142218945&partnerID=MN8TOARS.
    10.1007/978-3-540-39984-1_14
  99. Phillips, J.; Afonso, J.; Oliveira, A.; Miguel Silveira, L.. "Analog Macromodeling using Kernel Methods". IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers (2003): 446-453. http://www.scopus.com/inward/record.url?eid=2-s2.0-0347409192&partnerID=MN8TOARS.
    10.1109/iccad.2003.159722
  100. Monteiro, J.C.; Oliveira, A.L.. "Implicit FSM decomposition applied to low-power design". IEEE Transactions on Very Large Scale Integration (VLSI) Systems 10 5 (2002): 560-565. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036818380&partnerID=MN8TOARS.
    10.1109/TVLSI.2002.801611
  101. Oliveira, A.L.; Silva, J.P.M.. "Efficient algorithms for the inference of minimum size DFAs". Machine Learning 44 1-2 (2001): 93-119. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035399977&partnerID=MN8TOARS.
    10.1023/A:1010828029885
  102. Oliveira, A.L.. "Techniques for the creation of digital watermarks in sequential circuit designs". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 20 9 (2001): 1101-1117. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035440030&partnerID=MN8TOARS.
    10.1109/43.945306
  103. Freitas, A.T.; Oliveira, A.L.. "Circuit partitioning techniques for power estimation using the full set of input correlations". Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems 2 (2001): 903-907. http://www.scopus.com/inward/record.url?eid=2-s2.0-13844274764&partnerID=MN8TOARS.
  104. Monteiro, J.C.; Oliveira, A.L.. "FSM decomposition by direct circuit manipulation applied to low power design". Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC (2000): 351-358. http://www.scopus.com/inward/record.url?eid=2-s2.0-0348183361&partnerID=MN8TOARS.
    10.1145/368434.368678
  105. Oliveira, Arlindo L.. "Robust techniques for watermarking sequential circuit designs". Proceedings - Design Automation Conference (1999): 837-842. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032638553&partnerID=MN8TOARS.
    10.1145/309847.310082
  106. Pena, J.M.; Oliveira, A.L.. "A new algorithm for exact reduction of incompletely specified finite state machines". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18 11 (1999): 1619-1632. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033322750&partnerID=MN8TOARS.
    10.1109/43.806807
  107. Monteiro, Jose C.; Oliveira, Arlindo L.. "Finite state machine decomposition for low power". Proceedings - Design Automation Conference (1998): 758-763. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031630266&partnerID=MN8TOARS.
    10.1145/277044.277235
  108. Oliveira, A.L.; Carloni, L.P.; Villa, T.; Sangiovanni-Vincentelli, A.L.. "Exact minimization of binary decision diagrams using implicit techniques". IEEE Transactions on Computers 47 11 (1998): 1282-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032202219&partnerID=MN8TOARS.
    10.1109/12.736442
  109. Pena, Jorge M.; Oliveira, Arlindo L.. "New algorithm for the reduction of incompletely specified finite state machines". IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers (1998): 482-489. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032317583&partnerID=MN8TOARS.
  110. Mota, Antonio; Monteiro, Jose; Oliveira, Arlindo. "Power optimization of combinational modules using self-timed precomputation". Proceedings - IEEE International Symposium on Circuits and Systems 2 (1998): 17-20. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031623452&partnerID=MN8TOARS.
  111. Murgai, Rajeev; Fujita, Masahiro; Oliveira, Arlindo. "Using complementation and resequencing to minimize transitions". Proceedings - Design Automation Conference (1998): 694-697. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031624020&partnerID=MN8TOARS.
  112. Oliveira, A.L.; Carloni, L.P.; Villa, T.; Sangiovanni-Vincentelli, A.L.. "Exact minimization of binary decision diagrams using implicit techniques". IEEE Transactions on Computers 47 11 (1998): 1282-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032202219&partnerID=MN8TOARS.
  113. Manquinho, Vasco M.; Flores, Paulo F.; Silva, Joao P.Marques; Oliveira, Arlindo L.. "Prime implicant computation using satisfiability algorithms". Proceedings of the International Conference on Tools with Artificial Intelligence (1997): 232-239. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031334557&partnerID=MN8TOARS.
  114. Oliveira, A.L.; Sangiovanni-Vincentelli, A.. "Using the minimum description length principle to infer reduced ordered decision graphs". Machine Learning 25 1 (1996): 23-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030263540&partnerID=MN8TOARS.
  115. Oliveira, Arlindo L.; Sangiovanni-Vincentelli, Alberto. "LSAT--An algorithm for the synthesis of two level threshold gate networks". 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers (1992): 130-133. http://www.scopus.com/inward/record.url?eid=2-s2.0-0027091099&partnerID=MN8TOARS.
  116. Gracio, J.A.; Bicudo, P.A.; Rua, N.N.; Oliveira, A.M.; Almeida, C.F.B.; Teixeira, J.P.. "Bottom-up methodology for test preparation and refinement". Proceedings - IEEE International Symposium on Circuits and Systems 2 (1989): 949-952. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024946663&partnerID=MN8TOARS.
  117. Gracio, J.A.; Bicudo, P.A.; Rua, N.N.; Oliveira, A.M.; Almeida, C.F.B.; Teixeira, J.P.. "Test preparation and fault analysis using a bottom-up methodology". (1989): 168-174. http://www.scopus.com/inward/record.url?eid=2-s2.0-0024866858&partnerID=MN8TOARS.
Capítulo de livro
  1. Oliveira, Arlindo; Mário A. T. Figueiredo. "Artificial Intelligence: Historical Context and State of the Art". In Multidisciplinary Perspectives on Artificial Intelligence and the Law. Springer Nature, 2024.
    Publicado
  2. Ruxandra Barbulescu; Tiago Marques; Arlindo L. Oliveira. "Contribution of V1 Receptive Field Properties to Corruption Robustness in CNNs". 2024.
    10.3233/FAIA240546
  3. Barbulescu, Ruxandra; Marques, Tiago; Oliveira, Arlindo L.. "Contribution of V1 Receptive Field Properties to Corruption Robustness in CNNs". In Frontiers in Artificial Intelligence and Applications. IOS Press, 2024.
    10.3233/faia240546
  4. Manuel Goulão; Arlindo L. Oliveira. "Pretraining the Vision Transformer Using Self-Supervised Methods for Vision Based Deep Reinforcement Learning". 2023.
    10.3233/FAIA230359
  5. L. Oliveira, A.. "COVID-19 Contact Tracing Applications in Portugal: Effectiveness and Privacy Issues". 109-114. 2022.
    10.1007/978-3-031-09823-9_8
  6. João Lourenço-Silva; Miguel Nobre Menezes; Tiago Rodrigues; Beatriz Silva; Fausto J. Pinto; Arlindo L. Oliveira. "Encoder-Decoder Architectures for Clinically Relevant Coronary Artery Segmentation". 2022.
    10.1007/978-3-031-17531-2_6
  7. João Lourenço-Silva; Arlindo L. Oliveira. "Using Soft Labels to Model Uncertainty in Medical Image Segmentation". 2022.
    10.1007/978-3-031-09002-8_52
  8. L. Oliveira, Arlindo. "COVID-19 Contact Tracing Applications in Portugal: Effectiveness and Privacy Issues". In Intelligent Systems, Control and Automation: Science and Engineering, 109-114. Springer International Publishing, 2022.
    10.1007/978-3-031-09823-9_8
  9. Oliveira, A.L.. "Artificial intelligence applications in stroke". 261-273. 2021.
  10. Pais, H.C.; McMillan, K.L.; Sentovich, E.M.; Freitas, A.T.; Oliveira, A.L.. "Improved model checking techniques for state space analysis of gene regulatory networks". 386-404. 2009.
Edição de livro
  1. Oliveira, Arlindo. Multidisciplinary Perspectives on Artificial Intelligence and the Law. Países Baixos: Springer. 2024.
    Publicado • Editor
Livro
  1. Oliveira, Arlindo. Ciência, Tecnologia e Sociedade. Lisboa, Portugal: Guerra e Paz. 2023.
    Publicado
  2. Oliveira, Arlindo. Inteligência Artificial. Lisboa, Portugal: Fundação Francisco Manuel dos Santos. 2019.
    Publicado
  3. Oliveira, Arlindo. Computer Architecture. 2018.
    10.1142/10940
  4. Oliveira, A.. The digital mind: How science is redefining humanity. Boston, Estados Unidos: MIT Press. 2017.
    Publicado
  5. The Digital Mind. 2017.
    10.7551/mitpress/9780262036030.001.0001
Recurso online
  1. Dinis L. Rodrigues; Miguel Nobre Menezes; Fausto J. Pinto; Oliveira, Arlindo. Automated Detection of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks. 2021. https://arxiv.org/abs/2103.02969.
  2. Alexandre Borges; Oliveira, Arlindo; Borges, A.; Oliveira, A.L.. Combining Off and On-Policy Training in Model-Based Reinforcement Learning. 2021. https://arxiv.org/abs/2102.12194.

Outros

Outra produção
  1. Connecting metrics for shape-texture knowledge in computer vision. 2023. Oliveira, T.; Marques, T.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85147409275&partnerID=MN8TOARS.
    10.48550/arXiv.2301.10608
  2. Biomedical image analysis competitions: The state of current participation practice. 2022. Eisenmann, M.; Reinke, A.; Weru, V.; Tizabi, M.D.; Isensee, F.; Adler, T.J.; Godau, P.; et al. http://www.scopus.com/inward/record.url?eid=2-s2.0-85144875054&partnerID=MN8TOARS.
    10.48550/arXiv.2212.08568
  3. Assessing Policy, Loss and Planning Combinations in Reinforcement Learning using a New Modular Architecture. 2022. Oliveira, T.G.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85123254317&partnerID=MN8TOARS.
  4. Assessing the Impact of Attention and Self-Attention Mechanisms on the Classification of Skin Lesions. 2021. Pedro, R.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85122052969&partnerID=MN8TOARS.
  5. Graph neural networks for traffic forecasting. 2021. Rico, J.; Barateiro, J.; Oliveira, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85106396946&partnerID=MN8TOARS.
  6. Automated detection of coronary artery stenosis in X-ray angiography using deep neural networks. 2021. Rodrigues, D.L.; Menezes, M.N.; Pinto, F.J.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85102815592&partnerID=MN8TOARS.
  7. Using soft labels to model uncertainty in medical image segmentation. 2021. Silva, J.L.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85116784765&partnerID=MN8TOARS.
  8. Modelling neuronal behaviour with time series regression: Recurrent neural networks on C. elegans data. 2021. Mestre, G.; Barbulescu, R.; Oliveira, A.L.; Miguel Silveira, L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85110846569&partnerID=MN8TOARS.
  9. Encoder-decoder architectures for clinically relevant coronary artery segmentation. Proceedings of the 11th International Conference on Computational Advances in Bio and medical Sciences. 2021. Silva, J.L.; Menezes, M.N.; Rodrigues, T.; Silva, B.; Pinto, F.J.; Oliveira, A.L.; Lourenço-Silva, João; Arlindo L. Oliveira. http://www.scopus.com/inward/record.url?eid=2-s2.0-85109607505&partnerID=MN8TOARS.
  10. Modeling the geospatial evolution of COVID-19 using spatio-temporal convolutional sequence-to-sequence neural networks. 2021. Cardoso, M.; Duarte, A.F.; Nunes, N.J.; Cavalheiro, A.; Soares, A.; Azevedo, L.; Borges, A.; Pereira, M.J.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85108017340&partnerID=MN8TOARS.
  11. Sparse network-based regularization for the analysis of patientomics high-dimensional survival data. 2018. André Veríssimo; Eunice Carrasquinha; Marta B. Lopes; Arlindo L. Oliveira; Marie-France Sagot; Susana Vinga. https://doi.org/10.1101/403402.
    10.1101/403402
  12. Identifying the best machine learning algorithms for brain tumor segmentation, progression assessment, and overall survival prediction in the BRATS challenge. 2018. Bakas, S.; Reyes, M.; Jakab, A.; Bauer, S.; Rempfler, M.; Crimi, A.; Shinohara, R.T.; et al. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094531334&partnerID=MN8TOARS.
  13. Conditional random fields as recurrent neural networks for 3D medical imaging segmentation. 2018. Monteiro, M.; Figueiredo, M.A.T.; Oliveira, A.L.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093217375&partnerID=MN8TOARS.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021/01/01 - 2025/07/30 Attention Mechanisms in Computer Vision
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/01/01 - 2025/07/30 Optimization of traffic flow using data mining techniques
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/01/01 - 2023/07/30 Machine Learning Techniques for Processing Electrophysiological Signals in Brain-Computer Interfaces
Coorientador
 Engenharia Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/01/01 - 2021/02/23 Network-based sparse regularization for the identification of disease signatures
Coorientador de André Veríssimo
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/01/01 - 2014/11/30 Application of data mining techniques to identify disease susceptibility from genotype data
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/01/01 - 2012/11/30 Variability in Biological Systems: Modeling Consequences and Applications
Coorientador de Filipe Grácio
 Engenharia Biológica (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/01/01 - 2011/07/30 Techniques for the resolution of dependencies in the installation process of software components
Orientador de Paulo Trezentos
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/01/01 - 2011/07/01 Motif representation and discovery
Orientador de Alexandre Carvalho
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/01/01 - 2011/01/30 Satisfiability-based Algorithms for Haplotype Inference,
Coorientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/01/01 - 2010/11/30 Search Based Methods for Proteín Structure Prediction
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/01/01 - 2010/05/30 Analyzing graph structure: algorithms and applications
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004/01/01 - 2008/12/20 Efficient Biclustering Algorithms for Time Series Gene Expression Data Analysis
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004/01 - 2008/03/30 Uma Metodologia para a Determinação de Observabilidade e Controlabilidade em Circuitos Digitais
Orientador de José Ramirez Colaço
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2003/01/01 - 2007/10/30 Improving Methods for Single-label Text Categorization
Orientador
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2002/01/01 - 2005/01/30 Pattern Mining over Nominal Event Sequences using Constraint Relaxations
Orientador de Cláudia Antunes
 Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1998/01/01 - 2002/11/30 Estimação de potência em circuitos digitais utilizando técnicas de enumeração implícita,
Orientador de Ana Teresa Freitas
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

2009 Prémio Científico UTL/Santander Totta
Universidade de Lisboa, Portugal