Arlindo Manuel Limede Oliveira


AuthID: R-000-2G9

Confirmed Publications: 169



151
152
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, VOLUME: 1998-September
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID
153
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: 15
IN MY: ORCID
154
TITLE: Finite state machine decomposition for low power
AUTHORS: Monteiro, JC ; Oliveira, AL ;
PUBLISHED: 1998, SOURCE: 35th Design Automation Conference in 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 57
IN MY: ORCID
155
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
156
TITLE: Using Complementation and Resequencing to Minimize Transitions  Full Text
AUTHORS: Rajeev Murgai; Masahiro Fujita; Arlindo L Oliveira ;
PUBLISHED: 1998, SOURCE: DAC
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
157
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: 30
IN MY: ORCID
158
TITLE: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTHORS: Arlindo L Oliveira ; Stephen Edwards;
PUBLISHED: 1996, SOURCE: ALT, VOLUME: 1160
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID
159
160
TITLE: Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs
AUTHORS: Arlindo L Oliveira ; Alberto L Sangiovanni Vincentelli;
PUBLISHED: 1996, SOURCE: Mach. Learn., VOLUME: 25, ISSUE: 1
INDEXED IN: DBLP CrossRef: 9
Page 16 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

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