Publications

Curated research outputs from the MLKD group.

all years

all types Journal Conference Book / Chapter Preprint

2004

A probabilistic method for the computation of testability of RTL constructs

José M. Fernandes, Marcelino Santos, Arlindo L. Oliveira, João Teixeira

Design, Automation, and Test in Europe conference

A probabilistic method for the computation of testability of RTL constructs

J. Fernandes, Marcelino Santos, Arlindo L. Oliveira, João Teixeira

Proceedings Design, Automation and Test in Europe Conference and Exhibition conference

SEQUENTIAL PATTERN MINING WITH APPROXIMATED CONSTRAINTS

Cláudia Antunes, Arlindo L. Oliveira

conference

Efficient Extraction of Structured Motifs Using Box-Links

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

Lecture notes in computer science book

A parallel algorithm for the extraction of structured motifs

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

preprint

Sequential Pattern Mining Algorithms: Trade-offs between Speed and Memory

Cláudia Antunes, Arlindo L. Oliveira

conference

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

String processing and information retrieval : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003 : proceedings

Mário A. Nascimento, Edleno Silva de Moura, Arlindo L. Oliveira

book

Bottom-up methodology for test preparation and refinement

J.A. Gracio, P.A. Bicudo, N.N. Rua, Arlindo L. Oliveira, C.F.B. Almeida, J.P. Teixeira

conference

A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring

Sara C. Madeira, Arlindo L. Oliveira, Catarina S. Conceição

Lecture notes in computer science book

Bottom-up testing methodology for VLSI

J.P. Teixeira, C.F.B. Almeida, J.A. Gracio, P.A. Bicudo, Arlindo L. Oliveira, N.N. Rua

conference

Test preparation and fault analysis using a bottom-up methodology

J.A. Gracio, P.A. Bicudo, N.N. Rua, Arlindo L. Oliveira, C.F.B. Almeida, J.P. Teixeira

conference

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

Implicit resolution of the Chapman-Kolmogorov equations for sequential circuits: an application in power estimation

Ana T. Freitas, Arlindo L. Oliveira

2003 Design, Automation and Test in Europe Conference and Exhibition conference

Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation

Ana T. Freitas, Arlindo L. Oliveira

conference

Analog Macromodeling using Kernel Methods

Joel Phillips, João L. Afonso, Arlindo L. Oliveira, L. Miguel Silveira

conference

Analog macromodeling using kernel methods

Joel Phillips, Júlia Larré Afonso, Arlindo L. Oliveira, L. Miguel Silveira

ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) conference

An Empirical Comparison of Text Categorization Methods

Ana Cardoso-Cachopo, Arlindo L. Oliveira

Lecture notes in computer science book

2002

FSM decomposition by direct circuit manipulation applied to low power design

José Monteiro, Arlindo L. Oliveira

conference

An exact gate assignment algorithm for tree circuits under rise and fall delays

Arlindo L. Oliveira, R. Murgai

conference

Power optimization of combinational modules using self-timed precomputation

APL Mota, José Monteiro, Arlindo L. Oliveira

conference

Circuit partitioning techniques for power estimation using the full set of input correlations

Ana T. Freitas, Arlindo L. Oliveira

conference

LSAT-an algorithm for the synthesis of two level threshold gate networks

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

conference

String processing and information retrieval : 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedings

Alberto H. F. Laender, Arlindo L. Oliveira

book

Inference of Sequential Association Rules Guided by Context-Free Grammars

Cláudia Antunes, Arlindo L. Oliveira

Lecture notes in computer science book

Proceedings of the 9th International Symposium on String Processing and Information Retrieval

Alberto H. F. Laender, Arlindo L. Oliveira

conference

Implicit FSM decomposition applied to low-power design

José Monteiro, Arlindo L. Oliveira

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

Efficient search techniques for the inference of minimum size finite automata

Arlindo L. Oliveira, J.P.M. Silva

conference

Prime implicant computation using satisfiability algorithms

Vasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira

conference

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

2000

Integrating Dynamic Power Management in the Design Flow

APL Mota, Nuno Ferreira, Arlindo L. Oliveira, José Monteiro

IFIP advances in information and communication technology book

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Arlindo L. Oliveira

book

An exact gate assignment algorithm for tree circuits under rise and fall delays

Arlindo L. Oliveira, Rajeev Murgai

conference

Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and Applications

Arlindo L. Oliveira

conference

FSM decomposition by direct circuit manipulation applied to low power design

José Monteiro, Arlindo L. Oliveira

conference

On the Complexity of Power Estimation Problems

Ana T. Freitas, Horácio C. Neto, Arlindo L. Oliveira

conference

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

Robust techniques for watermarking sequential circuit designs

Arlindo L. Oliveira

conference

1998

Using complementation and resequencing to minimize transitions

Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira

conference

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

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

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

conference

Finite state machine decomposition for low power

José Monteiro, Arlindo L. Oliveira

conference

1997

An implicit formulation for exact BDD minimization of incompletely specified functions

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

book

1996

Limits of exact algorithms for inference of minimum size finite state machines

Arlindo L. Oliveira, Stephen A. Edwards

Lecture notes in computer science book

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

1995

Inferring Reduced Ordered Decision Graphs of Minimum Description Length

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

Elsevier eBooks book

1993

Learning Complex Boolean Functions: Algorithms and Applications

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

conference