Publications

Curated research outputs from the MLKD group.

all years

all types Journal Conference Book / Chapter Preprint

2002

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 summary

Efficient search techniques for the inference of minimum size finite automata

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

conference summary

Prime implicant computation using satisfiability algorithms

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

conference summary

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 summary

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 summary

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 summary

On the Complexity of Power Estimation Problems

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

conference summary

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 summary

Robust techniques for watermarking sequential circuit designs

Arlindo L. Oliveira

conference summary

1998

Using complementation and resequencing to minimize transitions

Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira

conference summary

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 summary

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

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

conference summary

Finite state machine decomposition for low power

José Monteiro, Arlindo L. Oliveira

conference summary

1997

An implicit formulation for exact BDD minimization of incompletely specified functions

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

book summary

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

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 summary

1992

Constructive Induction Using a Non-Greedy Strategy for Feature Selection

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

Elsevier eBooks book

1991

Learning Concepts by Synthesizing Minimal Threshold Gate Networks

Arlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli

Elsevier eBooks book