ProfileOfResearchers

IN MY:

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

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

INDEXED IN:

WOS

DBLP

IN MY:

ORCID |

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

IN MY:

ORCID |

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

IN MY:

ORCID |

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

IN MY:

ORCID |

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 |

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:

DBLP

IN MY: