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
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
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