Arlindo Manuel Limede Oliveira


AuthID: R-000-2G9

Publicações Confirmadas: 169



151
TÍTULO: A new algorithm for the reduction of incompletely specified finite state machines  Full Text
AUTORES: Jorge M Pena; Arlindo L Oliveira ;
PUBLICAÇÃO: 1998, FONTE: ICCAD
INDEXADO EM: DBLP CrossRef: 14
152
TÍTULO: Efficient search techniques for the inference of minimum size finite automata
AUTORES: Oliveira, AL ; Silva, JPM ;
PUBLICAÇÃO: 1998, FONTE: South American Symposium on String Processing and Information Retrieval (SPIRE 98) in STRING PROCESSING AND INFORMATION RETRIEVAL - PROCEEDINGS, VOLUME: 1998-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID
153
TÍTULO: Exact minimization of binary decision diagrams using implicit techniques
AUTORES: Oliveira, AL ; Carloni, LP; Villa, T; Sangiovanni Vincentelli, AL;
PUBLICAÇÃO: 1998, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 47, NÚMERO: 11
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID
154
TÍTULO: Finite state machine decomposition for low power
AUTORES: Monteiro, JC ; Oliveira, AL ;
PUBLICAÇÃO: 1998, FONTE: 35th Design Automation Conference in 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 57
NO MEU: ORCID
155
TÍTULO: Power optimization of combinational modules using self-timed precomputation
AUTORES: Mota, A; Monteiro, J ; Oliveira, A ;
PUBLICAÇÃO: 1998, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS 98) in ISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6, VOLUME: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
156
TÍTULO: Using Complementation and Resequencing to Minimize Transitions  Full Text
AUTORES: Rajeev Murgai; Masahiro Fujita; Arlindo L Oliveira ;
PUBLICAÇÃO: 1998, FONTE: DAC
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
157
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 30
NO MEU: ORCID
158
TÍTULO: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTORES: Arlindo L Oliveira ; Stephen Edwards;
PUBLICAÇÃO: 1996, FONTE: ALT, VOLUME: 1160
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID
159
TÍTULO: Using the minimum description length principle to infer reduced ordered decision graphs  Full Text
AUTORES: Oliveira, AL ; SangiovanniVincentelli, A;
PUBLICAÇÃO: 1996, FONTE: MACHINE LEARNING, VOLUME: 25, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
160
TÍTULO: Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs
AUTORES: Arlindo L Oliveira ; Alberto L Sangiovanni Vincentelli;
PUBLICAÇÃO: 1996, FONTE: Mach. Learn., VOLUME: 25, NÚMERO: 1
INDEXADO EM: DBLP CrossRef: 9
Página 16 de 17. Total de resultados: 169.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service