???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; .
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/01/01 - 2024/12/30 Precise and Efficient Learning using Attention Mechanisms (PRELUNA)
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
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. Lourenço-Silva, João; Arlindo L. Oliveira. "Encoder-decoder architectures for clinically relevant coronary artery segmentation". Trabalho apresentado em 11th International Conference on Computational Advances in Bio and medical Sciences, Virtual, 2021.
    No prelo
  2. 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
Artigo em revista
  1. 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
  2. Oliveira, Arlindo. "Biotechnology, Big Data and Artificial Intelligence". Biotechnology Journal (2019): http://dx.doi.org/10.1002/biot.201800613.
    10.1002/biot.201800613
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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.
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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.
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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.
  57. 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
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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
  63. 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
  64. 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
  65. 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.
  66. 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
  67. 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.
  68. 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
  69. 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.
  70. 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
  71. 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
  72. 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
  73. 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.
  74. 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.
  75. 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
  76. 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.
  77. 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
  78. 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
  79. 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.
  80. 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
  81. 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.
  82. 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.
  83. 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.
  84. 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.
  85. 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
  86. 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
  87. 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
  88. 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.
  89. 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
  90. 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.
  91. 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
  92. 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.
  93. 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
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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.
  99. 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.
  100. 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.
  101. 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. "Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information". 2012.
    10.1007/978-3-642-28067-2_3
Livro
  1. Oliveira, Arlindo. Inteligência Artificial. Lisboa, Portugal: Fundação Francisco Manuel dos Santos. 2019.
    Publicado
  2. Oliveira, Arlindo. Computer Architecture. 2018.
    10.1142/10940
  3. Oliveira, Arlindo. 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. Combining Off and On-Policy Training in Model-Based Reinforcement Learning. 2021. https://arxiv.org/abs/2102.12194.

Outros

Outra produção
  1. 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
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