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
String processing and information retrieval : 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedingsAlberto H. F. Laender, Arlindo L. Oliveira book
Inference of Sequential Association Rules Guided by Context-Free GrammarsCláudia Antunes, Arlindo L. OliveiraLecture notes in computer science book
Proceedings of the 9th International Symposium on String Processing and Information RetrievalAlberto H. F. Laender, Arlindo L. Oliveira conference
Implicit FSM decomposition applied to low-power designJosé Monteiro, Arlindo L. OliveiraIEEE Transactions on Very Large Scale Integration (VLSI) Systems journal summary
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