141
TITLE: Efficient algorithms for the inference of minimum size DFAs  Full Text
AUTHORS: Oliveira, AL ; Silva, JPM ;
PUBLISHED: 2001, SOURCE: MACHINE LEARNING, VOLUME: 44, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID
142
143
TITLE: Techniques for the creation of digital watermarks in sequential circuit designs  Full Text
AUTHORS: Oliveira, AL ;
PUBLISHED: 2001, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 20, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
144
TITLE: An exact gate assignment algorithm for tree circuits under rise and fall delays
AUTHORS: Oliveira, AL ; Murgai, R;
PUBLISHED: 2000, SOURCE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, VOLUME: 2000-January
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
147
TITLE: Integrating dynamic power management in the design flow
AUTHORS: Mota, A; Ferreira, N; Oliveira, A ; Monteiro, J ;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34
INDEXED IN: WOS DBLP
148
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: 26
IN MY: ORCID
149
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
150
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
Page 15 of 17. Total results: 169.