Arlindo Manuel Limede Oliveira


AuthID: R-000-2G9

Confirmed Publications: 184



161
TITLE: A new algorithm for exact reduction of incompletely specified finite state machines  Full Text
AUTHORS: Pena, JM; Oliveira, AL ;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 18, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
162
TITLE: Robust techniques for watermarking sequential circuit designs  Full Text
AUTHORS: Oliveira Arlindo, L ;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 36th Annual Design Automation Conference (DAC) in Proceedings - Design Automation Conference
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
163
TITLE: A new algorithm for the reduction of incompletely specified finite state machines  Full Text
AUTHORS: Jorge M Pena; Arlindo L Oliveira ;
PUBLISHED: 1998, SOURCE: ICCAD
INDEXED IN: DBLP CrossRef
IN MY: DBLP
164
TITLE: A new algorithm for the reduction of incompletely specified finite state machines
AUTHORS: Pena, JM; Oliveira, AL ;
PUBLISHED: 1998, SOURCE: IEEE/ACM International Conference on Computer-Aided Design in 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
165
TITLE: Efficient search techniques for the inference of minimum size finite automata
AUTHORS: Oliveira, AL ; Silva, JPM ;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
166
TITLE: Exact minimization of binary decision diagrams using implicit techniques
AUTHORS: Oliveira, AL ; Carloni, LP; Villa, T; Sangiovanni Vincentelli, AL;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 47, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
167
TITLE: Finite state machine decomposition for low power  Full Text
AUTHORS: Monteiro, JC ; Oliveira, AL ;
PUBLISHED: 1998, SOURCE: 35th Design Automation Conference in 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
168
TITLE: Power optimization of combinational modules using self-timed precomputation
AUTHORS: Mota, A; Monteiro, J ; Oliveira, A ;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
169
TITLE: Using complementation and resequencing to minimize transitions  Full Text
AUTHORS: Rajeev Murgai; Masahiro Fujita; Arlindo Oliveira ;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 35th Design Automation Conference in Proceedings - Design Automation Conference
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
170
TITLE: Prime implicant computation using satisfiability algorithms
AUTHORS: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLISHED: 1997, SOURCE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 17 of 19. Total results: 184.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service