Publications

Pedro T. Monteiro, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Helio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá‐Correia, Arlindo L. Oliveira, Ana T. Freitas

Nucleic Acids Research journal

2006

Efficient generation of super condensed neighborhoods

Luís M. S.Russo, Arlindo L. Oliveira

Journal of Discrete Algorithms journal

DFT and Probabilistic Testability Analysis at RTL

José M. Fernandes, Marcelino Santos, Arlindo L. Oliveira, J.P. Teixeira

Proceedings journal

MUSA: a parameter free algorithm for the identification of biologically significant motifs

Nuno D. Mendes, Ana Casimiro, Pedro M. Santos, Isabel Sá‐Correia, Arlindo L. Oliveira, Ana T. Freitas

Bioinformatics journal

An Efficient Algorithm for the Identification of Structured Motifs in DNA Promoter Sequences

Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie‐France Sagot

IEEE/ACM Transactions on Computational Biology and Bioinformatics journal

2005

Inference of regular languages using state merging algorithms with search

Miguel Bugalho, Arlindo L. Oliveira

Pattern Recognition journal

2004

Special issue on string processing and information retrieval

Alberto H. F. Laender, Arlindo L. Oliveira

Journal of Discrete Algorithms journal

STING Contacts: a web-based application for identification and analysis of amino acid contacts within protein structure and across protein interfaces

A. L. Mancini, R. H. Higa, Arlindo L. Oliveira, F. Dominiquini, Paula R. Kuser, M. E. B. Yamagishi, Roberto Coiti Togawa, Goran Neshich

Bioinformatics journal

Biclustering algorithms for biological data analysis: a survey

Sara C. Madeira, Arlindo L. Oliveira

IEEE/ACM Transactions on Computational Biology and Bioinformatics journal

2003

On the problem of gate assignment under different rise and fall delays

Arlindo L. Oliveira, Rajeev Murgai

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal

2002

Implicit FSM decomposition applied to low-power design

José Monteiro, Arlindo L. Oliveira

IEEE Transactions on Very Large Scale Integration (VLSI) Systems journal

2001

Efficient Algorithms for the Inference of Minimum Size DFAs

Arlindo L. Oliveira, João P.M. Silva

Machine Learning journal

Techniques for the creation of digital watermarks in sequential circuit designs

Arlindo L. Oliveira

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal

1999

A new algorithm for exact reduction of incompletely specified finite state machines

Jorge Martínez Peña, Arlindo L. Oliveira

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal

1998

Exact minimization of binary decision diagrams using implicit techniques

Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐Vincentelli

IEEE Transactions on Computers journal

1996

Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

Machine Learning journal

Using the minimum description length principle to infer reduced ordered decision graphs

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

Machine Learning journal