Arlindo Manuel Limede Oliveira


AuthID: R-000-2G9

Publicações Confirmadas: 150



131
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
NO MEU: DBLP
132
TÍTULO: A new algorithm for the reduction of incompletely specified finite state machines
AUTORES: Pena, JM; Oliveira, AL ;
PUBLICAÇÃO: 1998, FONTE: IEEE/ACM International Conference on Computer-Aided Design in 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
133
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: A SOUTH AMERICAN SYMPOSIUM, VOLUME: 1998-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP
134
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
NO MEU: ORCID | ResearcherID | DBLP
135
TÍTULO: Finite state machine decomposition for low power  Full Text
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
NO MEU: ORCID | ResearcherID | DBLP
136
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
137
TÍTULO: Using complementation and resequencing to minimize transitions  Full Text
AUTORES: Rajeev Murgai; Masahiro Fujita; Arlindo Oliveira ;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the 1998 35th Design Automation Conference in Proceedings - Design Automation Conference
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
138
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: 28
NO MEU: ORCID | ResearcherID | DBLP
139
TÍTULO: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTORES: Arlindo L Oliveira ; Stephen Edwards;
PUBLICAÇÃO: 1996, FONTE: Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings, VOLUME: 1160
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
140
TÍTULO: Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs  Full Text
AUTORES: Arlindo L Oliveira ; Alberto Sangiovanni S Vincentelli;
PUBLICAÇÃO: 1996, FONTE: Machine Learning, VOLUME: 25, NÚMERO: 1
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
Página 14 de 15. Total de resultados: 150.

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

Links Úteis

Ajuda

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