Bwolen Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1997–2000
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ITC | Static property checking using ATPG vs. BDD techniques. | Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng |
| 1999 | CAV | Optimizing Symbolic Model Checking for Constraint-Rich Models. | Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron |
| 1998 | ASPDAC | Space- and Time-Efficient BDD Construction via Working Set Control. | Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron |
| 1998 | FMCAD | A Performance Study of BDD-Based Model Checking. | Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi |
| 1997 | PPoPP | A New Model for Integrated Nested Task and Data Parallel Programming. | Jaspal Subhlok, Bwolen Yang |
| 1997 | PPoPP | Parallel Breadth-First BDD Construction. | Bwolen Yang, David R. O'Hallaron |