FSM decomposition by direct circuit manipulation applied to low power designJosé Monteiro, Arlindo L. Oliveira conference
An exact gate assignment algorithm for tree circuits under rise and fall delaysArlindo L. Oliveira, R. Murgai conference
Power optimization of combinational modules using self-timed precomputationAPL Mota, José Monteiro, Arlindo L. Oliveira conference
Circuit partitioning techniques for power estimation using the full set of input correlationsAna T. Freitas, Arlindo L. Oliveira conference
LSAT-an algorithm for the synthesis of two level threshold gate networksArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference
Proceedings of the 9th International Symposium on String Processing and Information RetrievalAlberto H. F. Laender, Arlindo L. Oliveira conference
Efficient search techniques for the inference of minimum size finite automataArlindo L. Oliveira, J.P.M. Silva conference
Prime implicant computation using satisfiability algorithmsVasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira conference