AOArlindo L. OliveiraFacultymachine learning · bioinformatics · computational biologyLinkedInORCIDCiencia VitaeDBLPPublications2002Inference 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 2001Efficient Algorithms for the Inference of Minimum Size DFAsArlindo L. Oliveira, João P.M. SilvaMachine Learning journal Techniques for the creation of digital watermarks in sequential circuit designsArlindo L. OliveiraIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal 2000Integrating Dynamic Power Management in the Design FlowAPL Mota, Nuno Ferreira, Arlindo L. Oliveira, José MonteiroIFIP advances in information and communication technology book Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedingsArlindo L. Oliveira book An exact gate assignment algorithm for tree circuits under rise and fall delaysArlindo L. Oliveira, Rajeev Murgai conference Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and ApplicationsArlindo L. Oliveira conference FSM decomposition by direct circuit manipulation applied to low power designJosé Monteiro, Arlindo L. Oliveira conference On the Complexity of Power Estimation ProblemsAna T. Freitas, Horácio C. Neto, Arlindo L. Oliveira conference 1999A new algorithm for exact reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. OliveiraIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal Robust techniques for watermarking sequential circuit designsArlindo L. Oliveira conference 1998Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference Exact minimization of binary decision diagrams using implicit techniquesArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐VincentelliIEEE Transactions on Computers journal A new algorithm for the reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. Oliveira conference Finite state machine decomposition for low powerJosé Monteiro, Arlindo L. Oliveira conference 1997An implicit formulation for exact BDD minimization of incompletely specified functionsArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐Vincentelli book 1996Limits of exact algorithms for inference of minimum size finite state machinesArlindo L. Oliveira, Stephen A. EdwardsLecture notes in computer science book Using the Minimum Description Length Principle to Infer Reduced Ordered Decision GraphsArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliMachine Learning journal Using the minimum description length principle to infer reduced ordered decision graphsArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliMachine Learning journal 1995Inferring Reduced Ordered Decision Graphs of Minimum Description LengthArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliElsevier eBooks book 1993Learning Complex Boolean Functions: Algorithms and ApplicationsArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference ‹1…91011›226–250 of 252← All people
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
Efficient Algorithms for the Inference of Minimum Size DFAsArlindo L. Oliveira, João P.M. SilvaMachine Learning journal
Techniques for the creation of digital watermarks in sequential circuit designsArlindo L. OliveiraIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal
Integrating Dynamic Power Management in the Design FlowAPL Mota, Nuno Ferreira, Arlindo L. Oliveira, José MonteiroIFIP advances in information and communication technology book
Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedingsArlindo L. Oliveira book
An exact gate assignment algorithm for tree circuits under rise and fall delaysArlindo L. Oliveira, Rajeev Murgai conference
Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and ApplicationsArlindo L. Oliveira conference
FSM decomposition by direct circuit manipulation applied to low power designJosé Monteiro, Arlindo L. Oliveira conference
On the Complexity of Power Estimation ProblemsAna T. Freitas, Horácio C. Neto, Arlindo L. Oliveira conference
A new algorithm for exact reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. OliveiraIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal
Using complementation and resequencing to minimize transitionsRajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira conference
Exact minimization of binary decision diagrams using implicit techniquesArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐VincentelliIEEE Transactions on Computers journal
A new algorithm for the reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. Oliveira conference
An implicit formulation for exact BDD minimization of incompletely specified functionsArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐Vincentelli book
Limits of exact algorithms for inference of minimum size finite state machinesArlindo L. Oliveira, Stephen A. EdwardsLecture notes in computer science book
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision GraphsArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliMachine Learning journal
Using the minimum description length principle to infer reduced ordered decision graphsArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliMachine Learning journal
Inferring Reduced Ordered Decision Graphs of Minimum Description LengthArlindo L. Oliveira, Alberto Sangiovanni‐VincentelliElsevier eBooks book
Learning Complex Boolean Functions: Algorithms and ApplicationsArlindo L. Oliveira, Alberto Sangiovanni‐Vincentelli conference