Arlindo Manuel Limede Oliveira


AuthID: R-000-2G9

Confirmed Publications: 150



131
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
132
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
133
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
134
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
135
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
136
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
137
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
138
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
139
TITLE: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTHORS: Arlindo L Oliveira ; Stephen Edwards;
PUBLISHED: 1996, SOURCE: Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings, VOLUME: 1160
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
140
Page 14 of 15. Total results: 150.

A place for researchers and their institutions

Useful Links

Get Help

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