dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Huey-Yih Wang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Multi-level logic optimization of FSM networks. ICCAD 1995: 728-735
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Permissible Observability Relations in FSM Networks. DAC 1994: 677-683
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHuey-Yih Wang, Robert K. Brayton: Input don't care sequences in FSM networks. ICCAD 1993: 321-328

Selection of 4 from 4 records - Huey-Yih Wang has 12 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page