Power optimization of combinational modules using self-timed precomputationAPL Mota, José Monteiro, Arlindo L. Oliveira conference summary
Circuit partitioning techniques for power estimation using the full set of input correlationsAna T. Freitas, Arlindo L. Oliveira conference summary
LSAT-an algorithm for the synthesis of two level threshold gate networksArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference summary
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 summary
Prime implicant computation using satisfiability algorithmsVasco Manquinho, Paulo Flores, J.P.M. Silva, Arlindo L. Oliveira conference summary